{"entities":{"Q3575272":{"pageid":5605176,"ns":120,"title":"Item:Q3575272","lastrevid":51046169,"modified":"2026-01-16T09:17:04Z","type":"item","id":"Q3575272","labels":{"en":{"language":"en","value":"Unifying theories of programming that distinguish nontermination and abort"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5761626"}},"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":"Q3575272$958F9971-482B-424B-AD8E-0431FB6A4308","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"66f1b0909e4bc6272179cde2bfb5fbc4af0c6adf","datavalue":{"value":{"text":"Unifying Theories of Programming That Distinguish Nontermination and Abort","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3575272$DC9C45D8-FD1F-46E4-B954-6B9D1DC9D7C5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"aa7ad6f92de51068cd69429da05d8614ab9b9aa6","datavalue":{"value":"1286.68079","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3575272$0EE824E3-414F-4A21-A7FE-5EEF51872410","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9d72704e042578449c76eb8ce95ecf77dfffe9ba","datavalue":{"value":"10.1007/978-3-642-13321-3_12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3575272$7DFA9CD6-7C83-4B87-B6D6-E1A140F90EFC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ffdb1dd75cd4312e715709efb5cc8beb218a80dc","datavalue":{"value":{"entity-type":"item","numeric-id":172105,"id":"Q172105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3575272$2C24A7D4-82F3-44E5-86E4-F0B6F32F7FDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b4098e59db3e4bc21f0b732220a541be8ca257f0","datavalue":{"value":{"entity-type":"item","numeric-id":851127,"id":"Q851127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3575272$BD424769-4D4C-48C0-AF59-79E0762E8B9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ca7566aaa95252813995fae694d788bf30175d5c","datavalue":{"value":{"entity-type":"item","numeric-id":1682287,"id":"Q1682287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3575272$6E21EC91-C9E9-408F-9425-184DBC147252","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3575272$26E3ECDF-0E00-42E4-A409-9DFA4BBB9903","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"51a2685e131198f653c90b66922043417f7b2e3d","datavalue":{"value":{"time":"+2010-07-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3575272$ED667324-902C-4AA8-B118-E74F75B06073","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"41d1df71364296b733ba2a6e9379a59901ee9e4a","datavalue":{"value":"https://research.tees.ac.uk/en/publications/3b43b974-8a4f-406b-a6a4-13fc1a25f77e","type":"string"},"datatype":"url"},"type":"statement","id":"Q3575272$903D61C1-BF61-41FD-996B-CEDC143497D4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3575272$3D81424B-313E-470B-AF6C-69B39F7D622E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d3fe849b01c3ff4664be4233fa7bf2985e6bd1f0","datavalue":{"value":"5761626","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3575272$FC34BF16-BE7D-42E2-9ABE-8F6605055CE5","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":"Q3575272$5F3CA36C-DACD-498F-B5D8-5C5BCA3CB13C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1d09c1f2c3977f4653ed948dbc0625819507f8c6","datavalue":{"value":"W1835285141","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3575272$9665AFAA-BA50-4D63-84C6-2913C83648D7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63990505fc0a654a16c2418668693703e8214cb0","datavalue":{"value":{"entity-type":"item","numeric-id":2908567,"id":"Q2908567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b6d0556fa08ac5973bbd2e4f453bdd70d803bd4","datavalue":{"value":{"amount":"+0.7505292296409607","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":"Q3575272$5BF9707D-D7F7-4BAB-A5E3-6263C54344AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e732f97d264ca570433f0ea8da5644b9444f61f4","datavalue":{"value":{"entity-type":"item","numeric-id":5899311,"id":"Q5899311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d19d36f9a5c841eb1c8d509a00484e2c339599cf","datavalue":{"value":{"amount":"+0.7316999435424805","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":"Q3575272$29E5235B-C620-4A29-ABBE-678A60648D69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3df2062477e400153324e8a42104b32141a25c9f","datavalue":{"value":{"entity-type":"item","numeric-id":2265798,"id":"Q2265798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da38612d54f1ad88739bb4e2e75504a6e0ae3bd9","datavalue":{"value":{"amount":"+0.7202562093734741","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":"Q3575272$53C18A8D-27BB-4BAC-B28C-7CA912BF2208","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39df5459c55b92fe7dd3eb27319fd3e1c307d996","datavalue":{"value":{"entity-type":"item","numeric-id":2703746,"id":"Q2703746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a0e466fc5a1d6f276224dfa9e5e0e0b4afc1d08","datavalue":{"value":{"amount":"+0.7201717495918274","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":"Q3575272$8976D6B9-64E8-476F-9EBA-45B875D4C133","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe575bdeebfc69be36c9ab5b79768e2cdcba9f44","datavalue":{"value":{"entity-type":"item","numeric-id":2013885,"id":"Q2013885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25eb314ca4df21e02ef0f79010786aabb09e7153","datavalue":{"value":{"amount":"+0.7179489731788635","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":"Q3575272$64CD2059-0E3E-4963-A4F2-418C8A3C9B84","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3575272","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3575272"}}}}}