{"entities":{"Q4981158":{"pageid":7010736,"ns":120,"title":"Item:Q4981158","lastrevid":52023206,"modified":"2026-01-20T18:53:45Z","type":"item","id":"Q4981158","labels":{"en":{"language":"en","value":"Block products and nesting negations in \\(\\mathrm{FO}^{2}\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6307647"}},"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":"Q4981158$84EE7B36-6C13-4867-9FEF-46100CCD5376","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f54b8223e9c0b076ad56352ad40f8dbef4e10665","datavalue":{"value":{"text":"Block Products and Nesting Negations in FO2","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4981158$70BDCC80-0413-4E5C-82AB-96E1E0BFFE7B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9521072147d3e0b5e30a76884a8ac3770f1f9607","datavalue":{"value":"1433.03099","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4981158$0395798A-AB06-4907-9610-B91597E87B57","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4f0c25049007a1917419b998e764d6c9a754c534","datavalue":{"value":"10.1007/978-3-319-06686-8_14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4981158$E5D107C5-3DA2-4807-95BC-405981422B7D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6c5292c4b8407f35795e060e2fd4962373cb84a8","datavalue":{"value":{"entity-type":"item","numeric-id":1622977,"id":"Q1622977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4981158$B1EF78BD-E3BC-4EFF-A6B7-E8768CA3CAA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ee0de4af1b7c20aa534acd2585628b6cd288f3b0","datavalue":{"value":{"entity-type":"item","numeric-id":263827,"id":"Q263827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4981158$E8C8487F-C627-4FE6-8BE4-0FFA00A4D795","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2954809ea06b7f78fbff3c169a06bc6c6991bd87","datavalue":{"value":{"entity-type":"item","numeric-id":2411036,"id":"Q2411036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4981158$91ADAC70-D04F-4529-9D78-F72283D51A81","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"67369056b9d9aaf16ec761af964d570fdcf3aa68","datavalue":{"value":{"entity-type":"item","numeric-id":3392935,"id":"Q3392935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4981158$3959843C-0E31-4864-940B-FFB42E5143F9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4162171d534841eaba82df8e339e73a24ff6ed5c","datavalue":{"value":{"time":"+2014-06-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4981158$432BE108-2950-4771-920A-64EC57F14258","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4981158$63706661-30AD-4427-9085-51EBE98BAD8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4981158$FBB26633-90C6-4E7F-9CCB-56C2AD848EC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4981158$4617FCBE-AE7D-453D-8E40-04D072EBD741","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1f2d51749736d7a35abf742f9ac7394f1aeed58c","datavalue":{"value":"20M35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4981158$A3496F39-AA27-4BEC-A917-735BAAC0DD30","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c26a29e1e3183af4120c77c74d27275e4e96e630","datavalue":{"value":"6307647","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4981158$E2310DDD-6B1D-4B61-92C1-720871AC6B92","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ea9b35a533d874f0a32d77e584c8b61e0e7c2fe","datavalue":{"value":"regular language","type":"string"},"datatype":"string"},"type":"statement","id":"Q4981158$329A1925-7AFF-459C-BEBF-580D1F48B5B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"013ea0ae18b29892b5726356388c7d5d42063956","datavalue":{"value":"finite monoid","type":"string"},"datatype":"string"},"type":"statement","id":"Q4981158$9CF59F2D-44D6-48E5-8E55-9742D9FAF674","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"23ad9c9eaadaf6f0ed0342fea3d7fb1b58d455ce","datavalue":{"value":"positive variety","type":"string"},"datatype":"string"},"type":"statement","id":"Q4981158$D7B895E0-9A0D-41AE-B06B-6ABBAB75925B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4981158$D58AC919-919B-4318-BBB6-A0A29AA64A48","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":"Q4981158$D4CBCD35-5081-43DA-B60A-FF6C538ECB5B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1759efe68a59f764d336554657c053413042b7f2","datavalue":{"value":"https://doi.org/10.1007/978-3-319-06686-8_14","type":"string"},"datatype":"url"},"type":"statement","id":"Q4981158$8D4DC42A-D0A4-4AAE-BECF-493CA165A756","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"862d5e124c73c3f07421bd2c68d214d529924fcd","datavalue":{"value":"W2221617798","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4981158$53DDC59E-978C-4AFE-952A-68BA41BB9A65","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66130eb330cdf948f3c4a6a5a040acd8cae74389","datavalue":{"value":{"entity-type":"item","numeric-id":2411037,"id":"Q2411037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e203a41d8ee787b8b285f1d5a0c61686b6819110","datavalue":{"value":{"amount":"+0.91925048828125","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":"Q4981158$B712D7B4-AFA3-4680-A6D8-B70C413DAF3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1488782acc25ac678b0149c20a5939eaf313de95","datavalue":{"value":{"entity-type":"item","numeric-id":4649563,"id":"Q4649563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b4e6ab686331d589ac433c61bd7f704e8faa07a","datavalue":{"value":{"amount":"+0.8600494265556335","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":"Q4981158$BBB0E3AA-A632-4F19-A052-741D3DDCA9B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea9cc68b5d48f81cb53cadcf6989f9231f671ee1","datavalue":{"value":{"entity-type":"item","numeric-id":3608423,"id":"Q3608423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f51fcb35e2b9764235cc271a2c556d648e94cbb2","datavalue":{"value":{"amount":"+0.8319034576416016","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":"Q4981158$75993036-EBC0-4D7A-AB1D-9D6D81B7C549","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74a877179cd1dcc6c536adcf14ec1449f186639d","datavalue":{"value":{"entity-type":"item","numeric-id":2904628,"id":"Q2904628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58060260ef8d55a861a9a832c9584491b27a5e05","datavalue":{"value":{"amount":"+0.8276254534721375","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":"Q4981158$CD558254-D9EF-4B96-AE07-F45E5743E75F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aed1ff33206813d17f95c87da088cf1a9ffff730","datavalue":{"value":{"entity-type":"item","numeric-id":2957893,"id":"Q2957893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b5cb23de2ca2065d962d3c96e1c5daef35961c0","datavalue":{"value":{"amount":"+0.8262286186218262","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":"Q4981158$279C02DF-8AFF-472F-B4EF-9AF3CED0C16A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4981158","badges":[]}}}}}