{"entities":{"Q3814773":{"pageid":5844679,"ns":120,"title":"Item:Q3814773","lastrevid":53754521,"modified":"2026-01-25T16:16:36Z","type":"item","id":"Q3814773","labels":{"en":{"language":"en","value":"Strong Semantical Characterization for Nondeterministic Programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4084984"}},"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":"Q3814773$0712C025-A0AF-4AE4-85A7-AE13234B7351","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6990a6099ecb9b863d07b9504aa7d7d3f0a16e68","datavalue":{"value":{"text":"Strong Semantical Characterization for Nondeterministic Programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3814773$A640C258-7D00-4657-B786-CA03E924F11B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c1c580510708817cd4c484e42a25a8d848c445cb","datavalue":{"value":"0663.68017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3814773$223A61A6-8666-4B81-A3C0-A6FDF38BC7AB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ee4e70b5a3726ad737c6aa92da85e135ebf1b133","datavalue":{"value":{"entity-type":"item","numeric-id":247008,"id":"Q247008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3814773$BC47EE60-151A-4CE1-827E-4C0201C2C009","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"313eeae300ef8d00cbcff079ab31c26707d6fe06","datavalue":{"value":{"entity-type":"item","numeric-id":3025780,"id":"Q3025780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3814773$8C7FA8ED-91F3-4E4A-B4F4-E8F82717A617","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-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":"Q3814773$434BF06C-83B4-4FB8-9877-CC0F3A9CBDBB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3814773$BCC7EC92-6A39-42FA-A646-6265F0F4DB7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3814773$396198B7-8996-43A8-9EB7-AFD044EEEDCE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"abd2e078b1ee390ec66554897d6e347d5e36de74","datavalue":{"value":"4084984","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3814773$CC44BD08-F6E1-4AB4-93C3-8052F82CFD87","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0f082d23ececda4495232af64202f592a5942f2","datavalue":{"value":"Floyd-Hoare logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3814773$09698342-D928-4436-9BE3-3625B9ED513D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c50d987ab7c3ea2a41cb6aca681d912964971ed8","datavalue":{"value":"program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3814773$74D23701-C2D1-4326-A271-61A50FDA0C77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e381b994a9c0ce3eb69287257f5288ebf06f2b7","datavalue":{"value":"nondeterministic programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3814773$E166B920-900F-44CC-8004-05D565170187","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"43d8de44b3f88bd19a871628a3509981cd748562","datavalue":{"value":"data structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q3814773$13991DD3-F479-459E-9DF8-C4CB48A3332F","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":"Q3814773$8DC37954-385A-4A16-A033-C8907682934F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9f767d9ed62c4716d96d08be21c90ce92e426707","datavalue":{"value":"https://doi.org/10.1002/malq.19870330504","type":"string"},"datatype":"url"},"type":"statement","id":"Q3814773$5CB9B963-9928-4B65-BED2-EC0E154D7AA2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c09a81d1f085934e823ec77c149e908ead8e9a0b","datavalue":{"value":"W2128261541","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3814773$A3DC637D-767D-4C21-9E5C-DF0BE73C51BC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"562422ecd1be13b93bcabb584a408aa953825de7","datavalue":{"value":"10.1002/MALQ.19870330504","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3814773$B6F96512-9F20-406F-83D5-4F8B12A3E3CE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4987b95043f9e84497f60aaf8c2c65fd2c39f0c1","datavalue":{"value":{"entity-type":"item","numeric-id":910396,"id":"Q910396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da46ce3d088189d97ee8ebcd621cc1f17e8f0ab7","datavalue":{"value":{"amount":"+0.823609471321106","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":"Q3814773$9A937B2A-9A7F-4A26-9BF7-34CED6DAA5AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b715d1666f29c7e62c77f55370ed43c5d869981e","datavalue":{"value":{"entity-type":"item","numeric-id":3707370,"id":"Q3707370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22d0c2557727c8f792c76f5fc589060efb7ae315","datavalue":{"value":{"amount":"+0.8159460425376892","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":"Q3814773$26D322AC-CBE5-46BE-8503-AEDB8D01A984","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"128de154af4bfeeccec8bd32ac5fe733bbc20959","datavalue":{"value":{"entity-type":"item","numeric-id":3683528,"id":"Q3683528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9dd771dadd1e08136efb6529fa56d95e4f149212","datavalue":{"value":{"amount":"+0.8009939789772034","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":"Q3814773$17EABF79-F1ED-4168-A44D-BB24C13DB220","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1b2e59a3f1876b90ce4d0afbef5379583249040","datavalue":{"value":{"entity-type":"item","numeric-id":1077159,"id":"Q1077159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e3d0863aa6dfb1dc11faa5e06df7ea7622241d4","datavalue":{"value":{"amount":"+0.7824468612670898","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":"Q3814773$93006F83-B3C9-433D-A67F-6337E1036665","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"562c92cb91f0b2ecd3f6b1b6b8e9d74cd40afb2a","datavalue":{"value":{"entity-type":"item","numeric-id":3012541,"id":"Q3012541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33c085aa60c860bbd0e5e4ed0d07816af936445d","datavalue":{"value":{"amount":"+0.7665610313415527","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":"Q3814773$6109FEAB-6A62-4CF1-B174-D85B38D675AD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3814773","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3814773"}}}}}