{"entities":{"Q1288431":{"pageid":1299181,"ns":120,"title":"Item:Q1288431","lastrevid":68603088,"modified":"2026-04-13T00:51:45Z","type":"item","id":"Q1288431","labels":{"en":{"language":"en","value":"Phase semantics for a pure noncommutative linear propositional logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1286632"}},"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":"Q1288431$EAB2AAC5-D41C-4F9D-852E-36234DB2AC07","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1acf8b9abd11570d3d3133b0a148771231367c0b","datavalue":{"value":{"text":"Phase semantics for a pure noncommutative linear propositional logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1288431$DB51863F-62C9-4F6E-A4FA-EAEEB719BDB5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"20b29b248fadd4c578bb11cf2f0fd8568adeef9d","datavalue":{"value":"0919.03006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1288431$15089C86-472B-45F9-9966-293CAFAB12F9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3a6190a4849c9b92f810dde7a02df0413ea591f7","datavalue":{"value":"10.1007/BF02946519","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1288431$1AD33195-87CA-4BAD-8FD5-8273819001D0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4c3c57bd2a24956e0520aebbb172d094d92623f1","datavalue":{"value":{"entity-type":"item","numeric-id":182337,"id":"Q182337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1288431$A21D0663-CD7C-49E1-8147-C4F759E087DA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"388d100586dc99de79f41abdca7813deff0598ee","datavalue":{"value":{"time":"+1999-08-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1288431$D11A3463-AA8B-4F8B-B935-30E4F1D35EC9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1288431$09F58A8C-6761-4726-8288-5701DEB7D269","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b3f6971b1680161f9bceed9fe227318d1d2f33c9","datavalue":{"value":"1286632","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1288431$D742E438-595A-4189-A839-80CC2C3BCE96","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8df65cc0d6f40ee02b76a2b1fd98e0910592060d","datavalue":{"value":"noncommutativity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1288431$335AD7ED-D6FE-4B0D-BBD0-3911FE9073A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0330316506ca239cfff19d0e3df96793e84e6ecd","datavalue":{"value":"phase semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1288431$1BBE2967-C292-4D3E-AC54-77D4DB17DB05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1288431$FD2DBBD6-C786-46F3-A381-CBF2426F09FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe51228e17b836f3520db7bc0de40e5086eebee3","datavalue":{"value":"soundness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1288431$E4EEE3F8-2F75-497C-80AC-AD0D2537D751","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1288431$9DBE7FFC-BBD8-4D7D-8450-28A8E7630876","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"48e3f86aff53251e8d360c8097a6d94f9c5044b1","datavalue":{"value":{"entity-type":"item","numeric-id":188299,"id":"Q188299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1288431$A241B267-31B4-4A7E-A6A9-2CFCADB99295","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":"Q1288431$2A2836EA-5909-4257-BB2A-B15A9EB182D2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a2b2a8cf71a298beb3d5742fd0312db85012cf7","datavalue":{"value":{"entity-type":"item","numeric-id":579249,"id":"Q579249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1288431$90DFFF50-5CA5-45D1-8E20-718A2ED3CB8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3422cef0c9a9929cf6babf24e2aeeba55fa17104","datavalue":{"value":{"entity-type":"item","numeric-id":3478401,"id":"Q3478401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1288431$AC9D0E8B-4C6C-40A6-BC40-C1DBB63030A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4792b5729ccd751666a738991241637d65618b98","datavalue":{"value":{"entity-type":"item","numeric-id":3984416,"id":"Q3984416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1288431$EBC3645B-CE14-4E17-BEBD-F6FA822E3CF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da6f93665c2e557c57ca467a92e979922ef9ed2b","datavalue":{"value":{"entity-type":"item","numeric-id":3971583,"id":"Q3971583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1288431$2DE10E26-E683-4521-90CA-CD57E3838B40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"babc13e0719d02ac80e7d11ecc8370e0ef2774b2","datavalue":{"value":{"entity-type":"item","numeric-id":4694232,"id":"Q4694232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1288431$D4DCCDCD-8308-4898-A46F-C536FB1F9749","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f424fda4e3751a18953d6f63bb36a80f5c7bc40b","datavalue":{"value":{"entity-type":"item","numeric-id":5750847,"id":"Q5750847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1288431$53D5EF51-8A02-4ABD-9187-DBA7996E5004","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8260b2c0e8039420b2ce74418411a9500d28f79b","datavalue":{"value":{"entity-type":"item","numeric-id":3984416,"id":"Q3984416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59a1d19d47c7e22556a78a4dc0c301710079f8dc","datavalue":{"value":{"amount":"+0.8885779976844788","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":"Q1288431$822047D1-39BE-4087-9DB5-BF15040769D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"992386b5c7846a62c5ba47bdbcb74781227e73d5","datavalue":{"value":{"entity-type":"item","numeric-id":2774267,"id":"Q2774267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5aa6be085622f6390293640511fa63f1b9ae5e1a","datavalue":{"value":{"amount":"+0.8239632248878479","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":"Q1288431$E293D827-0FF5-4CA5-9E7E-C7C58D24740A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16361bdee4d0ce6141885d3450936c86f68c7d47","datavalue":{"value":{"entity-type":"item","numeric-id":3971583,"id":"Q3971583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36c4d5c1c7af635a3183d684afd3741892543e47","datavalue":{"value":{"amount":"+0.8229216933250427","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":"Q1288431$4A710F67-04F1-4419-82FD-BDC8F6FE066F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Phase semantics for a pure noncommutative linear propositional logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Phase_semantics_for_a_pure_noncommutative_linear_propositional_logic"}}}}}