{"entities":{"Q5145330":{"pageid":7174901,"ns":120,"title":"Item:Q5145330","lastrevid":100628831,"modified":"2026-06-05T22:37:21Z","type":"item","id":"Q5145330","labels":{"en":{"language":"en","value":"Unification nets: canonical proof net quantifiers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7298779"}},"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":"Q5145330$5B8A783B-03EC-49C2-ACFB-87F1AA780946","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9fcbef61df475743259a7a2ae7cd9c36033a4a94","datavalue":{"value":{"text":"Unification nets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5145330$6A12759A-F21B-463A-9640-6CFA335A7A16","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"37ddc9a15fff01fefe8bf2624aca808a2730b3d5","datavalue":{"value":"1452.03134","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145330$894A0F60-E2E4-4AEE-A4D2-0FB70167488C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2b4ab18f455abe3599f88b33ba7c735a3eeaa40c","datavalue":{"value":"10.1145/3209108.3209159","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145330$0345DAF6-361D-472F-AADC-B9001B2EDBCF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ee82b0c640d35f6663be3f8a5187d8cc540da0b3","datavalue":{"value":{"entity-type":"item","numeric-id":5145269,"id":"Q5145269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145330$1D68ECEC-742A-4674-ABB0-04B0F3F094FC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"233394734482eba32ed4ee15da745b1ac2b96149","datavalue":{"value":{"time":"+2021-01-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5145330$8D89A609-9648-421D-87EC-66DD01131744","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6cb7a84969de6dc54a6d5cf9d9275b87dc3abd0d","datavalue":{"value":"https://arxiv.org/abs/1802.03224","type":"string"},"datatype":"url"},"type":"statement","id":"Q5145330$C7A83B39-0742-4E60-B120-057F1BD651A3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145330$D7EAB456-E31B-41CB-83C5-53B44C07CDC8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"09ac5040dc9e3e1e2cbee66a92ef3db390082d16","datavalue":{"value":"7298779","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145330$E0290352-61EB-433C-BC5C-72E4AF2D5B15","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145330$D232581D-FB14-4469-BFBB-AA382FCEFA77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d82d54321dd9799ec54c6e2eeabcd189cda5e80a","datavalue":{"value":"proof nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145330$2D1221F3-7327-418D-AEA4-675529292F4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3c6e6f13e308e7e28c37554ecc0101d13c6c9cb0","datavalue":{"value":"quantifiers","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145330$236C6A3A-1223-449D-BD08-3966DEF55951","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2bccd430c77f52c3edcd3a47f0e3aae2c4567937","datavalue":{"value":"unification nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145330$E0DBC1E9-A472-4EAE-A9C9-A9A301DB6A0E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"91f5c09b5145beb9895e9a35451f643e912c82f0","datavalue":{"value":{"entity-type":"item","numeric-id":1936109,"id":"Q1936109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145330$73B7885B-404D-4116-AD67-50671E713150","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":"Q5145330$172D77B3-8830-41F0-B1B3-67D912F8A4A9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"97a3d09cefa1a697cceec8bd902c00155a95ba77","datavalue":{"value":"W2964237467","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145330$E6409DED-88F5-4288-8375-9CE2D05866CF","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"dc3e4e43594172cb1e3d033ce3c72aab09449e2f","datavalue":{"value":"Q130866209","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145330$7A33B739-98C4-44CD-923E-3D52685D0D60","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8b37468d28424d36c3021152c551704c3d423fa","datavalue":{"value":{"entity-type":"item","numeric-id":5277740,"id":"Q5277740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5347758ea9ce8683fd698a3b0b4ab837f107e6c","datavalue":{"value":{"amount":"+0.8203140497207642","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":"Q5145330$C9CC4731-3A19-4895-87E1-F65C0945779F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5cec5b63bf422a656a17779819b0f5f4e5744d1b","datavalue":{"value":{"entity-type":"item","numeric-id":4635901,"id":"Q4635901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1e8a5bff04f810cc26562ae0910c745dd6b0b6a","datavalue":{"value":{"amount":"+0.8071457743644714","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":"Q5145330$6EB8E4D8-563A-48F3-8707-C28E7145814B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"615efd293a10244d37f814b4eb58ee101fc9a85e","datavalue":{"value":{"entity-type":"item","numeric-id":534705,"id":"Q534705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5da7504081cd7344cd87d4e54b5e00cf0c4aa451","datavalue":{"value":{"amount":"+0.7951940894126892","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":"Q5145330$B6719032-E6D0-40C1-9FC3-08C198F5B381","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"872386990e8ec7de89eb41f32129f183a9544e11","datavalue":{"value":{"entity-type":"item","numeric-id":1946674,"id":"Q1946674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"406fd905a2f421d26a4a30c999db86b467128abb","datavalue":{"value":{"amount":"+0.7944673299789429","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":"Q5145330$575B566D-A0F2-4B93-87CD-20FB2EF90F54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31060e3f577fb75f63334367614882164bb64a90","datavalue":{"value":{"entity-type":"item","numeric-id":5311252,"id":"Q5311252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0ee2c6ec833bbdb4f2ebd5402228defa21c6502","datavalue":{"value":{"amount":"+0.7892639636993408","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":"Q5145330$F1DC31A0-108F-409E-A0D8-ADE24880107E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Unification nets: canonical proof net quantifiers","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Unification_nets:_canonical_proof_net_quantifiers"}}}}}