{"entities":{"Q820135":{"pageid":821983,"ns":120,"title":"Item:Q820135","lastrevid":64616901,"modified":"2026-04-11T21:05:38Z","type":"item","id":"Q820135","labels":{"en":{"language":"en","value":"Algebras of modal operators and partial correctness"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5017464"}},"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":"Q820135$88934AF5-B2D4-4EBB-B39D-26A75702E95A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"135e67f4c7d76328f4a778daf9ec2ec7380fc2c8","datavalue":{"value":{"text":"Algebras of modal operators and partial correctness","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q820135$EA54FE1C-4391-497E-9136-DD513B4C4905","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a5234ac0673576ff96726929a405a8b4b30a2b5c","datavalue":{"value":"1086.68082","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q820135$B4CBB197-A59A-4956-A8A2-024F6C502018","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9460bd561e5fd140c91ed222cac6d9f6f30d6e40","datavalue":{"value":{"entity-type":"item","numeric-id":299199,"id":"Q299199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q820135$2DAEAF77-BA69-4213-B397-1E866C7F7E47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"eb27aad50a775f188aa99887f496d209cf025869","datavalue":{"value":{"entity-type":"item","numeric-id":299200,"id":"Q299200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q820135$1AD1D536-4529-45B1-A10C-8C950C2F0591","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q820135$4647B8E8-8A83-4FD6-A497-FECB03DC54FB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f7b5cf394bcdbe8afe258f05ea5234af0f11a462","datavalue":{"value":{"time":"+2006-04-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q820135$BE40A317-08AA-4398-A551-59441819196B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7d791e9e21f71fd0ca331fc236ec2343b362e6ad","datavalue":{"value":"https://opus.bibliothek.uni-augsburg.de/opus4/frontdoor/index/index/docId/39151","type":"string"},"datatype":"url"},"type":"statement","id":"Q820135$B98E3D63-4199-4AB8-8891-5053B3A87C44","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q820135$65FCC0E5-9F5F-4CEA-9C1C-ED6F15ADBA27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q820135$1CEC8692-A1B3-42F6-A350-8FD3CF6BF2DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q820135$DABE1B9A-68E2-4AD0-B9EC-7591E4519093","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0adde20b47a91f4e03c442468f7b461a73f3546e","datavalue":{"value":"5017464","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q820135$70026C46-9F3C-45EE-99A4-033BDFB213BC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3a6b28706d72e31c003ae9a5f1cddb4e776c4a0","datavalue":{"value":"semirings","type":"string"},"datatype":"string"},"type":"statement","id":"Q820135$678D39C4-8D68-4DDF-8C19-5B6A0734D7B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5dce58886ffc63b5facc93c53510fce5628bb35f","datavalue":{"value":"Kleene algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q820135$B5EE0505-7584-459A-A5F4-12753ADC5A83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a0a8905d4045caff905ea8a34fc97ed231c397e","datavalue":{"value":"modal operators","type":"string"},"datatype":"string"},"type":"statement","id":"Q820135$5B5F62B6-18EE-4F4D-8E5F-A268D455C209","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24c0946ca1c7cece261e7cb3d3e9af5ea3b79649","datavalue":{"value":"partial correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q820135$7F78B49D-3DBE-468F-B9FF-88FD08B3E756","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8649681bd6e022af57b527d538b7a92c7e6b6e88","datavalue":{"value":"Hoare logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q820135$832A7301-E6FD-4309-88F2-8FDBD8B24E2E","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":"Q820135$F5449580-0710-4943-AEDA-933131890C28","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"db3e5ccbf39c33c54342d46cea49747574facc64","datavalue":{"value":"W2016732604","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q820135$D8E425E9-090F-4EBD-951B-0E1B1816067B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f33a97eaed430490b1baf5412c0903d90b4fa4ea","datavalue":{"value":{"entity-type":"item","numeric-id":4344071,"id":"Q4344071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q820135$8F486434-4873-41B1-877D-837D196FAAFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c35ea5e5703bc4fc3d109aa2432fc865a417557b","datavalue":{"value":{"entity-type":"item","numeric-id":4286527,"id":"Q4286527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q820135$7AB7A84E-4261-4F8C-9BBA-4F47D1434A07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75e20f649ee163fc027b520d68f4bd0a0844cef5","datavalue":{"value":{"entity-type":"item","numeric-id":2721093,"id":"Q2721093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q820135$A7FC1173-7162-41CA-90D7-214B81E72EF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1dcaba85eaf9b02283987ee8f5ec2f8f6402ce65","datavalue":{"value":{"entity-type":"item","numeric-id":689297,"id":"Q689297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q820135$5EAA9CA5-B9B3-4CD8-B91F-3EDBAE76C2FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2fa46b7cee5c5e0f264b7ff76a300c1c44de992","datavalue":{"value":{"entity-type":"item","numeric-id":1602558,"id":"Q1602558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q820135$480DD045-A733-45EB-BC24-88B1451FDC2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3dc7b6c6a1afaedfcbece847a7b39f21038d8764","datavalue":{"value":{"entity-type":"item","numeric-id":4673439,"id":"Q4673439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q820135$6C64432A-2949-4D59-A58F-BB05B41665C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c08dc42b0e7ff775d175e9650bc18837bb9e6bc1","datavalue":{"value":{"entity-type":"item","numeric-id":5277765,"id":"Q5277765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q820135$C0C70E18-9D3B-4B88-9B9C-17C785D09B4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c55598f89344da2f046eb67e099f2de3d208b346","datavalue":{"value":{"entity-type":"item","numeric-id":1890040,"id":"Q1890040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q820135$A83A691F-C848-493D-9644-0E4121335FA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2790188d3a2572a99d3b8280868598d27c040965","datavalue":{"value":{"entity-type":"item","numeric-id":4525781,"id":"Q4525781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q820135$9E459DCC-A8A0-45F7-A5AC-0C0D4A9DCB7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f898a236e8a2ae4e36da9dab850b67fb635ce60","datavalue":{"value":{"entity-type":"item","numeric-id":5810598,"id":"Q5810598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q820135$C7C22643-758F-4918-AB1C-EB63E496D57D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bcc11302650095b8014b4cfac23c2bd493ca57fc","datavalue":{"value":{"entity-type":"item","numeric-id":3358736,"id":"Q3358736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q820135$C1DD27A7-BE83-4B22-B3C2-079E4DD8EEA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7ecdcca463445112101708876695eded3f30222","datavalue":{"value":{"entity-type":"item","numeric-id":1327385,"id":"Q1327385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q820135$4DBCD440-7718-497B-9E5A-429CC1F4C84D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e13d4d25d9b41b80813e9e3772d78e6f24c19a44","datavalue":{"value":{"entity-type":"item","numeric-id":5738898,"id":"Q5738898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q820135$1A57AE33-F174-4994-BBA3-77C8A55A31DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1eae5d6481154879cc2cbd2005769eaad383b8c3","datavalue":{"value":{"entity-type":"item","numeric-id":1881264,"id":"Q1881264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q820135$C8291009-5462-428D-A990-DB62067A456C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bc7c80135ed65b38d7fef7c0e832d27cd87588f","datavalue":{"value":{"entity-type":"item","numeric-id":3995530,"id":"Q3995530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q820135$7BE80C2C-A073-48E9-BFE7-002CFC58DDDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"840f10b74b3251f2ef1aa54a3b4f816266965f49","datavalue":{"value":{"entity-type":"item","numeric-id":5313089,"id":"Q5313089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q820135$EC78D233-5E56-497F-BCD7-441CB08E5E85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45835cd6a83f44ca0257e79795807758369015ac","datavalue":{"value":{"entity-type":"item","numeric-id":5312995,"id":"Q5312995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q820135$5557C757-E43A-4E4F-9C77-25A3D2D21AAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ace79583a1d2ed52952e2d9ce828b653abb4c6b1","datavalue":{"value":{"entity-type":"item","numeric-id":1189900,"id":"Q1189900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q820135$57E7789E-6FAC-4DD9-B6FB-E782B47A3BE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbc106b731042db90c61107a1945c225e20e2508","datavalue":{"value":{"entity-type":"item","numeric-id":5287518,"id":"Q5287518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q820135$4CE10DC9-986B-4A40-8376-537017D5D5D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"334936aa136fd6e6bb0d4a8a36cd728182312d7d","datavalue":{"value":{"entity-type":"item","numeric-id":4236210,"id":"Q4236210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q820135$BD9CA14D-AC63-47F2-9E30-58C1E080AB4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4cd1ee8ddef8c3617a21c4911ab4abb48a578a69","datavalue":{"value":{"entity-type":"item","numeric-id":4808696,"id":"Q4808696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q820135$3D93593F-E541-432D-B94A-4E77A04D1B0D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4744cc65ad47f0ff31000d43ae70dd7441eeb361","datavalue":{"value":"10.1016/J.TCS.2005.09.069","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q820135$0E6004E6-249E-44AD-A65E-29600A00D6D0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8a57657f66d1f9b9f24efdb74b7bfaae695967f","datavalue":{"value":{"entity-type":"item","numeric-id":5312995,"id":"Q5312995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac6c9e68d922ae459fd787606826aadf6ad1ab47","datavalue":{"value":{"amount":"+0.9556871056556702","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":"Q820135$586B23E5-2241-41C9-8F6F-17E0C96D00EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2618efea89b8ac42f420f233d84c1b7796adac0c","datavalue":{"value":{"entity-type":"item","numeric-id":2281640,"id":"Q2281640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"723860439b0c2204a6051426f9db5c9e4273cc9c","datavalue":{"value":{"amount":"+0.835053563117981","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":"Q820135$A21FC9B7-4241-4DCB-AE48-3E59E8CD4B12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b796a81e43403d15b61c9fefc0ff5c6a1e95d5c","datavalue":{"value":{"entity-type":"item","numeric-id":3521996,"id":"Q3521996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48ae180b24bfbdf74c58efe632c36046ab0075af","datavalue":{"value":{"amount":"+0.7729207873344421","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":"Q820135$7A3B718F-D80A-4C44-B156-3061B70F03B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ac10d3dbb3e1d7ad268ad4727aa76d77ebf426c","datavalue":{"value":{"entity-type":"item","numeric-id":817579,"id":"Q817579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a458e37963cbb9b1d2af5205f4b8ea19a0bea80","datavalue":{"value":{"amount":"+0.7603985667228699","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":"Q820135$17B62E1A-8712-4E3F-A8BE-858A8E3CBE7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b448852c958cdb0ecc2c93f211b0e5409cc6066e","datavalue":{"value":{"entity-type":"item","numeric-id":5410477,"id":"Q5410477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba65164db5d73ff6fb29a2e1b8fb75ea2c504564","datavalue":{"value":{"amount":"+0.7547879815101624","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":"Q820135$5FB53A59-D82A-4A6D-AD65-CAC6C2143D73","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Algebras of modal operators and partial correctness","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Algebras_of_modal_operators_and_partial_correctness"}}}}}