{"entities":{"Q4487273":{"pageid":6516872,"ns":120,"title":"Item:Q4487273","lastrevid":39838886,"modified":"2025-01-27T18:43:40Z","type":"item","id":"Q4487273","labels":{"en":{"language":"en","value":"Non-commutative logic II: sequent calculus and phase semantics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1463121"}},"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":"Q4487273$08C50465-7664-4C72-8A4E-67FAC401F1C2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"59d672b3c52242f680e19d384f726cc24a4ee7c4","datavalue":{"value":{"text":"Non-commutative logic II: sequent calculus and phase semantics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4487273$9A8CE4B7-3017-4C25-B39A-B8CC01790EB5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"738b27f4297607b3bf509062a2f7cc1e66e8167d","datavalue":{"value":"0999.03056","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4487273$D55CAAA3-D633-4B33-AD19-81143ED1D938","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7a60344d61bb61b07fd673196e7e78bc4e676ede","datavalue":{"value":"10.1017/S0960129599003084","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4487273$F92AACF9-B9FB-43F1-9261-69396AFB7819","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7cbcb47240bdb54fc9170b457d0d32b5a471d25f","datavalue":{"value":{"entity-type":"item","numeric-id":512528,"id":"Q512528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4487273$C0506AE3-AAEE-4952-896B-36A518ABBDAA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a53527e88e2413966f3c8ce14c92b878c452756d","datavalue":{"value":{"entity-type":"item","numeric-id":2709784,"id":"Q2709784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4487273$61259051-7890-4168-B865-759607CE2186","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ecfb7a4bc3532872a5df039a2c083f1e58c22460","datavalue":{"value":{"time":"+2002-11-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4487273$3C7F4B24-63B8-4D04-B2CB-8B6979E73DC8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4487273$DC80DD2C-5308-422A-A5CB-4BD3964B8D6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4487273$7BFEF337-76C5-4529-8932-5B769E396CC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4487273$931DACA1-8398-4161-8CA0-14A91369CD9D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a0fe969ae2b424cbe7d9ef7c9657551d8072fe6f","datavalue":{"value":"1463121","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4487273$19073D91-683C-491F-BF26-CAD54C414C48","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fbf224aad2e595a1dcaf074cb146e846c170da66","datavalue":{"value":"order varieties","type":"string"},"datatype":"string"},"type":"statement","id":"Q4487273$85FFC73C-9519-44DB-9557-E9BCCEF98AAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4487273$0D0F0908-9555-4C2F-9B16-0EA08A7C8275","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4487273$8BE5903D-15B6-4865-9898-7700587F721D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a1de6ee0a4dd6d2f43944bbef82124606fe384c7","datavalue":{"value":"entropy between orders","type":"string"},"datatype":"string"},"type":"statement","id":"Q4487273$5BA664A4-C6F1-4492-A354-DAD12BB7DE36","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":"Q4487273$5E759949-27CB-409C-BD1F-2CC607C564DB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d0f1a70ff58c420bbfa9b25e48f6754d939246be","datavalue":{"value":"https://doi.org/10.1017/s0960129599003084","type":"string"},"datatype":"url"},"type":"statement","id":"Q4487273$1B639037-1C43-4C25-9422-7F1EDEC0BA3C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b71f55b8b2964d5dc2d9e4056c1154af63a8c2f3","datavalue":{"value":"W2155393363","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4487273$4492B878-CA6D-4879-BC03-3122DB9F63E0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b6ce60e7bd25e886c1b2e1444e812fce1a288f2","datavalue":{"value":{"entity-type":"item","numeric-id":1964014,"id":"Q1964014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3fbeaee8d0f5bccbd1840e25f957f3fe3ed0f83","datavalue":{"value":{"amount":"+0.88055134","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4487273$ED44BF95-AE07-4BED-A180-BA62E8F0606A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e70b3296d8cf0f9e6f149302ca6ad3b4ac5f78d5","datavalue":{"value":{"entity-type":"item","numeric-id":1427855,"id":"Q1427855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"604ab7ed12afc81d15ff637409699e4fe16499ff","datavalue":{"value":{"amount":"+0.8203321","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4487273$87A6F3C1-682F-4FB7-9446-470D35201583","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8689230fcca267527a232322f0f1905d0dabaecc","datavalue":{"value":{"entity-type":"item","numeric-id":3024915,"id":"Q3024915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"333611076d42b957de5678f1dea7b07f7d835d4f","datavalue":{"value":{"amount":"+0.7878183","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4487273$D308E2C6-4FA8-4AC1-A31E-06F0DAB60B9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"962eb7434f5422e5dcba54ffefe4466ada4a7f79","datavalue":{"value":{"entity-type":"item","numeric-id":4428303,"id":"Q4428303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ebc29e94c31361c1e7ed8b0b70e2df2c0415166","datavalue":{"value":{"amount":"+0.7681996","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4487273$9C6DC79D-D825-4CAF-B3D0-8336B1B086C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d42917be076bd4b0e5194f26c7ff7ab1fa4398f2","datavalue":{"value":{"entity-type":"item","numeric-id":1288431,"id":"Q1288431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10ce0985dc6f43d24a9faf91875e8b0cf416a922","datavalue":{"value":{"amount":"+0.74538225","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4487273$3C2B786A-00ED-4C91-BA65-C1E3843A37CC","rank":"normal"},{"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":"009a4ae43aed7da4cd87a2d30a3602895367041d","datavalue":{"value":{"amount":"+0.74497986","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4487273$061CE0F9-ED6F-41F1-9FED-AF1A6966294F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77f58db0bf19693bc9b5dea5a21561da7592d3e3","datavalue":{"value":{"entity-type":"item","numeric-id":1407588,"id":"Q1407588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1405dc474fa0f5592a83d8bb455013a52a5bfc17","datavalue":{"value":{"amount":"+0.74409294","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4487273$354C372D-8148-4E1D-A984-466F90BF452A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30fec919d7effdcafe3a23632cb111b16375db35","datavalue":{"value":{"entity-type":"item","numeric-id":4999464,"id":"Q4999464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60e1fb3195830df9480397ad3f5e8282fc94ea09","datavalue":{"value":{"amount":"+0.74401367","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4487273$59C52574-607F-40DB-9A77-96330C19BD1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ecda618b265d8aa24636d9985483c3fdae0a4fa2","datavalue":{"value":{"entity-type":"item","numeric-id":1850949,"id":"Q1850949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9923cdf2c4ee36730502f430d0d946cabe528e0b","datavalue":{"value":{"amount":"+0.74210274","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4487273$1336DE9A-1FF8-4C28-B3EF-2E7A834D56D1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4487273","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4487273"}}}}}