{"entities":{"Q2941741":{"pageid":2952461,"ns":120,"title":"Item:Q2941741","lastrevid":85264889,"modified":"2026-06-03T06:33:10Z","type":"item","id":"Q2941741","labels":{"en":{"language":"en","value":"Satsisfiability and systematicity"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6475329"}},"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":"Q2941741$5BA440C0-CA49-457B-9688-B1A0AE1E33C4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"21c2f1f086f3e3c0c82cb84e3f4015f63e5bd25a","datavalue":{"value":{"text":"Satsisfiability and Systematicity","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2941741$39013A49-EB6B-497B-938F-C26DB3A45A16","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6353a318d00d2b2086f1ae4a5453c93004608648","datavalue":{"value":"1336.68233","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2941741$9A63F2F2-47A0-494B-88A3-1D898F450891","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"db20d60fdab35354b81f8a87932ead73c4375818","datavalue":{"value":{"entity-type":"item","numeric-id":1097713,"id":"Q1097713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2941741$E2424119-A799-4D61-B560-3D468A87E0F6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"bb469f8c3341c58b96368431d3c87cbee3d3281e","datavalue":{"value":{"entity-type":"item","numeric-id":110835,"id":"Q110835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2941741$7DCE8920-A9C6-4D36-9D6C-E63A795D7778","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"58a31ea2ce845203d6a39244a5f91d2bbfe1b016","datavalue":{"value":{"time":"+2015-08-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2941741$5956D95E-4AC9-43D9-AF72-B46695890E3A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2941741$78FC137C-18E3-4D92-9860-5D16A374C55D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2941741$7A99FEEF-C8D9-4D35-AFB6-AA367BB45348","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"45186904bb3c337148f899eee785ee65c5c390a0","datavalue":{"value":"6475329","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2941741$902A2145-E9ED-43A4-9739-B01F221EFEA8","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":"Q2941741$B4896355-1BF6-4B38-9E78-51C8D164C278","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e98214a11bbd79e0c5ec5aefc3a6ca47b2359c72","datavalue":{"value":"https://doi.org/10.1613/jair.4684","type":"string"},"datatype":"url"},"type":"statement","id":"Q2941741$348E94FF-0250-4D63-8371-95CAFF1ABDCB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f025df56d7ec69d180d4986317577d540f27697c","datavalue":{"value":"W2270861201","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2941741$B4DDB541-ADC2-46F6-8270-A85300A0C3B8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"57f0d9928692badd1430ef1bd908a1ca0ce63734","datavalue":{"value":"10.1613/JAIR.4684","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2941741$451C2CB1-2D8F-44A3-B02B-1105F6690A15","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66d468b5c540abe65339c26239e6406fad5d3590","datavalue":{"value":{"entity-type":"item","numeric-id":5687266,"id":"Q5687266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e832cc571207ef341fdd66e8df63d628cbeb36b","datavalue":{"value":{"amount":"+0.7839207649230957","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":"Q2941741$36D67D60-2A5D-4DCF-90A0-3DBCF1476A69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7c44f22df52e492976713f563fde4e11d159f1b","datavalue":{"value":{"entity-type":"item","numeric-id":1115189,"id":"Q1115189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3880714ee3f639f29657509ee53d3ca0ead847d","datavalue":{"value":{"amount":"+0.7836331129074097","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":"Q2941741$34582681-949D-4C27-AB83-22469DBA3F21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d06f3af90f8dd920640dd30f0ac8b5dd6c95407","datavalue":{"value":{"entity-type":"item","numeric-id":2749856,"id":"Q2749856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6fafb7f010a7c3b8ce7568e241eb6d958a2279b","datavalue":{"value":{"amount":"+0.783089280128479","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":"Q2941741$8F46543C-3FF5-481B-9DAA-1D9C4F32E9FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2576b837caae2cdfbd030db99b4b6f29444f9016","datavalue":{"value":{"entity-type":"item","numeric-id":5897190,"id":"Q5897190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6fafb7f010a7c3b8ce7568e241eb6d958a2279b","datavalue":{"value":{"amount":"+0.783089280128479","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":"Q2941741$DF29A0F2-8858-45DE-BAC5-F39F00C1235C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7d4c438cd4ba1d0d3dfd5bb6c05b15ee41db687","datavalue":{"value":{"entity-type":"item","numeric-id":1581850,"id":"Q1581850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"543ec2da89856d9ab8e2ede147e8ebbdbb144374","datavalue":{"value":{"amount":"+0.7797279357910156","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":"Q2941741$61A9E958-F56E-4561-971E-C33A6234B9EF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Satsisfiability and systematicity","badges":[]}}}}}