{"entities":{"Q4424942":{"pageid":6454541,"ns":120,"title":"Item:Q4424942","lastrevid":48171862,"modified":"2026-01-03T20:50:45Z","type":"item","id":"Q4424942","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1978322"}},"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":"Q4424942$5B38F7A9-54E9-4E72-81A0-2F4CE5661485","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a04ac9b4ca1b9f188c78341205308c0fcefd7439","datavalue":{"value":"1027.54505","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4424942$6C0D5559-E342-42EF-94B6-5B3BE6D836B5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cbeabc28ae419338d0fc6eb2152a601d7b21813c","datavalue":{"value":{"entity-type":"item","numeric-id":646501,"id":"Q646501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4424942$9D519EEB-F5BC-4177-A7FC-ABCD124DF3C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"46084c0cca4c70298f0aae77250f85fb8ee886bc","datavalue":{"value":{"entity-type":"item","numeric-id":1427779,"id":"Q1427779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4424942$EAB9D5B7-BE1E-4687-8204-96BC61CFEC5C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b1b8435c1424fbe687fcd7ea9eda107ee015e36e","datavalue":{"value":{"time":"+2003-10-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4424942$96ACAFA0-D0C2-4A4F-84F3-C6137D8EEF6B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"be4cd99f0aaa2688661b2002577944d759906919","datavalue":{"value":"54H25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4424942$A437C50F-5ABF-4831-B6D5-9FF1F2168B21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4424942$C94112C4-9360-46F6-9607-D607CC6D7FD1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f4e796a50a163e2826a4f6fe66f782ff0b518675","datavalue":{"value":"1978322","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4424942$D9204D1B-C161-4E2D-AFE8-C69B3B188D70","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dea94ed3027d02dc59eb0fac0b8b74e6a2108c4f","datavalue":{"value":"semantics of disjunctive logic programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4424942$5C65E320-0D48-4264-A4A9-D3340EF3C2B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a9a7b0cf17169865b15e8c9d7014c24bafb8410c","datavalue":{"value":"fixed points","type":"string"},"datatype":"string"},"type":"statement","id":"Q4424942$C8879049-2ABA-4D69-9CAC-DAEA22BAF9E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac54fd1557752245b07f63aff5dba29772594aef","datavalue":{"value":"multivalued mappings","type":"string"},"datatype":"string"},"type":"statement","id":"Q4424942$B1ED4AF3-7F13-4F42-98E7-08912602B123","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b82cc4d40a1fd319ab13e6b68f0a1940966ab0f7","datavalue":{"value":"Knaster-Tarski theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4424942$F5AA849B-98CD-46F8-8E6A-21CB9C1F7C59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"776971b86e6c4cf15851a3ea837e7ca01487d625","datavalue":{"value":"Kleene theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4424942$37009BC0-AF4D-4196-B937-BCBE06F5D8F1","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":"Q4424942$26C46E28-8815-413F-83ED-CAF0FAD882E4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26876da7f91f6534e43de954cb6c3f958fe4d881","datavalue":{"value":{"entity-type":"item","numeric-id":3126163,"id":"Q3126163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32e182f9b0c63ef48387bce18141ca9aeeef1d37","datavalue":{"value":{"amount":"+0.8265694975852966","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":"Q4424942$E9E36CC3-0F54-487C-AFBE-AC12F79168B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5962781c51d21ee99f94bff5f8e2ce7816896f6b","datavalue":{"value":{"entity-type":"item","numeric-id":3153396,"id":"Q3153396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dee05125ed0e91b96751fb7147a24efbd60084a5","datavalue":{"value":{"amount":"+0.7913599610328674","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":"Q4424942$5CC61B82-4952-4894-8F7C-4E1DD58154DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9dbc171d2c3cf716d2d765716b15b3cf18935361","datavalue":{"value":{"entity-type":"item","numeric-id":2257304,"id":"Q2257304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb5b330f4a1a3c7035ce9b504914dd3370bdc7db","datavalue":{"value":{"amount":"+0.7827661633491516","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":"Q4424942$AECA5016-50F0-4432-A9B8-75AD8DC29C4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"162f2ebc133cbbb9d858b1bb87e63b47d1d36dba","datavalue":{"value":{"entity-type":"item","numeric-id":3638342,"id":"Q3638342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64d3de68df8c17a4f1bba9b73424530a8cec67a2","datavalue":{"value":{"amount":"+0.7799465656280518","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":"Q4424942$457D895B-6ADB-4BBA-B787-8E053529A47C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d1cf6f997f5d1f24369f506178cdf72861ead29","datavalue":{"value":{"entity-type":"item","numeric-id":1376090,"id":"Q1376090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02da509e04ec81a874ef6ca3ff0477f0a19bc126","datavalue":{"value":{"amount":"+0.7760608792304993","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":"Q4424942$8F28BFAF-03CF-4039-9385-539C20111368","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4424942","badges":[]}}}}}