{"entities":{"Q3149979":{"pageid":3160695,"ns":120,"title":"Item:Q3149979","lastrevid":47993230,"modified":"2026-01-03T07:27:16Z","type":"item","id":"Q3149979","labels":{"en":{"language":"en","value":"Monoid based semantics for linear formulas (corrected republication)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1808601"}},"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":"Q3149979$0DFAC498-465B-47B5-A1A6-C8971116B4DE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"93720337e9d2dfab79484a572388f65c47588371","datavalue":{"value":{"text":"Monoid based semantics for linear formulas (corrected republication)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3149979$874C0116-7CF6-4FEE-ABAF-A8ADD1EEF589","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4644df43099702ee1ec48c417059a5b57fa77af4","datavalue":{"value":"1024.03063","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3149979$793CCBEB-BB9F-4C69-A3D9-4BEF774F8DB1","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":"Q3149979$8F261978-D507-4024-BB61-205906F4F588","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":"Q3149979$65DE345B-003C-4E4A-8AF1-95AAE234F090","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":"Q3149979$EAA21F5D-C31F-4890-81E9-A8687A525A67","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"74b94a5cf09fd14fa518de7a1d8323cdfa9e9933","datavalue":{"value":{"time":"+2003-09-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3149979$DE271730-3957-4D41-9430-869560180CC2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3149979$5437B0BA-033A-47E1-BB54-2002C3902121","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d288a69107e543ad02bf89fe7b5f6e3ec2021571","datavalue":{"value":"06F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3149979$1AC2C2FF-95AB-470E-8913-FDEB0B2C5DD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3149979$A8429397-4089-4FB7-A8CB-8F156BE9DD79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9e7be0cfcacd32464742957e3e818847a694f77f","datavalue":{"value":"06F15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3149979$EE80E4E0-1EA8-4C88-9900-45C4D46A5DA7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4a6df7a05da80929ed64731a4327dc7e5a922974","datavalue":{"value":"1808601","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3149979$C52C017A-21ED-42CD-94E9-3306899162DF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1ecf978a28e5d1baefdbd10dbc4f102a6158a13","datavalue":{"value":"duality","type":"string"},"datatype":"string"},"type":"statement","id":"Q3149979$9A047F30-0CE8-400E-B012-263D1509E381","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3149979$B5E7EF24-41F9-4BA7-9845-898B0789CD20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a8b9c8786fe38807e5dc3daf6f9f11094ffb16cb","datavalue":{"value":"Girard quantale","type":"string"},"datatype":"string"},"type":"statement","id":"Q3149979$E90353E5-A333-48A1-BA49-6232361C9966","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d0a0ac61dbf574162b49782caf18cfea050bd7b0","datavalue":{"value":"partially ordered monoid","type":"string"},"datatype":"string"},"type":"statement","id":"Q3149979$86E502B8-4C4E-4776-9E97-CE3AB81FA969","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"85e503306d78eb78f02ace438fe08fa12eb2facd","datavalue":{"value":"partially ordered group","type":"string"},"datatype":"string"},"type":"statement","id":"Q3149979$7DB9A3D0-162A-4D25-96A9-CF680E12135A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3149979$8566666F-A8FE-484A-A61E-419BA043646F","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":"Q3149979$0E1F9655-8656-4683-AE1B-DD5F7BAD479D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"26317b1896209d569c40e8815b00ab2a858a2df6","datavalue":{"value":"https://doi.org/10.2178/jsl/1190150094","type":"string"},"datatype":"url"},"type":"statement","id":"Q3149979$D11FD9E8-EBB3-42E1-B18C-31436A110A26","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d6a528aebb0d6a79e5e9abdaed8650a056d6c0cd","datavalue":{"value":"W2616409698","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3149979$6C335FD5-DB56-4EA6-8858-4F86BBBCCBB6","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":"Q3149979$9CB333F5-9B39-4849-8535-A703A28A8BD2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7b4cc35a7bd25d20abe9f7208d949691a6473932","datavalue":{"value":"10.2178/JSL/1190150094","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3149979$B37C9F60-C139-46E5-B47E-627DBD080C24","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"805b7f91f28d17eef8048eea9669c9d8d5f5dfa2","datavalue":{"value":{"entity-type":"item","numeric-id":4328823,"id":"Q4328823"},"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":"Q3149979$6AD4DBAE-C56E-4930-964A-E6F0CC91E383","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":"c98a4da7d810d5cc60236dc7f437cc24424ff27a","datavalue":{"value":{"amount":"+0.8077369928359985","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":"Q3149979$08EE8A1C-86E3-476F-AB94-543870C5B021","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":"bd8099ee979664f020b7b24a8a2512bceb618c9e","datavalue":{"value":{"amount":"+0.8035593628883362","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":"Q3149979$CC765F0D-7F17-444E-A49D-C155E3EFEDEF","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":"30418eaf6d13bf2850cbfe04c6efc93cb40e94aa","datavalue":{"value":{"amount":"+0.781959056854248","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":"Q3149979$BCB26B06-0877-4FD0-9A55-E953DD19C392","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":"fe8b67bdd60e1396ea706954ce52c9002a43c2c7","datavalue":{"value":{"amount":"+0.7780826091766357","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":"Q3149979$BB9771B4-F319-443E-AF7F-06D7A2A59202","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3149979","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3149979"}}}}}