{"entities":{"Q4644612":{"pageid":6674193,"ns":120,"title":"Item:Q4644612","lastrevid":53313647,"modified":"2026-01-24T17:18:37Z","type":"item","id":"Q4644612","labels":{"en":{"language":"en","value":"Linear logic model of state revisited"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6998046"}},"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":"Q4644612$D5A0AD95-07C3-46A9-856A-E3E9660F7418","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b35fc65402b264cbd92d20d769eb288add925f96","datavalue":{"value":{"text":"Linear logic model of state revisited","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4644612$A793537F-669C-4CD5-9243-FCCE248D7487","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bb1c44d437c9b1716c35d8b624135de48e7d3855","datavalue":{"value":"1407.03076","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4644612$D52C94F2-C469-456F-B035-D218BA6BDABA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"34ad1c5244615701b343bddfc2f0d0c1bd63f8ab","datavalue":{"value":{"time":"+2019-01-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4644612$8CFBCB2B-CDC0-4EB7-8C5E-6261A3AACC15","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f59dd83da3ce142363746d6f1ec3e82bf92dbf01","datavalue":{"value":"https://semanticscholar.org/paper/d5a5d33dd965147c4a0f3fd6ee590634c7756205","type":"string"},"datatype":"url"},"type":"statement","id":"Q4644612$F0C3C76F-3C9D-4DE7-84BA-36C0413B0AB3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4644612$9903B872-4C57-42A5-A0C2-A07685CE6877","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"aa2d311bfebadfc58292672011b7418c359f6a26","datavalue":{"value":"18A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4644612$B48B71B2-C5E3-4546-9B31-6419744377C0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0f9372623bf3a006fb9cefda8c5be40768da0acf","datavalue":{"value":"6998046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4644612$637ABD83-7A81-45FF-8492-D3B3DD1998DF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc379d4a5dc59b94051dc9693c948e5879618dfa","datavalue":{"value":"intuitionistic linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4644612$84B4C148-AE12-47A7-AA64-BE9DD3068149","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cabb11f0794f0c88c3161873efa13fd23e9f2016","datavalue":{"value":"sequentiality","type":"string"},"datatype":"string"},"type":"statement","id":"Q4644612$8B432A6F-5B55-4AC0-BFCD-CFFC356823AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"70c0bd2eb96304c31da7a19528ad5eaf7e2bb4bc","datavalue":{"value":"models of state","type":"string"},"datatype":"string"},"type":"statement","id":"Q4644612$67D6D539-11CB-4997-8919-D5BB3DA8EF5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4644612$600C3809-5F03-40F9-82E1-862450731D3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"76c6ec50015ce57eb8837eb28674a1f953751b7d","datavalue":{"value":"categorical models","type":"string"},"datatype":"string"},"type":"statement","id":"Q4644612$264EA136-EF6A-4924-906C-F969B6C7ECF1","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"e2f5b9577310e4b13e069070195c371db7c3ef59","datavalue":{"value":"Q56994486","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4644612$016E2787-83D8-4CDE-8135-802D29645A2A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"737ab82ccfec8813eb7c5978dce0ad4af9a0b6d5","datavalue":{"value":{"entity-type":"item","numeric-id":1591339,"id":"Q1591339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4644612$8839F184-49EE-4BF6-B3A8-1596F1504596","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":"Q4644612$B1687DF2-72E1-4410-9133-1CD4E215F0F5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e61e994c9b3bb29762246b0bf2501be78708e077","datavalue":{"value":"W2040812916","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4644612$489AB7A8-25C1-42AC-8630-66E6A28E073C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c9d739c12490e4e356f08ad399ddddad2ae051d9","datavalue":{"value":"10.1093/JIGPAL/JZU013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4644612$585CAC78-852E-485D-8C1B-4BC8164D9370","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2322a21df36f02b2b9c16a6174c764d5fc949009","datavalue":{"value":{"entity-type":"item","numeric-id":3061274,"id":"Q3061274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4644612$CED21E34-3681-40FB-BA3E-3848A21920C4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1301fb52b89ef74f42f456c47fc225033b134c8","datavalue":{"value":{"entity-type":"item","numeric-id":3024825,"id":"Q3024825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1feff5997a4001f94ba4eee3f7260103e46e99cf","datavalue":{"value":{"amount":"+0.7562532424926758","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":"Q4644612$D7275932-BE0E-4AFD-A956-C6F7EC28730C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50a1195afb1c3c601a1561a604730c0b6a152933","datavalue":{"value":{"entity-type":"item","numeric-id":4474834,"id":"Q4474834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3cf8bc5a99a81bf658d6ae48ac61cb5e3799fd05","datavalue":{"value":{"amount":"+0.7560451030731201","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":"Q4644612$D8D278A8-D3AD-4550-805C-689A6B22FC07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b12a70e171aa93ffed5cf0d73a3a8845579c419","datavalue":{"value":{"entity-type":"item","numeric-id":5298120,"id":"Q5298120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7bcfc692cd35142824a88badec51b2d11365af3e","datavalue":{"value":{"amount":"+0.7407499551773071","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":"Q4644612$18014A4E-AE80-44E6-AFD2-025A582A2B64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"afcbc147ff58141791856c42c017141265cfb2dd","datavalue":{"value":{"entity-type":"item","numeric-id":1781095,"id":"Q1781095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0960a6a7fb9660d4103e641f245b58424984df0","datavalue":{"value":{"amount":"+0.7401605844497681","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":"Q4644612$ADD9B2BD-74FC-438A-8FC6-4964E6E76869","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2d6d7832a652bbf8bea72df35ac1f46d74a7a28","datavalue":{"value":{"entity-type":"item","numeric-id":1709707,"id":"Q1709707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b07228b58d43cc839114a97f1426a3a273a72b1","datavalue":{"value":{"amount":"+0.7367622256278992","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":"Q4644612$BD1BA5BE-AFB4-404D-A763-321DA2DF766F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4644612","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4644612"}}}}}