{"entities":{"Q1280050":{"pageid":1290800,"ns":120,"title":"Item:Q1280050","lastrevid":70064487,"modified":"2026-04-13T12:11:24Z","type":"item","id":"Q1280050","labels":{"en":{"language":"en","value":"A new correctness criterion for cyclic proof nets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1251517"}},"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":"Q1280050$7E5E7609-C8A3-40E6-9D58-B2FC6555757D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"377d7060a16af8f4818eb1e13786c88667f9a431","datavalue":{"value":{"text":"A new correctness criterion for cyclic proof nets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1280050$710FBBE0-CC0F-47EA-B896-B9772AD7DB96","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"836c31d2b437ffdb57f2f52d2e451e834c8631b0","datavalue":{"value":"0915.03046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1280050$AB7F62CE-CBE3-4D58-A306-7A5111A32B02","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dff1280d2032d920f957e1a4bdfc4f4738a18dad","datavalue":{"value":"10.1023/A:1008354130493","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1280050$DE819292-8FDC-4692-807D-668DBC3DD0F7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"37a4e43a8ea1ffc31e3009aa955d277e7dfb7ee8","datavalue":{"value":{"entity-type":"item","numeric-id":280841,"id":"Q280841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1280050$8D7AFF8B-4C8F-48D3-9729-4D17B59AFE98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0711433876655e1378cad7d87d1b0214c0627de3","datavalue":{"value":{"entity-type":"item","numeric-id":1280049,"id":"Q1280049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1280050$10ABE013-E5AC-46F9-B41B-6EE544068270","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"147edfc9dddd5bbefb3ef0a24d334c7da90bbf45","datavalue":{"value":{"entity-type":"item","numeric-id":195246,"id":"Q195246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1280050$D9E9BC45-FBD7-4C4D-88E6-9B44D93E992C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"992212daabf7759940c30dae4b868addf13cf100","datavalue":{"value":{"time":"+1999-02-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1280050$29576053-95E9-4EED-AB58-0C59AED34AE2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1280050$C4C5DA35-6DC4-4D45-A36C-418BFBB9E01B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1280050$F2D7F651-B704-46B1-9FB9-B014F814A1FE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c1082893961246addace0de233c15eb68d72a1d9","datavalue":{"value":"1251517","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1280050$3F64FCB9-B8D8-405B-9E75-141CB1356B75","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d82d54321dd9799ec54c6e2eeabcd189cda5e80a","datavalue":{"value":"proof nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1280050$58C1999D-0B73-4CB0-B2AD-135B1C4C7D43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9e9f513d13cd2fd846e695eb877648b36403f97d","datavalue":{"value":"cyclic multiplicative linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1280050$36BA9D99-0BD1-4F03-9F8F-0AEEB3F587B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c884854080f1b9d669ee219872cd46d5b48288bd","datavalue":{"value":"edge bi-coloured graphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1280050$7B394F1D-E1DB-4E9B-89F7-ADE20D8FDCBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0902b234dbebad675d51a6369fa61136bdd1b588","datavalue":{"value":"Lambek calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1280050$8DF53E05-1815-4C0D-9F78-BD950638F654","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":"Q1280050$971C84CA-FC98-4812-85F1-91F8EB5B3DD4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f0d2d712cf056575fe9e083296f0ce18858f3a4c","datavalue":{"value":"https://doi.org/10.1023/a:1008354130493","type":"string"},"datatype":"url"},"type":"statement","id":"Q1280050$45B89A53-6C8C-4317-8F70-4D1EC1A834BB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cf1f8d5df831a4aaf95e5bdd8de09d53383c9bea","datavalue":{"value":"W1938840723","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1280050$52F294F9-8BE9-4D7C-9C27-5204FD561743","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45f25569916a6af76d970bf09be43653e8ac2c4e","datavalue":{"value":{"entity-type":"item","numeric-id":5377696,"id":"Q5377696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35de68c792f6941fccfd8a52049f4741087efb5f","datavalue":{"value":{"amount":"+0.9036749601364136","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":"Q1280050$A76A8EFA-FA6D-445C-A38B-EEFF4226C253","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18cfa5a292c05ae87a6d6dcbdb2ae28a02d2c098","datavalue":{"value":{"entity-type":"item","numeric-id":4328819,"id":"Q4328819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f1cf9875e632ce53e1ccee5ecef1f68987752a9","datavalue":{"value":{"amount":"+0.881968080997467","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":"Q1280050$2ED074AB-D8EF-43CA-96F1-B0EF4AB613EB","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":"21774f24cd18f931247d92d3139b05b409878a53","datavalue":{"value":{"amount":"+0.869070291519165","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":"Q1280050$53BA7E2C-CF8A-4BF4-9930-126F48F70ADE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8769e261c5825650fbe726c0626f3ef75cb68a1","datavalue":{"value":{"entity-type":"item","numeric-id":4236199,"id":"Q4236199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a03328129561b40807456c9fcd610e81d3ae897b","datavalue":{"value":{"amount":"+0.829584002494812","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":"Q1280050$9C25C01F-399C-4330-8E82-23B78F7CC554","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A new correctness criterion for cyclic proof nets","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_new_correctness_criterion_for_cyclic_proof_nets"}}}}}