{"entities":{"Q1817131":{"pageid":1827873,"ns":120,"title":"Item:Q1817131","lastrevid":46449039,"modified":"2025-12-24T19:39:20Z","type":"item","id":"Q1817131","labels":{"en":{"language":"en","value":"Formal models and free program schemata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 952260"}},"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":"Q1817131$A89F6632-992F-49F5-8479-5320D6840496","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d80f0d51cc9d1e71711ba50b9a733961c478f920","datavalue":{"value":{"text":"Formal models and free program schemata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1817131$A4409DF3-805D-41DD-8459-15E83D2FD2E0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5ad54d066015d6578e029a9691535cd3a93b153e","datavalue":{"value":"0875.68208","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1817131$193E2387-B92C-4FFE-A331-DFF5584F5C01","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"be953c7743ad681cffb55322e552c5990c03cfb7","datavalue":{"value":{"entity-type":"item","numeric-id":174054,"id":"Q174054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1817131$22C7AB46-7638-4DFE-BAE0-985A2A8527AA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"253a0cc57300e2194fc1b5d1f13fbbc8bc97b0de","datavalue":{"value":{"time":"+1997-05-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1817131$797BCD82-CD54-43D1-83CB-15C6B745CEC9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1817131$00710332-E2F5-4F6F-8C7A-947701198E03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1817131$D98A2903-0C31-4481-ACA2-D8CD1626C587","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b7abc19e7ce7cd234239ce9548e3a12a367c34d2","datavalue":{"value":"952260","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1817131$B51A4210-AACB-4197-BF62-8A9EB2ABD465","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d884b5ce6823ad2c89d441385babbaba7d99f19a","datavalue":{"value":"functional equivalence of programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1817131$517544DD-952B-4A91-8D5E-3CD8E192A10E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"31d3574fd71341339ba94723c4042ff80ced2eaa","datavalue":{"value":"program schemata","type":"string"},"datatype":"string"},"type":"statement","id":"Q1817131$B99CAB30-793E-4A55-A159-5492064B64B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3f5099c891b6fdfb9c20fb448a8b4db101cfc48e","datavalue":{"value":"formal models of programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1817131$57571EEA-7269-471B-A396-CC52DD6B682C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7153bb19785740785cd6347b4d653dc5d37c5e4d","datavalue":{"value":{"entity-type":"item","numeric-id":1592931,"id":"Q1592931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1817131$2E90700A-3B18-4BBF-B797-5B6990123404","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":"Q1817131$2C575C0E-C09D-4B8A-92EB-0AF8F81E29D8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cee79f7e49fcb5ac32a60729a0568593605f4ccd","datavalue":{"value":{"entity-type":"item","numeric-id":4866425,"id":"Q4866425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c86daf082f0f570e7650766535a4787de202a45c","datavalue":{"value":{"amount":"+0.8873688578605652","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":"Q1817131$2A4746E4-C206-495E-BE30-FEA9C4FD23DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ae15138ce923cbb7cbad8f2d829937f5181b2d6","datavalue":{"value":{"entity-type":"item","numeric-id":2540014,"id":"Q2540014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e48fae5eaede40240d2309b661a2a7712420e83c","datavalue":{"value":{"amount":"+0.7794442772865295","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":"Q1817131$4EFDD548-9D14-4091-9835-E5E63F40DCC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7340de27f6eb70f4051fe3cd0743d0e1a4608939","datavalue":{"value":{"entity-type":"item","numeric-id":3996874,"id":"Q3996874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b98bc810777ed3a0dd85fc7c9af5d159e66aa7d0","datavalue":{"value":{"amount":"+0.775359570980072","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":"Q1817131$C780C47C-7583-4650-B78E-18BE36B9999E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c9c919168938b5fe0011792d06c9e6350bc719f","datavalue":{"value":{"entity-type":"item","numeric-id":1183753,"id":"Q1183753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b505d590812db12d3c2678951497cb3c49e5b829","datavalue":{"value":{"amount":"+0.7673789858818054","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":"Q1817131$20124DC8-145A-4EEE-9BAC-A4362C682F14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3ef9da60d1b6fc0516e26e61c6bb26a21683e37","datavalue":{"value":{"entity-type":"item","numeric-id":3352505,"id":"Q3352505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3bbf6bc7b36af73460d2a25f48f0112629ee17cf","datavalue":{"value":{"amount":"+0.7643532156944275","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":"Q1817131$D121678D-A772-4F64-842F-DBEEEE2B3362","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1817131","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1817131"}}}}}