{"entities":{"Q1195491":{"pageid":1206240,"ns":120,"title":"Item:Q1195491","lastrevid":66458151,"modified":"2026-04-12T10:12:01Z","type":"item","id":"Q1195491","labels":{"en":{"language":"en","value":"Weakest precondition semantics for time and concurrency"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 69906"}},"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":"Q1195491$67754BAD-A49D-4D34-9450-798ECF858E04","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c92bbcdb150a1886712acd4225227724f7ed7fed","datavalue":{"value":{"text":"Weakest precondition semantics for time and concurrency","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1195491$1A967B9F-8EFF-4A59-9B53-B850251514F3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fbd337a291f5ef3d20c4b6124b5839daffc265d7","datavalue":{"value":"0769.68086","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1195491$572DC508-CD66-46A8-AEFB-C15DD7ED12F1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"32d5687e7acd19fbb9650e7d65b264b8be2b2e56","datavalue":{"value":"10.1016/0020-0190(92)90116-D","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1195491$2CD7AA9D-88A2-4CB2-A14C-C17A3587B21D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6074bda31dfee7ee937ed32d92a47eaa26669615","datavalue":{"value":{"entity-type":"item","numeric-id":1195490,"id":"Q1195490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1195491$09C2412E-007B-4886-9574-64444B472775","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"598573a1a110400355ee020d90c393bba0b6f0ba","datavalue":{"value":{"entity-type":"item","numeric-id":1331922,"id":"Q1331922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1195491$9A59583A-F4CE-446A-AE8E-AD3F99568143","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1195491$B4E699A6-AC1B-4D21-AFC2-0F43BCC65615","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d44c2d8c80041f7eedbef8284dd08df3365184fd","datavalue":{"value":{"time":"+1992-11-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1195491$D1634D5C-CE2B-412D-9E1E-7CAADBE6F7F7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1195491$0569EDE1-BFB2-4F25-B058-9124CE218813","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1195491$D5A0F642-F9B2-4748-AE4D-811C9F8E057A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6c5b2e1f418797bbf4c9986444891007613f04bc","datavalue":{"value":"69906","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1195491$ABE94C91-CED7-4930-A22D-B75E76A75325","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b4804225ce369eb1d5773935b377190245c3fb8","datavalue":{"value":"formal semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1195491$1378BE05-6D1F-41ED-A1A6-E32357228227","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d42570b3f07ce49731c7e0056d1267e6d7e49d53","datavalue":{"value":"real-time systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1195491$430D813D-D14D-4A1F-B12F-17948DAC2E44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q1195491$F9AE157E-5382-4AFA-843E-4069DA624D7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c179f8c203fc5bae4a5efa6ac2691005add7690","datavalue":{"value":"weakest precondition semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1195491$CAAF4454-5603-4D38-A903-1AC94BC1F40F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c12f790e72eb32dee761c5893204f4bd664b745","datavalue":{"value":"real-time concurrent language","type":"string"},"datatype":"string"},"type":"statement","id":"Q1195491$9BB1FDB7-DD60-4792-AB36-BDEE55D132D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1195491$4F288D89-3887-4905-8B73-563B840FC771","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"728818d2de29d948f096f35c669fa7265b9147f5","datavalue":{"value":"predicate transformers","type":"string"},"datatype":"string"},"type":"statement","id":"Q1195491$0EFC0E96-8AD8-45A5-A192-A569EB9F4204","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40e17a7cb8710771acd5402f91cff6ae2c7d64aa","datavalue":{"value":"refinement calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1195491$CDAC642C-46FB-4FDC-A60D-3D8141BF8D99","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":"Q1195491$191A471A-85CD-429A-AA80-1A24606E5B2E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"67b8a6374b4fc895d89506f759c76e54380f8254","datavalue":{"value":{"entity-type":"item","numeric-id":4144755,"id":"Q4144755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1195491$18224A70-2C6F-4383-933E-609C4A9250A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"323dbd6fd6973b3663055cf97da83be885dd9ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5569944,"id":"Q5569944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1195491$AE536203-3254-4BF9-BA77-623F2E24D96D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8576dc8df0d7857399ab718724b601efc6d9d7d","datavalue":{"value":{"entity-type":"item","numeric-id":3996918,"id":"Q3996918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1195491$8A87ECDF-70F3-4411-825C-A1B0894B3F6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db45f234f354c516e6967660fb11814401792350","datavalue":{"value":{"entity-type":"item","numeric-id":578892,"id":"Q578892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1195491$A786A4D7-A48C-4925-9164-4619C6E4531C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41fcdd401a43a17fdfdfd94fa142ffb706514db8","datavalue":{"value":{"entity-type":"item","numeric-id":1815342,"id":"Q1815342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1195491$F15686E6-C6C7-433A-8B89-7E5D276AED87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f7c13dab0f2d311a0faf57c4f2c5df8edc60ea1","datavalue":{"value":{"entity-type":"item","numeric-id":1195491,"id":"Q1195491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1195491$5B465E76-74F2-4DDD-9E17-4F8A42F1468C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8c0892bb8583cef5ef37671dcab53031e89deb29","datavalue":{"value":"https://doi.org/10.1016/0020-0190(92)90116-d","type":"string"},"datatype":"url"},"type":"statement","id":"Q1195491$111D2B8A-20C2-475E-BC2E-F467CC4A219B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a628b3e689456f4aac8cb4708521309427b199ca","datavalue":{"value":"W1981930797","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1195491$3317C12E-1463-4657-A5A9-28E24B523DE9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f4ed5f4daea942b59c8d279fcecb4d9b6135ab2","datavalue":{"value":{"entity-type":"item","numeric-id":789174,"id":"Q789174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7fce56369b3d1d45fc263937df198c10400c1c6","datavalue":{"value":{"amount":"+0.8819455","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1195491$7AC94CE0-DF8E-4F42-9379-8609DB470F3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0efb2d79c95d561d2c0fb3c26ea62d2b27ca9f31","datavalue":{"value":{"entity-type":"item","numeric-id":3126162,"id":"Q3126162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7400c171e4f83104aa14ba1efee3c4f61c4993b7","datavalue":{"value":{"amount":"+0.8711393","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1195491$23A44368-6D51-4EB8-B69A-6CC32644A681","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63f185c6dd97d03514a61078650774326459ad14","datavalue":{"value":{"entity-type":"item","numeric-id":2767177,"id":"Q2767177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06d5648b4c88a76f24145897f2cc7257578d9b77","datavalue":{"value":{"amount":"+0.8692476","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1195491$185A7E11-3F33-45C9-AF5C-ED2866AE0E15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59559767141003304d4d46434d3ab270f16aed32","datavalue":{"value":{"entity-type":"item","numeric-id":3541980,"id":"Q3541980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"975a75984be5a45b37b3b8243df078393f425758","datavalue":{"value":{"amount":"+0.86534035","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1195491$6031D2DF-4269-4E1A-A327-DAFD89D55C7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d4326bf16d6b2a89318ee01a2d9957ca16e1fcd","datavalue":{"value":{"entity-type":"item","numeric-id":4038673,"id":"Q4038673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9445e45782729e9f7b30622aec408f29451b837","datavalue":{"value":{"amount":"+0.8637098","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1195491$D64E9A33-88A7-4CEF-94FC-DD6C6EA81CE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6616e42a94ca68aa391a8e65d21ed4275c8a2512","datavalue":{"value":{"entity-type":"item","numeric-id":2852161,"id":"Q2852161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba4042477a4e5611d1ff4ada98c4fc1e54bad567","datavalue":{"value":{"amount":"+0.8611935","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1195491$8288541B-1D36-413E-998A-6AEEB4494101","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4fee3f52920a8fadd8a64a81e90da53fea35785","datavalue":{"value":{"entity-type":"item","numeric-id":4035260,"id":"Q4035260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90770f0278ab10b80b9e09cbaad0cab577140634","datavalue":{"value":{"amount":"+0.8563717","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1195491$ACFF3F22-24A5-4AFB-AD7B-E3F5104F1A4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16ee3c3a23d51f4b4342339ba02f16c06b7d06df","datavalue":{"value":{"entity-type":"item","numeric-id":1346768,"id":"Q1346768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f025c22583e67b5eb3bea8acd5ff467e68f6bfa3","datavalue":{"value":{"amount":"+0.8561522","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1195491$A8DCB755-3438-4032-BBCE-56A3D93FBA34","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Weakest precondition semantics for time and concurrency","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Weakest_precondition_semantics_for_time_and_concurrency"}}}}}