{"entities":{"Q3034804":{"pageid":3045520,"ns":120,"title":"Item:Q3034804","lastrevid":49348828,"modified":"2026-01-07T00:24:09Z","type":"item","id":"Q3034804","labels":{"en":{"language":"en","value":"Nondeterministic program schemata and their relation to dynamic logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4133473"}},"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":"Q3034804$CD6B0911-19E9-4D6C-96B5-FCDE9D6E728B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1a53f26a78706b6de8ce17a63b939dd24ee9b714","datavalue":{"value":{"text":"Nondeterministic program schemata and their relation to dynamic logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3034804$0F3749A6-CA33-4374-B282-FF63A051775D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0a94be2b6e278cab7df4c799958e1ef760fa6a8e","datavalue":{"value":"0692.68012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3034804$016BC8AA-C51C-4C2A-ABF0-DDF5D1DF1A5C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"12441a926a439116b5205c7f40a36c3e13b381f9","datavalue":{"value":"10.1007/BF01132079","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3034804$B5502994-2E8B-4256-AB73-33F1AC506637","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f12ab6a50dca285e32f059f3cef41583e61bc6ed","datavalue":{"value":{"entity-type":"item","numeric-id":174086,"id":"Q174086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3034804$E0990F7F-F1E0-428F-9E75-9DAA46A51871","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"29ee6d4e04c183e5bb6b0ff5941f040ab93517df","datavalue":{"value":{"entity-type":"item","numeric-id":174087,"id":"Q174087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3034804$D45EFA7C-DA29-4614-8007-071B1C6DCD67","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c2f2504956ff395a23643134114da7c6c64448d2","datavalue":{"value":{"entity-type":"item","numeric-id":3026191,"id":"Q3026191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3034804$0691D644-C42B-4AC2-ADDD-3F3C46DD83A6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-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":"Q3034804$19BCE3D8-4000-44FF-8B9E-6B74342BE661","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3034804$CB83C99D-23B1-43F7-A64A-4E1D916828EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3034804$A6F8E6C4-2586-4958-88E1-49110BF19CA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3034804$A343AD40-4C8D-4B02-BE87-59F493D36135","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"97aa945ed29b443e465e1591a19f8ce6d8dfe5ba","datavalue":{"value":"4133473","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3034804$CA8A37E5-F134-48E0-99F2-74C4A694B7C4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e87cf712985871bbcba7720dae1325bd2328071c","datavalue":{"value":"Yanov schema","type":"string"},"datatype":"string"},"type":"statement","id":"Q3034804$FB24D292-921D-446A-BB43-A9E14DF3746C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3034804$B12645FD-2F67-4CD5-9FB1-233BC6B02E33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48ddf43eca498c7e7087cd696beb82ea63925320","datavalue":{"value":"algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q3034804$9C225E03-A204-4192-B249-179AF17A152F","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":"Q3034804$2F9B9172-815E-408B-8060-502DE53CCFA7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe703ad84acbe97ba91280a7535217be8806cf13","datavalue":{"value":{"entity-type":"item","numeric-id":1846738,"id":"Q1846738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3034804$BF7BE749-C7CA-4F83-AD24-9A4AFFC38469","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d998f10dbe733ce0c4fe3996b622c39d39adbcb","datavalue":{"value":{"entity-type":"item","numeric-id":3662639,"id":"Q3662639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3034804$C2E2CFF8-0C08-492A-961A-A8B28ADEEAF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51fce396657662d76f5dac0f33566dbff096a660","datavalue":{"value":{"entity-type":"item","numeric-id":3740223,"id":"Q3740223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3034804$1E133EF7-181B-42F1-A228-38D3768065F5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6836040af066548bda0401a8e173732efd212f2f","datavalue":{"value":"https://doi.org/10.1007/bf01132079","type":"string"},"datatype":"url"},"type":"statement","id":"Q3034804$FD6300FB-CA3C-49DE-8E66-B1E6C0C97934","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7ffefca285667f8ae55015cb26d4beed04bab1aa","datavalue":{"value":"W4254082568","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3034804$486BBF3D-1020-471A-82E2-56CB1829B920","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e06aebd6284d938969549290351f8a51a6620cba","datavalue":{"value":{"entity-type":"item","numeric-id":3483264,"id":"Q3483264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25f20277e1f160d697315f13bb8ee93d5ca59364","datavalue":{"value":{"amount":"+0.8817839026451111","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":"Q3034804$B20E78C1-2CFB-42ED-BBAE-9C5BA7D51B5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0082030614e9898026a02edbdf0a3157fb6307aa","datavalue":{"value":{"entity-type":"item","numeric-id":3748269,"id":"Q3748269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19690a5846227ba067d0b06383ef83c5277c498f","datavalue":{"value":{"amount":"+0.8199945688247681","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":"Q3034804$EE220C97-3A42-4282-B3D9-2F925884B379","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ebb423f2134bc0cd9ae597374e003bac48d061fc","datavalue":{"value":{"entity-type":"item","numeric-id":3179178,"id":"Q3179178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06d489e523bb6467314fa1dfbfc1b40c2da6f3c0","datavalue":{"value":{"amount":"+0.8078314661979675","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":"Q3034804$1CD02457-9973-4C70-BD5E-641C6BAA1A75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bbebf44eed5f58721bc7e4624cbe3f5670f3512b","datavalue":{"value":{"entity-type":"item","numeric-id":2216719,"id":"Q2216719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4ad94e10fc169aa112b3fa8ad41c773ea5d9853","datavalue":{"value":{"amount":"+0.8067578673362732","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":"Q3034804$86F630E5-14CF-4212-820E-2003F73F761F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e63e136a3f99c164e16dc4b22d6c6e40b53b4bba","datavalue":{"value":{"entity-type":"item","numeric-id":3318101,"id":"Q3318101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f86b79a8325640ff9f4559f7076767ef177527ef","datavalue":{"value":{"amount":"+0.8005115985870361","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":"Q3034804$0983648C-532A-483B-A1A0-E68BDD4C96E1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3034804","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3034804"}}}}}