{"entities":{"Q3370755":{"pageid":3381459,"ns":120,"title":"Item:Q3370755","lastrevid":46072924,"modified":"2025-12-22T13:15:01Z","type":"item","id":"Q3370755","labels":{"en":{"language":"en","value":"The finite model property for knotted extensions of propositional linear logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5004789"}},"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":"Q3370755$9C6B304B-C0E2-4603-ABC2-D7F13BF9B39B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"10ca21932582c998dc7f7edd8387285752db728c","datavalue":{"value":{"text":"The finite model property for knotted extensions of propositional linear logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3370755$2050256A-97E3-47B1-AAD7-55855F482B5D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"44e9e6785c8f7d624e8e37834ac045c1389b7733","datavalue":{"value":"1089.03015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3370755$67941BA0-5C78-4FEC-89F1-646E186B96A6","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":"Q3370755$EF9AD44E-9250-4B30-AB89-C29199260573","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7be842e5bc1b54667cb2f669eb29d91c2f271633","datavalue":{"value":{"time":"+2006-02-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":"Q3370755$BCDF0EF8-28E8-4194-B855-1AB84427BC09","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3370755$DA1E0E1E-612C-49FF-9067-2B01733D3832","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3370755$6367FC10-C9D5-42B4-8FD4-9186919DCAE7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0c87aaea8b57c782ae2b8f76c28fa528d9e4bee6","datavalue":{"value":"5004789","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3370755$B3E0B234-F0E3-4772-8449-FC4A51516252","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"459a1805d535372f1f47c9687dc4b99d66799874","datavalue":{"value":"extensions of linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3370755$3243A400-46AA-469E-A4E6-192D69BE73B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00ca7ba9ff879b4eed4a65b8166fbac5c8bdbbe5","datavalue":{"value":"knotted structural rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q3370755$A0B757AA-5CA8-4C75-870C-069BFFD57503","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"62430376555ae73fdb28af92032c34efd818513e","datavalue":{"value":"algebraic models","type":"string"},"datatype":"string"},"type":"statement","id":"Q3370755$9AAEC7F1-0A03-4FB1-A00A-54BC7A5755B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c323fc98d37610defec708b5b5efc701bf2bc863","datavalue":{"value":"finite embeddability property","type":"string"},"datatype":"string"},"type":"statement","id":"Q3370755$EF2C9509-9CCF-4D88-A3F7-5E46E7DB6598","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc481c9956349136fb46ebae74b8442d2d25b871","datavalue":{"value":"finite model property","type":"string"},"datatype":"string"},"type":"statement","id":"Q3370755$EAC3EBB1-3E2F-46AE-99F1-2B144D754389","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"abec281b5f1d997842b0ce9e98282ccd39bc96d3","datavalue":{"value":"algebraic semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3370755$2097C0CE-26A9-4B73-9EBA-FE07528E1D57","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"91b6b698483070eb9571d7e886ea35f2e2f3c341","datavalue":{"value":{"entity-type":"item","numeric-id":1826929,"id":"Q1826929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3370755$8E10AD3C-4F13-452E-86AA-B1EBE9BBC07D","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":"Q3370755$A0AE8462-9448-4A53-A7F5-C3DF6546FB06","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8f16a924e231d70f7cfcb12edd7251641f8c546b","datavalue":{"value":"https://doi.org/10.2178/jsl/1107298511","type":"string"},"datatype":"url"},"type":"statement","id":"Q3370755$41A8353C-4D09-427E-8E21-F3767E121864","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"541be1c1aecc48e0250312652d6342770113919a","datavalue":{"value":"W2129792675","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3370755$4BA2736C-4249-4A38-A4A3-58E8630015DB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"613196c1ebb5efd26c81cbdcd44f5b10522db4db","datavalue":{"value":{"entity-type":"item","numeric-id":1344438,"id":"Q1344438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3370755$0AC8A77B-9C4B-420C-90B6-F07DE5A34A49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5de5a92891dc05a0b1130c4f428cc2540c07d8c7","datavalue":{"value":{"entity-type":"item","numeric-id":4382470,"id":"Q4382470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3370755$CE222806-B9D5-4B26-BECC-BA6EE49FA26D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60286d36984eaf65882c51a5abddcc0df15a9a5b","datavalue":{"value":{"entity-type":"item","numeric-id":1771949,"id":"Q1771949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3370755$4E13A4DF-D314-4876-9DD9-91484849FC99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"652d70412e741600b08d0b2cede4a9cacadf16ad","datavalue":{"value":{"entity-type":"item","numeric-id":4495851,"id":"Q4495851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3370755$1B3DA48B-50A8-43CC-BA2E-C80E33A3125B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"074134d8b33bdd9cca293a6e8f5f8ee888ec9918","datavalue":{"value":{"entity-type":"item","numeric-id":1192352,"id":"Q1192352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3370755$9C7FB886-7319-46AC-AF46-6088336297C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a13768b34375dc68714bd0d6e8aa436172a3738b","datavalue":{"value":{"entity-type":"item","numeric-id":1826930,"id":"Q1826930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3370755$5A26426E-8FB2-46CE-B22B-4FB6139DD536","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3994c4ba939b2b4ca8ffb3214f187994f4886832","datavalue":{"value":"10.2178/JSL/1107298511","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3370755$C225007F-B025-424D-961C-44D10250D356","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91a2bba9cb1c5f07e34ee695748cd5efd172ade2","datavalue":{"value":{"entity-type":"item","numeric-id":4382470,"id":"Q4382470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08df5d8621451df30324cb08ffbe71a5875c7006","datavalue":{"value":{"amount":"+0.92474425","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3370755$69CDDDDC-60F2-4788-8D74-8BB7BB167DB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3874009dfb7ce6a389bb002c2c0e9705c971a19e","datavalue":{"value":{"entity-type":"item","numeric-id":1708103,"id":"Q1708103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a12253c434f1e5dd669ce70d700549705bff33d","datavalue":{"value":{"amount":"+0.91384864","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3370755$AB00EA3C-5E52-4E67-B6C3-AB0DC67960D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"838d7adbdc9eaef8c7f9491bab064308a3598e8e","datavalue":{"value":{"entity-type":"item","numeric-id":4262585,"id":"Q4262585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d93dc0059b7fad483668fc3779559e7c52a523ed","datavalue":{"value":{"amount":"+0.91023386","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3370755$A5EB702F-5D56-4D4A-9C55-1BDDBADF68DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d457e7ee95b83a8eae90882e9ec091e36dc8cb29","datavalue":{"value":{"entity-type":"item","numeric-id":3211282,"id":"Q3211282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f7642e585a46335b74c0f81f2bd69fd9af0bdbd","datavalue":{"value":{"amount":"+0.90275615","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3370755$49C484F4-5DF4-4548-BBA7-F3E77CD23D33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"607694c2c7ba9e6b6a10d7f07e298a96a7397718","datavalue":{"value":{"entity-type":"item","numeric-id":2856632,"id":"Q2856632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"759b559446002708f07e0e890951653be12f2f7c","datavalue":{"value":{"amount":"+0.900676","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3370755$31BBE56E-4454-4FD0-A040-82C363C54EE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d03061b874bb76e89a1179183de5290dff9153ff","datavalue":{"value":{"entity-type":"item","numeric-id":4443185,"id":"Q4443185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a6d655f76d694f8d7518ec4fe6864fd4145ffa9","datavalue":{"value":{"amount":"+0.89730215","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3370755$CA7059BB-1A44-4F09-AD73-F60AED1C2739","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09724f05323e9cf08eff48e814742c70270f85fa","datavalue":{"value":{"entity-type":"item","numeric-id":3534983,"id":"Q3534983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e82dad8d6f2abb2f9e50cf50c239dedb39c91b7","datavalue":{"value":{"amount":"+0.89278704","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3370755$5946BC12-A46D-4430-91FB-B83CA2AE48AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5e2540c8959fbcc144ae741183ab03e6d66208a","datavalue":{"value":{"entity-type":"item","numeric-id":1428978,"id":"Q1428978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b19b10e076c93be2e79f6e2e43c2d325e47da1cc","datavalue":{"value":{"amount":"+0.8914258","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3370755$02F75C5F-4B7E-4247-AAB2-7B79EEA7ACC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b18416042f5962c108dcde462b01c7bbd85aecb9","datavalue":{"value":{"entity-type":"item","numeric-id":4856959,"id":"Q4856959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16a88a49bc64c22dbf6d40fdac3bec4f1803a32b","datavalue":{"value":{"amount":"+0.8891423","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3370755$69C23838-C102-461B-AD91-3EE58F60484E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f9754cad496cbae51ddab8ae25d21e239824378","datavalue":{"value":{"entity-type":"item","numeric-id":2815679,"id":"Q2815679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44ead53ffe34bcba174861adaa2e067a8d2b23d1","datavalue":{"value":{"amount":"+0.8890342","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3370755$DF8A7081-A045-43E5-A223-45D5D94152B5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3370755","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3370755"}}}}}