{"entities":{"Q3817014":{"pageid":5846920,"ns":120,"title":"Item:Q3817014","lastrevid":53701355,"modified":"2026-01-25T14:09:01Z","type":"item","id":"Q3817014","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4088975"}},"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":"Q3817014$358E59A1-6693-4B49-ABE6-65B2386C18E0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f6157f7ee22739cdbcbe950b0ea3bc13de29b827","datavalue":{"value":"0665.68081","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3817014$D83E0519-BF3E-483B-9B8E-1F38709EE7BD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d04eda3743d60faf81f37a5528a877431ea828bd","datavalue":{"value":{"entity-type":"item","numeric-id":3716323,"id":"Q3716323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3817014$C44073D7-397D-4BE7-BFE7-A29F265D86B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"45fdb5f66c16810a14a0c2d57c1b69108467af35","datavalue":{"value":{"entity-type":"item","numeric-id":3144887,"id":"Q3144887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3817014$3F27AEDD-F6D5-4180-9A62-284E069C59BA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-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":"Q3817014$3D325BE2-EB36-4F7C-8B49-0C9C547C8C6D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3817014$347721D0-DD52-400E-9E16-29F6E595226A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3817014$C910D4DB-CF7A-4BA2-A2C1-41D91BBCCB2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3817014$C6D54A81-EF9D-491D-ABF1-88D728B75721","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0a9ded86a72c6a95d09b1dc6c932a89e075a63d2","datavalue":{"value":"4088975","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3817014$4C67B34B-296F-4703-B0E6-F1130A3252E9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d399949a551ba201112f75c5809de96cd9c13ae","datavalue":{"value":"many sorted first order language","type":"string"},"datatype":"string"},"type":"statement","id":"Q3817014$DA25D30F-BBDD-4F99-9B43-FCD7D9320649","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"936a276cc5768252176feef5bb9d88876f480bb1","datavalue":{"value":"partial ordering of sorts","type":"string"},"datatype":"string"},"type":"statement","id":"Q3817014$B36C3F8C-0F4D-4CDF-AB33-0356F18599CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d1585ca8380d459cc6fef1e6ce4a61850ace366","datavalue":{"value":"automated theorem provers","type":"string"},"datatype":"string"},"type":"statement","id":"Q3817014$126CE3B8-93A4-40C8-AC19-05345061C2C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3922eb0b8235fb2b824bcb3eaa0c8d395dbd512","datavalue":{"value":"unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3817014$E83F64CF-BBA0-4E53-BBFB-1BA95010173C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9af9b9328cfb36818e677c3120d4f9ef9d7dd15","datavalue":{"value":"completeness of the resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q3817014$24848313-B724-4DD6-AC73-859ECAFFB235","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":"Q3817014$E15FAA50-3B2B-4FC4-95A5-BE4B3F1A528E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e82f08704f38d22cce43b1c9e9b2e5e90950ac5","datavalue":{"value":{"entity-type":"item","numeric-id":4255519,"id":"Q4255519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97ea21da12df9726c87b516bdd0875c7f3ebf130","datavalue":{"value":{"amount":"+0.8209271430969238","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":"Q3817014$75FF0E2B-E633-49AB-A8DC-E31182250877","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bec025091398a1bece0ea3c04a8b6f646ef7a31b","datavalue":{"value":{"entity-type":"item","numeric-id":4729409,"id":"Q4729409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec6b207d03e1e5c31bcf2ec518cacf0fb24a585e","datavalue":{"value":{"amount":"+0.8045048117637634","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":"Q3817014$E1A95F50-DC18-45EB-9E3E-F99D999FA6A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3fb984d35bfcaed6a17c6eafead4da56a218195","datavalue":{"value":{"entity-type":"item","numeric-id":1380412,"id":"Q1380412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a6ca7a0acade1b5df1714f9bf77f3605c789057","datavalue":{"value":{"amount":"+0.7989778518676758","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":"Q3817014$294B4D50-B6CE-4033-9B86-D203A19670C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"88f926eeffb952d703e5ddf7c1e06b385ef96cd2","datavalue":{"value":{"entity-type":"item","numeric-id":4365057,"id":"Q4365057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d84caf99c996d8b318c265e1c216abeb8242211","datavalue":{"value":{"amount":"+0.789927065372467","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":"Q3817014$8458E6F9-6307-4562-AFDC-EAC809498A69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b76a3560e0bef3991b63f7ab2419f67bae281c6a","datavalue":{"value":{"entity-type":"item","numeric-id":3680805,"id":"Q3680805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ebdb51cca50c3d3d17d42eae0935c6806a09134","datavalue":{"value":{"amount":"+0.7769489884376526","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":"Q3817014$FECE4E24-DD8F-483E-A490-E1CFE5A34EC3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3817014","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3817014"}}}}}