{"entities":{"Q4496873":{"pageid":6526466,"ns":120,"title":"Item:Q4496873","lastrevid":47027661,"modified":"2025-12-26T01:59:41Z","type":"item","id":"Q4496873","labels":{"en":{"language":"en","value":"STIRDAT: A system tightly integrating relational databases and a theorem prover"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1493298"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4496873$8F209D8D-56AA-4548-8147-5A397736C80A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0e527a15cea721efbc0db9e9c2cbdd7615649e28","datavalue":{"value":{"text":"STIRDAT: A system tightly integrating relational databases and a theorem prover","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4496873$B619A49B-8A85-4FD9-B9DD-70909CFAC08C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"040b506242dd40ba4a04f7d9517042981a1ecd39","datavalue":{"value":"0945.68041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4496873$8134750B-207D-4346-8C24-880B40732D1B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3f0f3b3d69d2ee14b1eae7b77e4ae82b149e826f","datavalue":{"value":"10.1016/S0169-023X(00)00005-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4496873$CC6DE1A9-9C1C-4A22-BCD8-E7F2CA91F636","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e581334e6cb7b4bf9007edd100bd25e637035e39","datavalue":{"value":{"entity-type":"item","numeric-id":156168,"id":"Q156168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4496873$A10E55E9-8024-4CF2-820C-65BFA5B5973C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b3a497233c3b9babc42d370358782cbff338a7a1","datavalue":{"value":{"time":"+2000-08-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4496873$51EC5FD0-53EE-415C-913C-DBB623B3B489","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf2726c5c2109371cc10358eaa69bc4df711caf7","datavalue":{"value":"68P15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4496873$67E179BC-6CBF-481A-A9C9-2DE0310CC308","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4496873$870E6F17-1472-4838-A927-D6A6BE3ACA87","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b3f2c41f98b32c0ae48faf1b5841c543a9413343","datavalue":{"value":"1493298","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4496873$FF0D585C-49A5-4043-9FC5-4FB630EA58EB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9a4d81d490cfff4fe1ec5df8b56b85ea61f9865a","datavalue":{"value":"heterogeneous systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4496873$64DD8BBB-9916-43DC-B77A-EB2C58847D3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b36661f0a3390102be2be05796702400601b738","datavalue":{"value":"theorem provers","type":"string"},"datatype":"string"},"type":"statement","id":"Q4496873$6FCB7378-D066-47E3-8366-9B8816237803","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4496873$A11063FF-534B-4817-836D-4DAAF6BD5D91","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c62191e5d6b989353f11e2d456687dd0cbb0383d","datavalue":{"value":"https://doi.org/10.1016/s0169-023x(00)00005-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q4496873$2CCB609E-A17C-47F6-BD6C-404D732DC4B7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1f0ee5ed8f0a70dc01f61f07a331462bd5764d70","datavalue":{"value":"W1995642099","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4496873$74714756-5E12-4800-A17F-D23D3B816844","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e79dc6629a87f556a9cba5dbe73c47373acfda83","datavalue":{"value":{"entity-type":"item","numeric-id":3573998,"id":"Q3573998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83f74d8dcf19a08fa281e09dcd09fc9d3661ea89","datavalue":{"value":{"amount":"+0.6966032385826111","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4496873$2A57CA09-8032-4612-8433-7AFB7C4A157E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32dd780905c2716aff723ba62b2c0d54edc88f63","datavalue":{"value":{"entity-type":"item","numeric-id":2734954,"id":"Q2734954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf6af565f99335668636175243fbe5e15374d8b5","datavalue":{"value":{"amount":"+0.6943484544754028","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4496873$CF664FAB-78BC-4B38-A761-4A64D00A7F8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"288cb464065c3f9d8055cc2c4907bba19f76f73a","datavalue":{"value":{"entity-type":"item","numeric-id":918672,"id":"Q918672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a51c505cce6e6f1045c6f966a5842a28be84e531","datavalue":{"value":{"amount":"+0.689534068107605","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4496873$CD07FD33-BDA5-4104-A86E-4D64833B13B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b52268716c1463c0105d1f05d1cfab710611a231","datavalue":{"value":{"entity-type":"item","numeric-id":3348407,"id":"Q3348407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40c5012e2ca2602d7e1e5faae53f03591ffb3f2e","datavalue":{"value":{"amount":"+0.6889855265617371","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4496873$D391E65B-286C-4176-9B4B-9354866DB9E3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4496873","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4496873"}}}}}