{"entities":{"Q5234715":{"pageid":7264283,"ns":120,"title":"Item:Q5234715","lastrevid":94688735,"modified":"2026-06-05T07:28:47Z","type":"item","id":"Q5234715","labels":{"en":{"language":"en","value":"Soft typing for ordered resolution"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7111185"}},"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":"Q5234715$29B9EDF2-417E-474B-9230-B02ED8E9CA4E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cc1eadb32e64bfbddeb8f1e175633522559d45f8","datavalue":{"value":{"text":"Soft typing for ordered resolution","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5234715$4DFEBA19-1E09-4DBD-ABEA-117AF35997DB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"645c16ec7c537673b893a71a80e1a672e59b05bf","datavalue":{"value":"1430.68407","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5234715$FDE70D55-72D3-4CD5-8719-5A2706033A17","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"627ce7c46be625d3c7a7e6ceabe234c75f0f32d9","datavalue":{"value":"10.1007/3-540-63104-6_32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5234715$B4FBE7E1-5650-4FDE-8A67-06178DA435C6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b043e7c633006f3fac5c3bfd0395a92f663b5539","datavalue":{"value":{"entity-type":"item","numeric-id":758210,"id":"Q758210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5234715$F4874AB8-FF1B-471C-A5AD-A508C5FC55B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"990cd6918337a772d1b1155f9f93a8f7134d5130","datavalue":{"value":{"entity-type":"item","numeric-id":3838761,"id":"Q3838761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5234715$EB52C37E-BCF8-4F49-8441-71C8E934DB6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e858e644a5f8f9e799cff3da307c11b687abc60c","datavalue":{"value":{"entity-type":"item","numeric-id":831914,"id":"Q831914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5234715$BE67F0EC-F8CB-4EE3-B175-F30B9D4FF86C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3d3860a2f9767fdefbee4661adcdc84432183bcd","datavalue":{"value":{"entity-type":"item","numeric-id":5234680,"id":"Q5234680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5234715$CC9D56D7-4888-4DE6-9DD5-248390AAE318","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"dea1ace5968cb70ccc50b025abd55a0016bafdf0","datavalue":{"value":{"time":"+2019-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":"Q5234715$7B703348-61DB-42A4-A96F-8E8929E9587F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5234715$0F05A14C-3AEF-4B3B-91C2-8AEC7A15D3C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5234715$9B444764-5336-4952-B46B-36F3B9D9E9CA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2789b8300aeddd41bcd4ac0d1b3aa7cd0bbf128b","datavalue":{"value":"7111185","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5234715$1F89812F-CCEE-4364-9A23-768BF31C8853","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a75cd8f33187a112545b10752b14195d8c4c0169","datavalue":{"value":"minimal model","type":"string"},"datatype":"string"},"type":"statement","id":"Q5234715$0E439103-9BCA-49CE-B37C-A7C867C8300A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b8f384098e8f2ae4ef2ba4576b8d375f29034500","datavalue":{"value":"Horn clause","type":"string"},"datatype":"string"},"type":"statement","id":"Q5234715$D2B5F914-1A9B-4382-8849-DD05A99006A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6991dbbeff2ae468fdaa4cd3da313d3fe459e3c1","datavalue":{"value":"ground atom","type":"string"},"datatype":"string"},"type":"statement","id":"Q5234715$343C8139-3546-4231-A435-14F0E253799C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a84ba88a223d66a255cf717873de1a17d0ae80a1","datavalue":{"value":"tree automaton","type":"string"},"datatype":"string"},"type":"statement","id":"Q5234715$D8AAFBB8-7881-4722-B624-B96674BF3865","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f20461a376c75d83f7f8b2d6a58b1a53a092cdbf","datavalue":{"value":"ground instance","type":"string"},"datatype":"string"},"type":"statement","id":"Q5234715$B2E7E483-0EDB-4695-8D67-B6EB9BB0CD8B","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"70c51cb69cf83ba52d30c7a2c9abf4fc48a6f8a5","datavalue":{"value":{"entity-type":"item","numeric-id":18707,"id":"Q18707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5234715$AC1806CA-4B13-4B23-BF99-A6FE91F340A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c6f90a2f4d38316e0bb5a27c4b90cf6cce495aa0","datavalue":{"value":{"entity-type":"item","numeric-id":16295,"id":"Q16295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5234715$9066AEA6-243F-4A46-A6A7-E7D376B1A8C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f63de557d279c4616add6af7fb4f5f08e4cbf484","datavalue":{"value":{"entity-type":"item","numeric-id":41399,"id":"Q41399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5234715$3F8596B2-CAB0-4848-A6CC-082124C6DC37","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":"Q5234715$629E6D86-2787-4AC4-A03B-D685D6F7538C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"80e645bb371f159bb3973d97a71c7c6fb18cb066","datavalue":{"value":"https://doi.org/10.1007/3-540-63104-6_32","type":"string"},"datatype":"url"},"type":"statement","id":"Q5234715$C09D3F97-625A-427D-A488-D9FC653E467A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9a0c01ced5ce3033335670b60e3318e29b95bfe7","datavalue":{"value":"W2132897607","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5234715$CFE4594B-0026-499E-9761-D33D13D761A7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4aefe5e0f2b827afb25f0a8067d25c4a893f91ca","datavalue":{"value":{"entity-type":"item","numeric-id":4304492,"id":"Q4304492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5234715$F7E70DC8-2CD7-4C31-A1D0-7E505620B666","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d777c8f3869fd6e45c1229fa3cd33c422ea5d099","datavalue":{"value":{"entity-type":"item","numeric-id":4705604,"id":"Q4705604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5234715$E6A2E221-9E13-49F9-B685-33FCB361DCEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1598b42a0d0cd302314d6453395cf6853afd54f9","datavalue":{"value":{"entity-type":"item","numeric-id":5055873,"id":"Q5055873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5234715$70306502-FEB0-4B07-82C3-8CB6BDB670A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c16bedf88d37c78219926e82b3d7a7a9dee66a31","datavalue":{"value":{"entity-type":"item","numeric-id":3821629,"id":"Q3821629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5234715$BAECC985-8441-46F0-B812-6E6D3E538BDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f00589542fdb6ec4fc401e47318165d5bad4f817","datavalue":{"value":{"entity-type":"item","numeric-id":1581853,"id":"Q1581853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5234715$9D056928-9655-4B14-963E-5322924D36FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f771f551f48b2f2d21f6f2011008cb21eb26e492","datavalue":{"value":{"entity-type":"item","numeric-id":5538933,"id":"Q5538933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5234715$830B6970-FCED-46C2-A372-1C4AE3E8BF78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6614f531b00a528c3bbb605c5187237480b1b40f","datavalue":{"value":{"entity-type":"item","numeric-id":4647508,"id":"Q4647508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5234715$05FB4E8A-D25D-46E6-B068-E64DF4D413DC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a641e18f09f25b9a649b2d550bdb655493aace2","datavalue":{"value":{"entity-type":"item","numeric-id":1390960,"id":"Q1390960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f3244e6d6f3c830c2116fbf7f5a022689ebe578","datavalue":{"value":{"amount":"+0.76392007","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5234715$C5025C13-E710-4185-A044-1E827C004B49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d39d3eb5ccf9b115b70902c9289654f72d1b445","datavalue":{"value":{"entity-type":"item","numeric-id":3523189,"id":"Q3523189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"404964164ea7e885c05f4a1ab0419d98fc0e0cae","datavalue":{"value":{"amount":"+0.7596503","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5234715$6A26F974-153A-46CA-82F5-D85714915245","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":"78d99b8dcac8217eb05f0053f3175711bc6f711b","datavalue":{"value":{"amount":"+0.75917226","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5234715$AC7230E8-2C11-4B8A-B466-8965BB9CB9D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0002be10cb775da3bb2051aa1113a64d2f234cf3","datavalue":{"value":{"entity-type":"item","numeric-id":6488545,"id":"Q6488545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5de2518aadbfd65187db7b5e5388d0c170921ec3","datavalue":{"value":{"amount":"+0.7553035","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5234715$4BC96C09-973A-46F3-81CD-576336D9B48E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9bbdb6a114e070ed820cb6af916dfedf9e717ff","datavalue":{"value":{"entity-type":"item","numeric-id":2055790,"id":"Q2055790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59ff36ae79222ba9c1571f61129a5f59f0c5f17a","datavalue":{"value":{"amount":"+0.75391024","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5234715$BDCD4C43-CCA0-46A1-A499-D7C2BC5A5014","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a3439ac502b6e53cdab3f76e7360d6b532f97fc","datavalue":{"value":{"entity-type":"item","numeric-id":1115411,"id":"Q1115411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91e2375ad6eb9c0790bc925e0741fa70e1eb3dcd","datavalue":{"value":{"amount":"+0.75374895","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5234715$503494EC-4B0D-46B7-89B4-EE311E2B9D2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"acee795628cc2b01c1e14bb727dd75b8d011d9af","datavalue":{"value":{"entity-type":"item","numeric-id":1286367,"id":"Q1286367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3dae464022f3bf0bc1c9ff47825a5fa601b01257","datavalue":{"value":{"amount":"+0.75287414","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5234715$53BE8D28-2C39-431B-ACB9-B148D3CD41A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc5c3356a6b67234d78ca0df57e082652071416d","datavalue":{"value":{"entity-type":"item","numeric-id":582269,"id":"Q582269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9faf6b9361c2ec8731f84f9c34579df21ff41cc5","datavalue":{"value":{"amount":"+0.75108355","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5234715$CEC3B722-193C-4645-9DB2-9E52F03263C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"292af06e6eb60d42b145767ea7da4e9a941fc5e0","datavalue":{"value":{"entity-type":"item","numeric-id":5414962,"id":"Q5414962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f591175bfb7329497ffa2a0d95c02ec5cf6ad68f","datavalue":{"value":{"amount":"+0.74377525","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5234715$96A74575-FEBF-4CA0-9B23-891BE7DF0926","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Soft typing for ordered resolution","badges":[]}}}}}