{"entities":{"Q4291039":{"pageid":6320640,"ns":120,"title":"Item:Q4291039","lastrevid":88660094,"modified":"2026-06-04T15:06:55Z","type":"item","id":"Q4291039","labels":{"en":{"language":"en","value":"A Uniform Proof-theoretic Investigation of Linear Logic Programming"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 563296"}},"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":"Q4291039$7AC659B4-641F-410B-A468-DB2F12DC735D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"38d60348b2ee8c2fb2ea6272c97b0ec8c806a943","datavalue":{"value":{"text":"A Uniform Proof-theoretic Investigation of Linear Logic Programming","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4291039$B00BAECD-390D-40BD-AE2C-EFC0E6058882","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7469932566bc840d92f87f960713d11a68a0a1c7","datavalue":{"value":"0797.03054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4291039$C2E23414-6055-4C12-8621-067FB66E58A2","rank":"normal"}],"P16":[{"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":"Q4291039$3C798A15-88C2-4632-ADDB-960B09C27D72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9f49fd2ae3d1da3d59eca25d7c6331cf7590a3c6","datavalue":{"value":{"entity-type":"item","numeric-id":1826633,"id":"Q1826633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4291039$EE99AC35-DC77-412A-8F57-717EBE10EB88","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2f372641ec08eb7e207a747fbb409927d029ac18","datavalue":{"value":{"time":"+1994-10-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":"Q4291039$43971C6A-901C-4A2A-9146-73701C429093","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d11866b1a465fafb1d1045bd871867b4a5d9001d","datavalue":{"value":"https://semanticscholar.org/paper/457c4f235e08f27a60c609cab688289e7b592e35","type":"string"},"datatype":"url"},"type":"statement","id":"Q4291039$F0AFB13D-9049-4126-BA2C-EA44A8AF4220","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4291039$C90E95E9-3C13-4DDB-A7B9-C3CDA4027E5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4291039$E8239E20-6243-4556-B709-46C7AE0183FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4291039$4905CFFD-3D5A-4A85-BF39-F3D06EC1D4A1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b78ff0d98175b102f7cefff80370bed9abb62fb9","datavalue":{"value":"563296","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4291039$0D26D635-8ADC-42E7-B0DB-5586E74E3780","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4291039$71224032-46C6-4943-8A6A-265F57933BB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51e737e7fb04cb2267085e5efca8df6d711c5f69","datavalue":{"value":"goal-to-subgoal proof search","type":"string"},"datatype":"string"},"type":"statement","id":"Q4291039$45BB41A2-7199-4D9A-95A0-7B694AC65D91","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":"Q4291039$BDEA05E6-DCAC-44BD-BFF3-32F8822A634B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2ebe440616246db019e999db753659bf13d40f5d","datavalue":{"value":"W1968027005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4291039$5E93E678-8BEE-4E2D-B015-566F9A5A128A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6a0dec4287861be691b293a3a2727a619a0c2589","datavalue":{"value":"10.1093/LOGCOM/4.2.175","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4291039$F32CA558-0C65-4699-BD88-0B3F1F7068D5","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":"Q4291039$E0A87581-7ACF-41BC-A12E-9C2635C23A8D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aad654cbc3d3fd4f21ff222ba43f6260ac0b7071","datavalue":{"value":{"entity-type":"item","numeric-id":5941199,"id":"Q5941199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33355b1354a48c8f71acf788b5b4e45bcdf74397","datavalue":{"value":{"amount":"+0.8151295185089111","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":"Q4291039$99FBC879-9D53-47A6-ACDD-4D9F11C9D1BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"62ae42a808b37199a642114f619618f8a831d761","datavalue":{"value":{"entity-type":"item","numeric-id":2640596,"id":"Q2640596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e641171cbb3df1b0dcfb1ab23a0d6f574afe7d9f","datavalue":{"value":{"amount":"+0.814018726348877","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":"Q4291039$BAD8EE54-B98C-4F73-8AE8-19ED944A3E06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d94a692e39d006471d956831b65a35119065b16","datavalue":{"value":{"entity-type":"item","numeric-id":4255503,"id":"Q4255503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"977497684f71a16e29ba9240bec90dac18df2f50","datavalue":{"value":{"amount":"+0.8127989172935486","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":"Q4291039$44F13A4A-56C4-4E5B-AF45-6ABF1EA371ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b1a1b8742ad4b4fd8b08700fc7fa5c02d34775c","datavalue":{"value":{"entity-type":"item","numeric-id":4018167,"id":"Q4018167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4986cceb228fd779d3ecc6271515d7dfe595f327","datavalue":{"value":{"amount":"+0.7906443476676941","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":"Q4291039$FDDD2500-AE5B-4BCC-B9D7-40A08B006147","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A Uniform Proof-theoretic Investigation of Linear Logic Programming","badges":[]}}}}}