{"entities":{"Q4263162":{"pageid":6292763,"ns":120,"title":"Item:Q4263162","lastrevid":46667163,"modified":"2025-12-25T09:03:45Z","type":"item","id":"Q4263162","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1341613"}},"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":"Q4263162$36AB54C1-90EB-45EB-8B86-909DBE54003C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3d3f28dcbd7d93873ec3b7936b24a4e1c8119d60","datavalue":{"value":"0938.06005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4263162$687FDB5F-8A44-4D05-A524-B02C7B636F07","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"377ea72ecee982e1dcddee303e9fb3aea539cf87","datavalue":{"value":{"entity-type":"item","numeric-id":592080,"id":"Q592080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4263162$CFA4916B-C157-4C6E-A2D1-D261C05AD176","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ce7843932412e0d5c566f14bc25dfa7a3675a659","datavalue":{"value":{"time":"+2000-06-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":"Q4263162$1D4E1588-84F6-4FB9-9BE9-81ACCE68315D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a09929fa18be057d20e940578849cc6f5a29a3e2","datavalue":{"value":"06B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4263162$1A5EAC2A-74F4-4B54-A7D0-3D9AD7B8F05B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4263162$98ACB5C2-3D8A-44A7-A649-BD96D4E49AC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4263162$D6F2B94B-0023-46D5-ADF1-28DA63BA9C1B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bc0c981215ecfbe88e80079795a8334a246c28e3","datavalue":{"value":"1341613","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4263162$B8C54F52-9881-4327-BB4D-AFD42E21E064","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a977ab1bfe8960bd54f414cbe775bc8260a32b60","datavalue":{"value":"satisfiability of universal sentences","type":"string"},"datatype":"string"},"type":"statement","id":"Q4263162$888A2810-22D2-4CAD-A84D-12542DEC147C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4f48abf48ed3ee141e8bd11c9a4e91d53f6f9b2b","datavalue":{"value":"varieties of distributive lattices with operators","type":"string"},"datatype":"string"},"type":"statement","id":"Q4263162$D2857946-ACF1-47C0-B58C-F74053632106","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb45a366c5f73694d4193741149731f4b28dce52","datavalue":{"value":"relational structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q4263162$35577A83-6214-4F16-8D36-66C107796860","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1a6f27a239809ddc1151365320ad0d1feb801161","datavalue":{"value":"clause form of universal sentences","type":"string"},"datatype":"string"},"type":"statement","id":"Q4263162$5BB56BC3-E804-4E86-A516-C79C6898701F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e97175fd5d747e7d34cbcc625e3abab53d84653d","datavalue":{"value":"automated theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q4263162$D449BB3D-39B9-4528-B2F9-0EE83C8BE43B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4263162$151BC8C8-4A55-432F-8B3B-6FFAE584C81A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4263162$8F5E5148-7123-4B5B-8D00-7969C6EA9A81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b44e1b783719f7508f73a2bfb0bf3e2d5f795a2","datavalue":{"value":"universal theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4263162$170A9EDB-F0E1-40F1-B5E3-88D89C2462DC","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":"Q4263162$2B8F3027-593B-46B1-9B1D-9EBB01FBA8FC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd8639d7f0a2b9a297f333522702ea8621349647","datavalue":{"value":{"entity-type":"item","numeric-id":1432885,"id":"Q1432885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14decc8c77196d5dd06fc15a6ae2f7828f77f8ed","datavalue":{"value":{"amount":"+0.8757203817367554","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":"Q4263162$5BA78F90-135B-4A4E-A89A-1582D4B93FAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4dc88f4df49fee88aa58fd7fd1401e8f2a16caa9","datavalue":{"value":{"entity-type":"item","numeric-id":4412863,"id":"Q4412863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"676e2e7e7a9e93ebed46e03f7b87cd5dc1654456","datavalue":{"value":{"amount":"+0.8112338781356812","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":"Q4263162$B4CFACD6-0AD6-423B-9F78-C2100A2675F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21b6fe432c2892cd36e71d33bafbe945474a843c","datavalue":{"value":{"entity-type":"item","numeric-id":5277777,"id":"Q5277777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5edd542ac8b8f33ca6b8a2dec7e86dc4e24f2809","datavalue":{"value":{"amount":"+0.8030036687850952","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":"Q4263162$D0C552D4-BA7E-428C-8AF1-A68E38A8D443","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2d63c13678a3d73f0814bf31690c7b455634e66","datavalue":{"value":{"entity-type":"item","numeric-id":391322,"id":"Q391322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ed076e7f83b4667b4fe3625f202a972dde60f61","datavalue":{"value":{"amount":"+0.8025673031806946","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":"Q4263162$2A693C11-0BB7-400A-BBFA-A4104E9CEC98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"090899a226981d08b6edac7e07feeaaa87e59dac","datavalue":{"value":{"entity-type":"item","numeric-id":2723445,"id":"Q2723445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e467551b41810eaa0dff33b2352f1d5c2071bf60","datavalue":{"value":{"amount":"+0.7949064373970032","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":"Q4263162$F6F3D9F8-6E38-4F24-B824-2AC4481EEAF6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4263162","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4263162"}}}}}