{"entities":{"Q5488611":{"pageid":7518171,"ns":120,"title":"Item:Q5488611","lastrevid":49922146,"modified":"2026-01-12T01:45:44Z","type":"item","id":"Q5488611","labels":{"en":{"language":"en","value":"Detecting Loops During Proof Search in Propositional Affine Logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5056076"}},"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":"Q5488611$CC15E67C-369F-4CE9-A037-B2D47411E832","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"328fe3c4421f8250ce24139e92d37270f9cb2500","datavalue":{"value":{"text":"Detecting Loops During Proof Search in Propositional Affine Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5488611$1611D569-4E6F-447A-900E-B8594C00B565","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"88575d9d83fbbf5f9b19affbd0e8dc15019f2a72","datavalue":{"value":"1175.03040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5488611$1C3FF9F8-518F-4E84-98C2-1728EEF277BA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"23f75780c178d9129b74bbf42fac28707b7d8ca7","datavalue":{"value":{"entity-type":"item","numeric-id":824631,"id":"Q824631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5488611$B8DFB3FE-3276-41CF-9CB8-33ED3B43D9E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8493c5a9382ec7942c81e66d876be9d0596e633f","datavalue":{"value":{"entity-type":"item","numeric-id":306277,"id":"Q306277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5488611$B18DC0F5-C4A4-4B9A-875A-33228E09F3C4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0661523a3e59cc88f483e6fe108440be8c2fe38b","datavalue":{"value":{"time":"+2006-09-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5488611$E68717AD-007C-4AF5-B44C-CB42E357C0C8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0e5b9038b2369b56010df7371b9fc963a5d2cac2","datavalue":{"value":"https://semanticscholar.org/paper/3cf9ffe0fa5d24e94b8e1a4870842d1d9dada5c9","type":"string"},"datatype":"url"},"type":"statement","id":"Q5488611$76B590F3-63EC-43A9-BACC-1055B25526B2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5488611$6DC7C59E-EC9E-489A-9EC5-D809E04BB914","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5488611$D85043FB-7D7D-4A48-A6C3-A7E5F26248CF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"764f58cd8dd2266493b9526ceef2ffbe836c061b","datavalue":{"value":"5056076","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5488611$382D00F8-BBDA-4304-B807-FD466CC43EA8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5488611$639156DE-4B52-4DD0-8768-B9E94BAE3E13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4879e8c35d56fd297a402f7c1eba53238e04d57b","datavalue":{"value":"proof search","type":"string"},"datatype":"string"},"type":"statement","id":"Q5488611$924A9005-4433-42FB-AE00-F263D5250D9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc35f05507f2f599ca678dae484d9c6c08184fec","datavalue":{"value":"affine logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5488611$44B6140F-3DC8-4B41-B481-CEF162F1F77A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ca10ce924ddfcc62753e960fad1352301ab9265","datavalue":{"value":"loop detection","type":"string"},"datatype":"string"},"type":"statement","id":"Q5488611$2C5D0523-7E22-482C-8D69-8E675A003524","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":"Q5488611$FF45258A-B7D9-4528-9584-0571FB759A9B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4b5e051d76298d072f60f2aa92d551419e9f8ce9","datavalue":{"value":"W2058212458","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5488611$8025F232-6B4A-47A2-8268-D482D9F8B2F3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e714d13e4f5a1ddb16626b61b391dfa5f9fcd069","datavalue":{"value":"10.1093/LOGCOM/EXI072","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5488611$2F7AF57F-B969-4FAF-B795-EBA002DAAE1F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5488611$E4A4FA37-72F7-43A4-891D-A26C8269BC95","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f579d05414dbc5d54ce1dc8f01427985e6a34fcd","datavalue":{"value":{"entity-type":"item","numeric-id":4645239,"id":"Q4645239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c3edbcb9cfb9a48639a4bec319933831f66d6cd","datavalue":{"value":{"amount":"+0.8006603717803955","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":"Q5488611$9ABD2DCB-59C7-4182-9DD7-AE0BDB6B955B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2aec8e75eca13712bfe24a52de7e4f02098fe8c3","datavalue":{"value":{"entity-type":"item","numeric-id":1854403,"id":"Q1854403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"152e90752219fb75053c6c367acc07181df0d9ad","datavalue":{"value":{"amount":"+0.7649615406990051","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":"Q5488611$924925E0-D2C4-4B02-9864-B4FA67BF4106","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1ad6184d80f8b7d58c81cb0faf292608cd0cee8","datavalue":{"value":{"entity-type":"item","numeric-id":4610326,"id":"Q4610326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c83ab4832179898f9e3db44649a9f5d1f8174b9d","datavalue":{"value":{"amount":"+0.7647722363471985","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":"Q5488611$C42353A6-60B1-42C9-BFAF-BB3FCCEF33A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01d8e2a07bdf5c12116499f0f45a028f0edea6ed","datavalue":{"value":{"entity-type":"item","numeric-id":4282600,"id":"Q4282600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6171ae4ce75e7cfbd130aba7b20a38618c50c537","datavalue":{"value":{"amount":"+0.7516384124755859","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":"Q5488611$A9713B33-DE6D-49D2-A3D7-B45FE8FF7830","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"88f03c4a54d1a3a4877e330561fa036a593e9092","datavalue":{"value":{"entity-type":"item","numeric-id":2809679,"id":"Q2809679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bfbb574b482360220e2b7be8607dda6e1ea03fba","datavalue":{"value":{"amount":"+0.7479757070541382","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":"Q5488611$216F44B4-B772-4678-96F0-FFB7F143A94B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5488611","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5488611"}}}}}