{"entities":{"Q1137032":{"pageid":1147781,"ns":120,"title":"Item:Q1137032","lastrevid":42902448,"modified":"2025-07-15T21:16:03Z","type":"item","id":"Q1137032","labels":{"en":{"language":"en","value":"A sieve for entailments"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3666760"}},"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":"Q1137032$9CD47364-2F0C-458F-AAB8-1104327F67C6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"869cecffda9b6751ebfaa1f9f93c8896e2442f8d","datavalue":{"value":{"text":"A sieve for entailments","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1137032$347BDCAA-A142-4FEB-B6A9-445FBC170B6E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b74fcdbce4e867fd2a642aaf46b92a67e3971a02","datavalue":{"value":"0428.03011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1137032$D6D9EF23-E44A-47D8-9915-E8BF761CFA7E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e9854f5e434c3cb1fac5bfaf01993317703e8f7b","datavalue":{"value":"10.1007/BF00258076","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1137032$8C006850-EF14-4B60-B807-321C8005D0D0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8f2c9310ba4403f502f62bb76aa7c520204441b8","datavalue":{"value":{"entity-type":"item","numeric-id":358689,"id":"Q358689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1137032$2BA57FA2-4C72-44CC-89E2-475A4F5CC957","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e692f569038e7bcb7d3e72ba14d8d8e224046270","datavalue":{"value":{"entity-type":"item","numeric-id":169434,"id":"Q169434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1137032$9FD16EBC-A8AF-41AA-B6A8-48F27C72D18D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"56afe75e154439409929c71e0e459d1542811b6e","datavalue":{"value":{"time":"+1980-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1137032$64158ED7-4977-49BC-BC84-B56C8A62F351","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1137032$EB22FC74-6CBE-4A45-BB52-5EAF19EE2B43","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ed8ab6103b37400bd345234617a30e7c4d471718","datavalue":{"value":"3666760","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1137032$0176DD70-6308-495F-ABB3-E1EA5F9415B6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef005c57ec72bf1e5b47bd8f6a8adaa20239b969","datavalue":{"value":"entailment","type":"string"},"datatype":"string"},"type":"statement","id":"Q1137032$4E72D8B9-FD7B-472A-AC57-921ECAB281D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3a17918cb94233ffb981392ad257b6cb45f78bd5","datavalue":{"value":"partial tautology","type":"string"},"datatype":"string"},"type":"statement","id":"Q1137032$40C542DC-88D1-4523-A30E-D2CB50C9F4AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e8a30fcd6b91eec4ceb414ad67ac598016a6ff0f","datavalue":{"value":"truth tree","type":"string"},"datatype":"string"},"type":"statement","id":"Q1137032$F5F5B8C3-37C1-4C02-A28E-4B06FCA385F8","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":"Q1137032$072A0BD4-775B-4023-AF22-20556EEB6CE5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"babcb2136f09546a315df53e15ed48a3be9ff116","datavalue":{"value":{"entity-type":"item","numeric-id":3849883,"id":"Q3849883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1137032$17355AD6-7BAC-4317-AFFC-60CBAD9BEDA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb0b52a23de1574ccbcff90ef2d0aae0db6a2625","datavalue":{"value":{"entity-type":"item","numeric-id":1786806,"id":"Q1786806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1137032$8FA0C140-523E-4FF7-9FBC-88CA8428DD14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1597293c99b5400fb2a86fb59cefeef3c2eea0a6","datavalue":{"value":{"entity-type":"item","numeric-id":4145674,"id":"Q4145674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1137032$30B436DD-F781-4787-B5DA-3CBE07599AE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"febba330446bda559f2952d624c63d67c91597ef","datavalue":{"value":{"entity-type":"item","numeric-id":5560258,"id":"Q5560258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1137032$1D2B17CF-9316-44BC-8F95-D48627C7E208","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1137032","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1137032"}}}}}