{"entities":{"Q4328823":{"pageid":6358424,"ns":120,"title":"Item:Q4328823","lastrevid":81698357,"modified":"2026-05-06T19:08:43Z","type":"item","id":"Q4328823","labels":{"en":{"language":"en","value":"Monoid based semantics for linear formulas"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1735283"}},"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":"Q4328823$3B3952BE-3C08-44E4-886F-E50302F7F743","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"43454f987b388432bf47870652d9762255fbec11","datavalue":{"value":{"text":"Monoid based semantics for linear formulas","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4328823$4E8EFB5D-5936-4570-AA0B-D949D006E9BB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9d29f378d7fa9c75d62d2965e749518976a6a48d","datavalue":{"value":"0994.03011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4328823$6FE3AEBB-2D3E-44D8-B901-9D5D55B35A4F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b6e9bf02938e60a31f0c86cf1e5966e1db17786d","datavalue":{"value":"10.2307/2694964","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4328823$0DCB419D-86DE-4B3C-822B-E1913AAA155A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9d7eeff60cf26405a6367b4c18fd6b9348cc2fd8","datavalue":{"value":{"entity-type":"item","numeric-id":1093367,"id":"Q1093367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4328823$0177D57D-0ADE-4590-863E-1BC8FC9F02A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"79124a2489e646de3a286e148c2a10f289c9bf22","datavalue":{"value":{"entity-type":"item","numeric-id":535096,"id":"Q535096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4328823$3A5A6A08-9B39-4574-9928-A53B98A244B5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4328823$079EAEA8-94AB-4F31-8EF7-BA3503A8502F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e5705bd9f0e813eda9f9c64dbcea1917221995f5","datavalue":{"value":{"time":"+2002-10-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":"Q4328823$847B3B8F-EC72-4C51-BB92-8746E02C3BA2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4328823$FE3936CF-1EB7-452A-98F0-66E0412017A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d288a69107e543ad02bf89fe7b5f6e3ec2021571","datavalue":{"value":"06F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4328823$4CD53E49-7BEF-433F-A851-BAA68ABBB44E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4328823$F83ACF42-3F83-4C94-BD48-ACDF0BA497AC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"151f2509b32b51ef5c1bcfa32ad827de6220e164","datavalue":{"value":"1735283","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4328823$71F3AD8B-FEC5-4661-AFE3-1D84B5581633","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4328823$12B435C4-F37F-47C2-BB9B-D1A01A83CC41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4328823$953712EB-CF09-482C-97A1-5797AF487671","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d1f517b5e2c7ac578748deede85858a95063777","datavalue":{"value":"Girard quantales","type":"string"},"datatype":"string"},"type":"statement","id":"Q4328823$79C39632-7804-4A7C-BF0A-1438DCE7A13A","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":"Q4328823$F8035DDE-3A6B-4950-9CD4-88DBFAFF0E0E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"884ec98139710624078ab770a84222a8c164ea6c","datavalue":{"value":"https://doi.org/10.2307/2694964","type":"string"},"datatype":"url"},"type":"statement","id":"Q4328823$86731A91-BCC1-4007-949C-C4EC3E8D0476","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"832556a320c912bd5b35bf1bb9c87768681de8a7","datavalue":{"value":"W2058907759","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4328823$A95804AC-EE17-43BD-AF04-9ECF2089AC47","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0004f8fddecc0a33725b971c1c77c93c033b938f","datavalue":{"value":{"entity-type":"item","numeric-id":4692942,"id":"Q4692942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4328823$559E282C-1A1F-4393-822A-322EDA07B4D0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa5b923de30d8cf95ac4f5104934830bd0b0d6e7","datavalue":{"value":{"entity-type":"item","numeric-id":3149979,"id":"Q3149979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab8d81e49e3e082e99c502c3c9a55552dca0fd07","datavalue":{"value":{"amount":"+0.9995341300964355","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":"Q4328823$63D9F315-57A2-4F0F-9C40-05392D6F6EEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1ea2ae336dfe506bbe20e36d907fcc5cfbc8fcc","datavalue":{"value":{"entity-type":"item","numeric-id":3197878,"id":"Q3197878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f892ab866888a4a837eba274082e74d6fac8c3ab","datavalue":{"value":{"amount":"+0.8040955066680908","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":"Q4328823$0545B964-7796-47D6-90E4-1B1C0D308CE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3befb1f54c3895679108012ff84c9e71223baee3","datavalue":{"value":{"entity-type":"item","numeric-id":5432904,"id":"Q5432904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8ef815cf9913583c19575efb27bcbdae5f718fe","datavalue":{"value":{"amount":"+0.8012877702713013","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":"Q4328823$E98F45BD-4743-4B5A-A579-39568D41C3B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9a799983d4d4ade5b9b1c02090b481386c16d5b","datavalue":{"value":{"entity-type":"item","numeric-id":4513584,"id":"Q4513584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da7688220dd2e7bcb3a8323d0c0909218f7d4775","datavalue":{"value":{"amount":"+0.777235209941864","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":"Q4328823$BF4DA3A5-6C6F-4D13-B141-AE9C920BFD31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f62c6d5d17de704b47e7241793de8822370f0fde","datavalue":{"value":{"entity-type":"item","numeric-id":4716049,"id":"Q4716049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4144ef732674469b0cacb0c4b37f42eb12c48fe8","datavalue":{"value":{"amount":"+0.7745977640151978","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":"Q4328823$4552AD7C-78C5-419B-9891-FE3F573891D8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Monoid based semantics for linear formulas","badges":[]}}}}}