{"entities":{"Q3698284":{"pageid":5728190,"ns":120,"title":"Item:Q3698284","lastrevid":50328704,"modified":"2026-01-13T20:15:42Z","type":"item","id":"Q3698284","labels":{"en":{"language":"en","value":"A proof rule for fair termination of guarded commands"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3924107"}},"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":"Q3698284$6D58FD23-1EED-4A9E-B2D7-68F342CEE411","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2e119904fc1226ac418d41bbc964ae758a7c9173","datavalue":{"value":{"text":"A proof rule for fair termination of guarded commands","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3698284$0011AFB1-4C29-4EB6-BCEF-7706258EB7BD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f78ce782c117a522ce1b42b8af9e53c1e2807277","datavalue":{"value":"0577.68022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3698284$D2AEC04F-42A5-4CD7-867C-FA8FB9876BB3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"90099d361b18887878a3acbc05916d5112cba403","datavalue":{"value":"10.1016/S0019-9958(85)80014-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3698284$5868459B-D403-4233-B9A0-A28B2DA697C0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dde9477c31764f7e982fa5c7962174291d7bf7fb","datavalue":{"value":{"entity-type":"item","numeric-id":259063,"id":"Q259063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3698284$6551BA10-141B-490E-89D8-D7CE5B6A93AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f22a3deb8c3bb69905bbf6e6a826dde89e56c83a","datavalue":{"value":{"entity-type":"item","numeric-id":174819,"id":"Q174819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3698284$8688746B-06EE-4142-83F0-770F2D8BC98B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"32ead6a624fee23dc1dc37cfe2dcec3766470899","datavalue":{"value":{"entity-type":"item","numeric-id":452475,"id":"Q452475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3698284$27CFF024-16B7-4272-9377-EAA14C61A85B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4434820098e3b6c980c31814818af7c68f56bd22","datavalue":{"value":{"entity-type":"item","numeric-id":2832035,"id":"Q2832035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3698284$11D3960E-3E03-4095-B2C1-8DEEE58C462C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-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":"Q3698284$BDF7FE33-B862-4958-B843-ABAD7BF8582B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3698284$C0F1EAA8-EA33-4703-A399-47419A2F7908","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3698284$D852BA0A-29D5-4CE0-8F4E-84C44CD1C6E7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"76cc5d10318d3a3464522f123fc41fbcf45c65b0","datavalue":{"value":"3924107","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3698284$61C3E64C-8F1A-4EAB-888A-1060D2C17EC0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ace0295227d8a70eae3878b8b6432b1513e41374","datavalue":{"value":"proof rule for fairly terminating guarded commands","type":"string"},"datatype":"string"},"type":"statement","id":"Q3698284$29C7B24E-46EA-429E-9B77-333F53312F5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6900d0425b483085389f9bc191e7c8d11d3abc62","datavalue":{"value":"operational semantics of computation trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q3698284$663A7B66-A114-4D14-AE69-23EAD811DBEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3698284$C8FB2CDE-8FD0-4071-9A9F-E2AFF89D141C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b7f933b5d61ede4d00b8e1b34a89b32e0bdbeff3","datavalue":{"value":"LPS-rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q3698284$8559C893-6E66-4EB4-855B-85B7B100F819","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":"Q3698284$7A229D06-5C9D-4AA7-840F-AC6A3097C60B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9b874ff0d1bb90ed7224df41b20d5378210e878","datavalue":{"value":{"entity-type":"item","numeric-id":3347265,"id":"Q3347265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f21d75068630d2c73ec16f1ba2137a796f02fac","datavalue":{"value":{"amount":"+0.8817923","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3698284$FF6D774D-1661-4B6C-A350-E40A9D52372C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59ed5fb28dd6a6f13e5fa3b5a620b820986bcb85","datavalue":{"value":{"entity-type":"item","numeric-id":2721097,"id":"Q2721097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc6ef13f93b98bb7763da2f997e03741c559841e","datavalue":{"value":{"amount":"+0.86143637","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3698284$D52A5567-DC7B-4506-8335-0271EC4654F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"daea1b39e98acdd0c050adf44ba6c69cb6b3e013","datavalue":{"value":{"entity-type":"item","numeric-id":2985774,"id":"Q2985774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae859601985fc1887ca509fecdb75d6547c02aa4","datavalue":{"value":{"amount":"+0.8593242","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3698284$5B8D7F3A-90DE-4982-AFA3-883F3F630297","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0eb4c4b75493b45e3843b7454635ecd4a130d9c0","datavalue":{"value":{"entity-type":"item","numeric-id":5427260,"id":"Q5427260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72e7fa2b0b30566416b6a672ed45cf96bfe4a802","datavalue":{"value":{"amount":"+0.8570399","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3698284$918070C7-12E4-4507-B35F-4E57757848C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01c607d270dfcf1b0c607b94116fe89f4e7e520e","datavalue":{"value":{"entity-type":"item","numeric-id":5387839,"id":"Q5387839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f7889ecbd0cda8fb383489a6d7987cab6488464","datavalue":{"value":{"amount":"+0.8556839","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3698284$390FFF2E-D3AF-47CB-9EAF-AC799124FA2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95acf8e10a5ad53da08c82a528962d29a57540c1","datavalue":{"value":{"entity-type":"item","numeric-id":5709986,"id":"Q5709986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96b6c3f2cb5a7f3fdfe3a8e78aa7391acc97e044","datavalue":{"value":{"amount":"+0.8517879","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3698284$9939D591-09F9-4121-9AD9-DF1A6D5116F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01c1e97cc66915d1d156aa89fdeebe15562f7e16","datavalue":{"value":{"entity-type":"item","numeric-id":1813969,"id":"Q1813969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91e6e577c46c0f97094d90c577a920e24848eb4d","datavalue":{"value":{"amount":"+0.84937173","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3698284$4A189E94-3848-4720-99EE-F39E0D26F396","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"370660d831f4fc575191f490e9add44acc79d1bf","datavalue":{"value":{"entity-type":"item","numeric-id":5216340,"id":"Q5216340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45d02dd37837c2438c155e2516a70ab0ecab558d","datavalue":{"value":{"amount":"+0.8484907","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3698284$1B88C422-CEB8-4A5D-B514-16FF4394AB42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3eef440178d75a9255980807f736445ffe4363b0","datavalue":{"value":{"entity-type":"item","numeric-id":5432346,"id":"Q5432346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"720f1eb9f3bcd3a723edef27c5a2f15ede9b74ac","datavalue":{"value":{"amount":"+0.84732246","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3698284$3B5506C1-D830-4113-A095-045136303C12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da8913ebb0a3c91f549c40ab7c824e5e4dcf413c","datavalue":{"value":{"entity-type":"item","numeric-id":4933276,"id":"Q4933276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a4da037f8c629961be37e6e7899f5b576757822","datavalue":{"value":{"amount":"+0.846862","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3698284$5CE2FCC9-48CC-4817-8A43-BC9E08B19D01","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3698284","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3698284"}}}}}