{"entities":{"Q472733":{"pageid":474500,"ns":120,"title":"Item:Q472733","lastrevid":62085981,"modified":"2026-04-11T03:40:41Z","type":"item","id":"Q472733","labels":{"en":{"language":"en","value":"PLQP \\& Company: decidable logics for quantum algorithms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6371354"}},"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":"Q472733$1B4DE9B8-8E97-479B-93C4-C4D64D75FD54","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"717e97089b5cb533a1739fce293e3ba9abb00741","datavalue":{"value":{"text":"PLQP \\& Company: decidable logics for quantum algorithms","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q472733$217652F8-8295-48AD-AAFD-70BE01A490DA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a5e8132abde91055e4db29a9b8ab7ed7338e5c48","datavalue":{"value":"1302.81082","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q472733$F28FE9AF-C1BF-414F-9A5D-58E49A46D6FA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f0e87c5933c7d6b93527db68583300635933dbc0","datavalue":{"value":{"entity-type":"item","numeric-id":266637,"id":"Q266637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q472733$04CE33F1-EA42-411D-983E-57C713CF24A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"60766a3f3637a5b4ce3085e6826d61ac6ea7500b","datavalue":{"value":{"entity-type":"item","numeric-id":334456,"id":"Q334456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q472733$900A442B-09DB-4D84-8D5E-2FC61A5E5BAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c966e7dbbd59a484367bbf8cf75fa2113f8ffd32","datavalue":{"value":{"entity-type":"item","numeric-id":426788,"id":"Q426788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q472733$0317F059-A687-4196-9C66-3CE6206C2543","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5ff52eae6e9b8af868de9695e27f0fcff9fcaefe","datavalue":{"value":{"entity-type":"item","numeric-id":266638,"id":"Q266638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q472733$5EF5962E-6721-48D1-A08D-3C60C25BEA93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9c9662aa39e53b20a02d1ad4c284e2c4c702290f","datavalue":{"value":{"entity-type":"item","numeric-id":472732,"id":"Q472732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q472733$23EBC1BF-52CA-4FBF-961F-A4E0A6C035B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bbb7ff4420b0ca83d8267abbfca4ee06cdf94c43","datavalue":{"value":{"entity-type":"item","numeric-id":1701680,"id":"Q1701680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q472733$CA5CC64F-60F2-4A93-B562-46047E800885","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"82a3be88549eb59571e2dd1afecf617032b59ace","datavalue":{"value":{"entity-type":"item","numeric-id":168494,"id":"Q168494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q472733$52444DF7-DBB9-4C46-90B7-30DE30CE22DD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c9eef5592189a73489da4c405dddbd884955f29c","datavalue":{"value":{"time":"+2014-11-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q472733$B7ED359F-A1B1-47A5-BA7F-DB875B8C740C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7af17f227fda8daecc6b4cd26e5d774fa965085f","datavalue":{"value":"81P68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q472733$6B9DED85-F471-49CC-83DC-9081CB59BF41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"572048f4de56b44bb85ac973ae26b10de9340139","datavalue":{"value":"81P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q472733$03D67017-9E6D-4DF3-B835-1E519130F105","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q472733$B6DAA428-BCB2-4B19-B2F9-99262900BF31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"37d47921a58c85c2a107636e2df4b5e33bf07bbe","datavalue":{"value":"03G12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q472733$67EBAEA3-5010-4030-AB7B-FE6723D41DAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a50ad10d859c37581a66df0bd2c759d3d47ad6a4","datavalue":{"value":"68U35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q472733$50CBB08C-D695-43E7-9EFE-98DCE46F366E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2b987dc6f44ecf1323b1cacca09f8c3ccd6e8c1d","datavalue":{"value":"6371354","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q472733$A699744D-3837-447E-8E2F-ADB1B5423FFF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"909a98476e31c6581c843469a793007a11ac33d6","datavalue":{"value":"quantum logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q472733$04DE117B-A252-4314-8BA1-798B7D7E4806","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q472733$7627CD03-778E-4190-862A-320E899EFA43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cd0a85fc687d5a2030ca309942325a5872eec67b","datavalue":{"value":"quantum computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q472733$5D7C6339-951E-426F-93B1-C0315D49BD53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q472733$A23FBCC0-4B39-47D2-90FB-92A86298AA5E","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":"Q472733$B2DE8B66-90C8-4E00-94CD-839FC6E4F2BD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"83eb62a00e4150b9a131bd8e8f8391a1b3347171","datavalue":{"value":"https://doi.org/10.1007/s10773-013-1987-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q472733$599F103D-2975-4237-80D8-4EBA0D670129","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3f2a38beb932b9927f96e165925cf2dc1aace14a","datavalue":{"value":"W2069477494","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q472733$8EB5273B-3374-4510-9E59-8E802DDEB9E0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"806883e214d43ddef8864767086842c06d49398c","datavalue":{"value":{"entity-type":"item","numeric-id":5482272,"id":"Q5482272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q472733$5AF97018-C71E-4DF7-BE5E-4703424B3D2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0282d363b4cc5e6153ec49427395b5c7dc02b7d","datavalue":{"value":{"entity-type":"item","numeric-id":616826,"id":"Q616826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q472733$CC6410A8-F760-4601-93E3-3130C96992FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d074b2f3cfba79098cb72c01203316a997c7424","datavalue":{"value":{"entity-type":"item","numeric-id":542128,"id":"Q542128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q472733$FBC1A3BC-E784-4E71-ABD0-BC62E93646B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5cef6b3c64de358dce36dccbabe7b36331cdb17a","datavalue":{"value":{"entity-type":"item","numeric-id":2825361,"id":"Q2825361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q472733$FF759ACB-9821-4BA7-A03D-70B68FCA21E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"562aa478e51d81d4ca4696dd9e47f0a3904595c2","datavalue":{"value":{"entity-type":"item","numeric-id":383006,"id":"Q383006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q472733$77730669-DAED-49DC-ACCF-8DAD1A991C77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec2601a05a1e709fca09151d43fc2b61e821dace","datavalue":{"value":{"entity-type":"item","numeric-id":1355986,"id":"Q1355986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q472733$358A13B3-0FD4-443C-964F-AEBF83A557E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18b9fec05453e32bfd19fc6f5623255486875a2b","datavalue":{"value":{"entity-type":"item","numeric-id":1887210,"id":"Q1887210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q472733$9A424032-C1BE-440A-BB94-B95753DEFD21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26e50a635182eaf4df8a3ecd7bb34af5418c1386","datavalue":{"value":{"entity-type":"item","numeric-id":5718663,"id":"Q5718663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q472733$5CE1EF93-2C19-495D-B27F-23753CD7E72A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96442ae99c2d2cfc66020220547aa3a7edcef5ce","datavalue":{"value":{"entity-type":"item","numeric-id":5756997,"id":"Q5756997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q472733$C32165D3-AD2E-4128-97E7-FED8D54CE4DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2990e15db3ec1299bacd39e760b2d345098c103a","datavalue":{"value":{"entity-type":"item","numeric-id":4845472,"id":"Q4845472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q472733$1E0ACB87-1790-4142-81C5-FC2545A0B274","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e52f372fafe719de5108c59e0672833ae8788a32","datavalue":{"value":{"entity-type":"item","numeric-id":4055622,"id":"Q4055622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q472733$94FAD140-849B-4E47-8752-015C5A0C966C","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":"Q472733$72D04540-D55E-43E9-A0E2-0E62C25ABF99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12062be6bcc6b2165d16902eff3a372a4b12e161","datavalue":{"value":{"entity-type":"item","numeric-id":3883467,"id":"Q3883467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q472733$B9A29FA2-6E45-497C-99C6-EFFADFF0F972","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3292a8fd74c3800c368f7ec938a332b6cc758bd3","datavalue":{"value":{"entity-type":"item","numeric-id":3522570,"id":"Q3522570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q472733$EA044AE4-A5CB-4812-AC24-291EA5A273D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd0dd98707b6eaad19f68a7dc4719e12007f2fab","datavalue":{"value":{"entity-type":"item","numeric-id":3067742,"id":"Q3067742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q472733$9B8B342C-8DD2-4D35-9CF4-43FDDFB2AB99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07c91fd99660da0e2343b02531a0a275f1692081","datavalue":{"value":{"entity-type":"item","numeric-id":5792485,"id":"Q5792485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q472733$DE140204-F8EB-43E4-9F82-FA50DCF9EA55","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"02386a8b28ba123b36955ef4e2129599c386ebf9","datavalue":{"value":"10.1007/S10773-013-1987-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q472733$ACAA17BB-1BC0-4ED6-8CE2-913B49DC147C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f26e7b804db3e10df8f0f1878cf24af238778289","datavalue":{"value":{"entity-type":"item","numeric-id":2849423,"id":"Q2849423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"acb580c198d8a843871f0220ac1620644519be00","datavalue":{"value":{"amount":"+0.8034687042236328","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":"Q472733$2A9F6570-31E9-478B-A400-DCA4775C27A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41f082ec02e2bfa23af5add14cd378c56e1997a9","datavalue":{"value":{"entity-type":"item","numeric-id":5482272,"id":"Q5482272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa99ce93e9eb0bb3edac5fbb046bacba218dc85c","datavalue":{"value":{"amount":"+0.7953258752822876","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":"Q472733$D7156F6A-FCE1-4F2B-8C85-A7858B756D9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3cc8d611b822ce5ae7d51eccee17186ed140a16","datavalue":{"value":{"entity-type":"item","numeric-id":5395117,"id":"Q5395117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92448568612eecaa6a43b157d0116d7c468ee27b","datavalue":{"value":{"amount":"+0.7950820922851562","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":"Q472733$4F4FD9C1-6B6C-426A-A94D-EA333FEA23C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48e94174da71a7c1629b915e66e7932b642eb547","datavalue":{"value":{"entity-type":"item","numeric-id":3534212,"id":"Q3534212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e3c32a0eb55ed88f8724fa655f2e25fb79748f0","datavalue":{"value":{"amount":"+0.7941707968711853","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":"Q472733$93C8959E-FBBF-488B-9788-519EBED566E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01173cc8d3c17f7a1d5f04d06691be918d828b30","datavalue":{"value":{"entity-type":"item","numeric-id":2851315,"id":"Q2851315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1df95256c6608d45e5f3bdc9da6a30ec3a96bca","datavalue":{"value":{"amount":"+0.7787748575210571","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":"Q472733$9E89B7F0-DD82-4512-8420-B3443EE1C743","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"PLQP \\& Company: decidable logics for quantum algorithms","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/PLQP_%5C%26_Company:_decidable_logics_for_quantum_algorithms"}}}}}