{"entities":{"Q5389322":{"pageid":7418896,"ns":120,"title":"Item:Q5389322","lastrevid":51454064,"modified":"2026-01-18T07:51:15Z","type":"item","id":"Q5389322","labels":{"en":{"language":"en","value":"Modal deduction systems for quantum state transformations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6028098"}},"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":"Q5389322$880B8C7F-17B2-4B5B-9922-D6992F9C8738","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"13d6ba4f48e55cda5798300ef62ad85645f84b2c","datavalue":{"value":"1236.68073","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5389322$83286981-F263-48E6-959A-C74ED3A7A41A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"70b45d72ed2ba2486377818ff4f18636ea6d5a4a","datavalue":{"value":{"entity-type":"item","numeric-id":549723,"id":"Q549723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5389322$BC3164AC-64F0-4A0C-8357-844B14E55830","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d55d8636ba2cedfe85f5f46b2ba4af59bec25927","datavalue":{"value":{"entity-type":"item","numeric-id":265001,"id":"Q265001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5389322$281F62E3-798B-4D1F-8236-470A39C62A3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d1b68d0e89e7b621c100d1bdf2782ef774a2f362","datavalue":{"value":{"entity-type":"item","numeric-id":1044835,"id":"Q1044835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5389322$1228A132-C330-43B2-8816-3BBFD8DC8E73","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"52b04daa1d703ea977748e4d42defef3819c2dd9","datavalue":{"value":{"time":"+2012-04-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":"Q5389322$6F3ECC63-1075-453C-9A79-8EC422A9D761","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d49e87838bc3cca1b2ca46cd3cc36550e9683434","datavalue":{"value":"68Q12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5389322$BAD5A31B-2ACE-4CCB-98DC-7BA90BC70FF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5389322$700592D6-E824-42D7-B730-DCD504338D7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5389322$097159BF-ACFE-4EB0-9671-A043050ED331","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5389322$5E77B4D3-EB10-4CAA-A913-C1B66EE495AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7af17f227fda8daecc6b4cd26e5d774fa965085f","datavalue":{"value":"81P68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5389322$A8227CD5-88D5-476F-B65E-53A256E2853B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cf9e941fe15ec868347063410ac5a7f2edd3cde8","datavalue":{"value":"6028098","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5389322$B1D9C2C0-79AD-4762-8D73-EEE0C97A116F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a8691699384ec038dd67d008cb1948aec9bc7a00","datavalue":{"value":"quantum computing","type":"string"},"datatype":"string"},"type":"statement","id":"Q5389322$7394B0CB-FCC3-4432-B786-36E1964C7998","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e70d4337ccd63bd5a94b947eb4b97131d9622035","datavalue":{"value":"modal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5389322$81207397-D87D-4EDC-B496-14D45438871C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5389322$F96D04CF-980F-4738-A221-47874303E57D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"580520fce237640a876b8d180acd2f68d76de1b5","datavalue":{"value":"labelled deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5389322$6A732C05-33FE-414F-9701-E423E1290C2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5389322$0E1ABD12-31F9-4EA6-92B1-E4F07C5E69C1","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":"Q5389322$D00F9F58-EB47-43E8-806E-B5D6733BEC16","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd42ff58075b76d9ae013083aa487cd8f4fc1182","datavalue":{"value":{"entity-type":"item","numeric-id":2084572,"id":"Q2084572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d768693455c0163bf2165c89f0b268e46a9c800","datavalue":{"value":{"amount":"+0.778545081615448","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":"Q5389322$549650D8-81BE-4420-92AD-DD7110C78E35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4bdde6951e90e79119889c4e75351d75d62efed6","datavalue":{"value":{"entity-type":"item","numeric-id":2401638,"id":"Q2401638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f573fece9e42afd84f6e4b898bc8dee0f09f9c2","datavalue":{"value":{"amount":"+0.7303005456924438","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":"Q5389322$4076B526-B5AF-4042-94BA-38D2B532D05C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51ac577fb592bd9727c47df01cf55088c1cd52ad","datavalue":{"value":{"entity-type":"item","numeric-id":2938127,"id":"Q2938127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4ee47be969d9d07a248a87914c53d55aeae4b32","datavalue":{"value":{"amount":"+0.7269887328147888","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":"Q5389322$FAD50654-1D03-4705-A827-81191B3BA3BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0792d2a23610785e77a019485f0e8648718b4ecb","datavalue":{"value":{"entity-type":"item","numeric-id":5394128,"id":"Q5394128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"480670a15b5305bd310d7358aed44d4ac7df5bcb","datavalue":{"value":{"amount":"+0.7237734794616699","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":"Q5389322$C7BB9675-60F9-4DDC-99C0-DBFEC3AB1562","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":"966c5ca72c6384bad5333adffceaaf1d7fc15aa3","datavalue":{"value":{"amount":"+0.7211758494377136","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":"Q5389322$6F4F604F-7EEE-4B0C-9D87-E0E38FF96A6F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5389322","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5389322"}}}}}