{"entities":{"Q287006":{"pageid":288773,"ns":120,"title":"Item:Q287006","lastrevid":60761937,"modified":"2026-04-10T18:58:19Z","type":"item","id":"Q287006","labels":{"en":{"language":"en","value":"Non-deterministic expressions and predicate transformers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6585384"}},"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":"Q287006$FDD9606F-E2FA-4304-972C-19BE4272EFF1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"db33f3381c868eb506da92a6f775756263d70afc","datavalue":{"value":{"text":"Non-deterministic expressions and predicate transformers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q287006$995795E7-D544-481C-A195-9800D217E7C3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bba9ca654dd689bb382fd6f83b4e1eb994104391","datavalue":{"value":"1336.68039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q287006$0BA4B6DE-944A-437E-A3C0-196554167BD4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cc351c60dd183e32a049087b71cd757d7d41e2b8","datavalue":{"value":"10.1016/S0020-0190(97)00023-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q287006$EECD48DB-5026-465D-8FEB-62E8E2B2C919","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0cb891ece4818441cde8911c125cbd2b830b8c8e","datavalue":{"value":{"entity-type":"item","numeric-id":199021,"id":"Q199021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287006$CF6FB5B6-5E71-4C4A-8E15-6DE50B1EB0A6","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":"Q287006$CAD56306-B73A-44DD-A0D3-933AB0DE42CB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b626bb78b3e93b3076e6958296f7f25e2e74c3ab","datavalue":{"value":{"time":"+2016-05-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q287006$F69EB975-1A60-40DA-B5C9-FDDF176BD948","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q287006$1A170A75-7FD6-414B-B592-43FC1B3E8D3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q287006$752FD19D-8DD8-4A26-8570-3AA55BE7EA68","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2e99515e405ab9a92498c93b803b8642007cda4e","datavalue":{"value":"6585384","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q287006$613E7A2F-DC47-4F67-9A5F-504E248C7A97","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"996c18efd8b709952c42a9b60ca92bdde8e732b7","datavalue":{"value":"nondeterministic expressions","type":"string"},"datatype":"string"},"type":"statement","id":"Q287006$2DCD2B2B-534A-448A-BBB5-62C5924D881D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"199c60de1e7b1805727a447210896226c6321a81","datavalue":{"value":"weakest preconditions","type":"string"},"datatype":"string"},"type":"statement","id":"Q287006$D37336FF-1799-4817-B997-E071F89FF2A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40e17a7cb8710771acd5402f91cff6ae2c7d64aa","datavalue":{"value":"refinement calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q287006$0AE268AF-65CE-42B4-BC48-60F927FE7A40","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":"Q287006$6FE161A7-B831-48EA-85B0-3B1A78D5CFD4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7469a14c6b3d5214a08da9b6d9960375ad8bda98","datavalue":{"value":{"entity-type":"item","numeric-id":3898009,"id":"Q3898009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287006$7135F0BF-9FA0-4641-8384-E8C69B90E0A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd265bdbcf41f2b9982b655d7aaf44e4072217fa","datavalue":{"value":{"entity-type":"item","numeric-id":4692630,"id":"Q4692630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287006$31BA0A9F-8779-4D5F-A702-F4E6302C4F20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e47b8c90d45ee285590b1a168a8503851fe5b134","datavalue":{"value":{"entity-type":"item","numeric-id":3925859,"id":"Q3925859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287006$062BFC9C-FFF2-4F22-9805-4108D125652C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0098a5fe2361769e56c2cf3f68bbb09f228b1905","datavalue":{"value":{"entity-type":"item","numeric-id":1338893,"id":"Q1338893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287006$7B183BC7-7325-49A0-8C0E-3523B916AD21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3848fd2fe82c4b22bbf0235c93541c26ac6ff33b","datavalue":{"value":{"entity-type":"item","numeric-id":1911315,"id":"Q1911315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287006$50E8BC7E-B6D9-416F-A3AC-5BCD91992B4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"943a523b7cbb0aa1180e62f02172f23674d20d4b","datavalue":{"value":{"entity-type":"item","numeric-id":3746866,"id":"Q3746866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287006$D5F36DE3-E04E-4789-B2CE-347227DD0194","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":"Q287006$0EC518B4-4EFE-4562-840F-1E4A37CAF4E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1507e89249a1de55517ce4d285fede07a7ff01ee","datavalue":{"value":{"entity-type":"item","numeric-id":4692467,"id":"Q4692467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287006$3C9E8AA2-6E0A-4644-AF39-8370640D4644","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f168fec2b2f92053db18147f13093bd678cdf7b","datavalue":{"value":{"entity-type":"item","numeric-id":4281675,"id":"Q4281675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287006$AE6AF1AB-1637-44CB-8742-2EA872EACB61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c25b023be872580f400ebe654bc1e9432ace3abf","datavalue":{"value":{"entity-type":"item","numeric-id":911750,"id":"Q911750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287006$24FAFF36-194C-4A73-B7A3-188F8DBD1EE2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c60706c3e7f76580ebae914508f3fd28c6d55158","datavalue":{"value":{"entity-type":"item","numeric-id":3341863,"id":"Q3341863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98a61dd230353a7286a9bba930e97e1ebba103b0","datavalue":{"value":{"amount":"+0.7692383527755737","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":"Q287006$D1027B98-A591-4054-8181-EA4750874681","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0388170cd34af3ec77e53560a1e6c1dfcb5f5ba","datavalue":{"value":{"entity-type":"item","numeric-id":2841262,"id":"Q2841262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3413ab6b10799e0000c18757f88d4e7a792341ce","datavalue":{"value":{"amount":"+0.7672349810600281","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":"Q287006$D33E563C-4609-460C-BA5A-86B61D716EF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3eb3d6bb76559ad0a172b76c02077caaf0e0e92c","datavalue":{"value":{"entity-type":"item","numeric-id":5313088,"id":"Q5313088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a5509c59020b2720b2fb5a31961f8cdc2612ad7","datavalue":{"value":{"amount":"+0.7656768560409546","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":"Q287006$B2239C78-3442-4BDC-B762-CE20B291E7EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"070be8014f9fa1d5144a124153513a7ad9916e87","datavalue":{"value":{"entity-type":"item","numeric-id":4250665,"id":"Q4250665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1132753325b43040940b97734bd46a5f9a7c06b","datavalue":{"value":{"amount":"+0.7579116821289062","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":"Q287006$2515DAAE-9D1F-4A72-A766-F4F954FA9969","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"819214126c1c94e9b067a06e7484d2b50529a1eb","datavalue":{"value":{"entity-type":"item","numeric-id":4362886,"id":"Q4362886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39b1dfd3dc1dadab019235080514d9078e21941c","datavalue":{"value":{"amount":"+0.7571670413017273","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":"Q287006$A21B6A17-6441-42C6-BEDD-FA162F81DFA1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Non-deterministic expressions and predicate transformers","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Non-deterministic_expressions_and_predicate_transformers"}}}}}