{"entities":{"Q1023294":{"pageid":1025142,"ns":120,"title":"Item:Q1023294","lastrevid":69628551,"modified":"2026-04-13T08:18:53Z","type":"item","id":"Q1023294","labels":{"en":{"language":"en","value":"A Minkowski type duality mediating between state and predicate transformer semantics for a probabilistic nondeterministic language"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5564234"}},"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":"Q1023294$6E2244E3-66B4-414A-97BF-A096222DE5D8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"09b6597e26ac614100ee9999f30ce5e63f3f0d4b","datavalue":{"value":{"text":"A Minkowski type duality mediating between state and predicate transformer semantics for a probabilistic nondeterministic language","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1023294$68F25A88-8935-4CCC-B24A-D737A7920AD8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"88e076e4e2eb9b44cf9c8cf3a5bb40a5adde0681","datavalue":{"value":"1167.68034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1023294$4BFFE99C-EB71-499D-A0E8-F13721F98C7D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c722b18062e530983ece38a50cd0cb269a2811aa","datavalue":{"value":{"entity-type":"item","numeric-id":371256,"id":"Q371256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1023294$883B226A-0784-421C-9AFE-28BD4149B14E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"161f1155817cedb591ea8c5b07c833bd18272939","datavalue":{"value":{"entity-type":"item","numeric-id":541216,"id":"Q541216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1023294$1DECB9B1-5564-40F2-94D2-CE63B6BF0BF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fadd7c9edb175c39860a7070bf646e2e9cc896ac","datavalue":{"value":{"entity-type":"item","numeric-id":165871,"id":"Q165871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1023294$AC6AC7DD-6642-4511-8016-7F01DD79B5C0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1023294$25B78C19-20FC-464D-B13A-0575E757432D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"476bfa1eca806cbbd7c0c525c26fe211bba5b0be","datavalue":{"value":{"time":"+2009-06-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1023294$29BE8652-12FD-4046-ADF0-BBCA5D227C43","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1023294$587BBB53-F0F5-496B-AA14-64E35D95781C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8ee19fabfda925f5a843f98ef3568b8466bdd8f0","datavalue":{"value":"06B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1023294$A67746A5-FB7D-40E0-8DEA-0F0FD3827629","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1023294$945758F7-E019-4F93-98F2-653D6DCB743D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"999610a0311d73dc2f99b4acc0846f40ddf978bd","datavalue":{"value":"52A07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1023294$F23AD119-007E-4F62-B59C-365D881FCE82","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ca1dfcde76a01f05371bd83c9ea73136f37a0554","datavalue":{"value":"5564234","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1023294$60CF57CD-7E28-4CF4-AC27-6ECB85FC1F2B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1023294$954095E3-D109-4A81-8025-6923FB1BF326","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"77578110d62f41cfaa121472e4693820502b8160","datavalue":{"value":"probabilistic nondeterministic language","type":"string"},"datatype":"string"},"type":"statement","id":"Q1023294$EA423A90-138B-45F1-A430-1ABCA0A92EA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"32c7ccefc1f12473be98f4b71fe5db10caf65d96","datavalue":{"value":"Minkowski duality","type":"string"},"datatype":"string"},"type":"statement","id":"Q1023294$22D247A7-A9D9-473B-B24A-31B792F1204C","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":"Q1023294$B4422DB7-CF20-4B17-8403-A2D5DE05EFE4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4ebd90ac6afb1cdfaa1795921a4308586dc05f28","datavalue":{"value":"https://doi.org/10.1016/j.apal.2008.06.020","type":"string"},"datatype":"url"},"type":"statement","id":"Q1023294$CF28E4F5-D980-4E4F-AF3D-FE1C3C825A60","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"453c4f58b34dde782405086f64b08a872d4b20aa","datavalue":{"value":"W2006166370","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1023294$254E22F8-BAEC-4D56-B785-C7E272B09D76","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"23eb2407f5476ca1216e796189f27de1b8b868d0","datavalue":{"value":{"entity-type":"item","numeric-id":4813222,"id":"Q4813222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1023294$08B27D29-E50C-4835-92CB-4FF779539965","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9db762cc0f08fb652d186856f54bfcc71614a4e1","datavalue":{"value":{"entity-type":"item","numeric-id":4787439,"id":"Q4787439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1023294$57C0D1F9-2717-4B41-BA46-1267EA807F1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b15fe46c86d65b948da2460833dc71e09cb9911","datavalue":{"value":{"entity-type":"item","numeric-id":3636909,"id":"Q3636909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1023294$2B039F64-030F-4A63-9C57-5EF076787C33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c1591307efdcfd25c5361ed6b6bc0d30639a1f8","datavalue":{"value":{"entity-type":"item","numeric-id":4650346,"id":"Q4650346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1023294$4921B5F5-7B44-4222-916B-02406CEC3EF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a47ee12f4bcf41dd0ddcd6bc6af43e562c9669e","datavalue":{"value":{"entity-type":"item","numeric-id":5925822,"id":"Q5925822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1023294$6B6950AF-936F-4B58-A795-46246F7C9787","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e70a46df6bd961b87332072844cab9b2ec8e762","datavalue":{"value":{"entity-type":"item","numeric-id":5958768,"id":"Q5958768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1023294$B26A1424-62BD-464A-934C-77BB2C8743E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a00b9668e64fb5e559efd1831f417d632f1180e5","datavalue":{"value":{"entity-type":"item","numeric-id":3316563,"id":"Q3316563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1023294$7EAD8FCC-B63E-4FD8-8F43-555D3422F3FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2144fe5495fdeccad8e3a872dd20d5cc6bcce44f","datavalue":{"value":{"entity-type":"item","numeric-id":3415205,"id":"Q3415205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1023294$FB84FA8C-C374-4709-9EB6-62EAD4E6BD20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4975d1abb2d17eced8cec872019842496981d896","datavalue":{"value":{"entity-type":"item","numeric-id":371258,"id":"Q371258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1023294$0592ED91-0C6F-4DE5-A345-C8676693149D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb4e2dd0ea9fa64a69b9ee234360e918161f1caa","datavalue":{"value":{"entity-type":"item","numeric-id":1133715,"id":"Q1133715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1023294$E655754F-D840-4225-B9BD-ACD3DBEB4132","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b912d4071375d8fc11d6e2fdb666ca8bead2c46f","datavalue":{"value":"10.1016/J.APAL.2008.06.020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1023294$D3178344-EEBB-4A75-A18B-A2BDFE373F23","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63a0e5b54895453883cb57dbbec709f98a7e6971","datavalue":{"value":{"entity-type":"item","numeric-id":541217,"id":"Q541217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9464676f6d5f66e5f1aafd78a11bed19e140440f","datavalue":{"value":{"amount":"+0.86271524","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":"Q1023294$33300235-0640-4CEE-BBAD-7BA63D273E70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e101652da24a263a8b807117980cb7f3509644aa","datavalue":{"value":{"entity-type":"item","numeric-id":3636909,"id":"Q3636909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6137e0cc260527a85dcf53eb3a162f568e7bfcd2","datavalue":{"value":{"amount":"+0.8618192","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":"Q1023294$40FD3B05-342F-4A19-AA17-632DA788B1DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe241cc4f5bc300a1c2f7c0969236b632540481e","datavalue":{"value":{"entity-type":"item","numeric-id":1744386,"id":"Q1744386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bee6d55cb8503efd62dd31a6e44560e5ebd9e470","datavalue":{"value":{"amount":"+0.8370746","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":"Q1023294$B646009C-3EFC-4DE5-93BF-C1B19A68F7AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eabe297029d1aa7d1e7d88bf5a9c610c7ec95bf3","datavalue":{"value":{"entity-type":"item","numeric-id":4914521,"id":"Q4914521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae12c430b70a8af35fbe910dcd0f179786cf4d1d","datavalue":{"value":{"amount":"+0.8360853","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":"Q1023294$9078EC67-3663-485C-8A2B-89582D0DA5C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6d84552d15a17b2bcf71a91e6755b5c911c3d38","datavalue":{"value":{"entity-type":"item","numeric-id":1623161,"id":"Q1623161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"109b9ed61db66a6c286f61f71003b697e48e152a","datavalue":{"value":{"amount":"+0.8330928","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":"Q1023294$7FF66CD9-2FFD-4F79-99B9-052697CA5ABF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a6a054d4f8eeb5a9e2f73b79101532640b8fb86","datavalue":{"value":{"entity-type":"item","numeric-id":3543013,"id":"Q3543013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e9a496fe1fa4c867a8b9847f63f3296b811a9d9","datavalue":{"value":{"amount":"+0.8252011","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":"Q1023294$359F31D4-4702-47DF-A62F-5FB759F679BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e4f74c138600e6d5d197eadffeae912c24ccbea","datavalue":{"value":{"entity-type":"item","numeric-id":2133180,"id":"Q2133180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec78f9e7620148a463746b8372a6f94769bfeee3","datavalue":{"value":{"amount":"+0.82004523","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":"Q1023294$C81C9C8F-83EF-4AAD-8C7F-8852E2B642B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67d99b244a316fbabbd3de84fb39d7f40f80ed78","datavalue":{"value":{"entity-type":"item","numeric-id":2576951,"id":"Q2576951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58730ff163430d4a057f1f57f99d4e4d78b46d9f","datavalue":{"value":{"amount":"+0.81906885","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":"Q1023294$7CF64325-D5B9-49DA-BA67-661E3A71DA84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b67969910583224a3306c0e15d490bca1fb01f3","datavalue":{"value":{"entity-type":"item","numeric-id":3569038,"id":"Q3569038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4b43c8972901021d1fd0936832825b8e515e5ae","datavalue":{"value":{"amount":"+0.81758666","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":"Q1023294$F3511717-0071-48F7-9130-513C79F4525E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A Minkowski type duality mediating between state and predicate transformer semantics for a probabilistic nondeterministic language","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_Minkowski_type_duality_mediating_between_state_and_predicate_transformer_semantics_for_a_probabilistic_nondeterministic_language"}}}}}