{"entities":{"Q4018167":{"pageid":6047948,"ns":120,"title":"Item:Q4018167","lastrevid":55191553,"modified":"2026-02-04T15:25:31Z","type":"item","id":"Q4018167","labels":{"en":{"language":"en","value":"Logic Programming with Focusing Proofs in Linear Logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 92845"}},"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":"Q4018167$73845427-928B-47A2-B585-F6449A783E3A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"24829ceb6ce314623dcbe289e31afcf0a5fc2658","datavalue":{"value":{"text":"Logic Programming with Focusing Proofs in Linear Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4018167$6FA4F2D5-022B-4E8B-A2B8-E1512540352E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"985d28389d8a9bd48b7fd939854a986d9c73c90e","datavalue":{"value":"0764.03020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4018167$CFB6FF84-AA06-4BD5-9C2A-1F03F236C79A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"edc6b08afc1b2eff2d555228deeeb1c4cf07164e","datavalue":{"value":{"entity-type":"item","numeric-id":1818357,"id":"Q1818357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4018167$13FD361E-D516-4C16-AD2E-1A983E707A72","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"be1a65edbb43ce1fc59464f99e70afbd93e8e2a0","datavalue":{"value":{"time":"+1993-01-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4018167$27C7E4D3-8FAD-4B9D-8BDC-A90CE9963047","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4086a136de4593e847044d7d1c4ab0a017934e63","datavalue":{"value":"https://semanticscholar.org/paper/b9dd97a9ed29263923a2d7da195f1f7e790242d1","type":"string"},"datatype":"url"},"type":"statement","id":"Q4018167$C350A53C-4824-415B-9299-F1134AEA7A36","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4018167$7CAF15D5-FE75-4F2E-947E-312667347A7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4018167$7C012D8F-B12F-4E02-B9FF-C9A5EF3ECE0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4018167$B82BC69B-1041-4550-889A-AE656E195147","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4018167$7D85BAAD-05E6-4C50-A5CB-B617ACE3729C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4018167$D6CE5957-ECB6-495D-A552-1A1C6B57FA13","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"99c8b8f42c8f35cb36fc1584e9e4019c5344a9a1","datavalue":{"value":"92845","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4018167$357F84A9-3D09-4201-9FE6-8367F8EBC6CD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1a91003eec20b6e040430743ad3336209f33dd0","datavalue":{"value":"proof normalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q4018167$A78A62F2-083A-4E28-B1CB-CA7FDB32D28F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5363a43478db45b4fe7ca9bf2ddd9319c05c5363","datavalue":{"value":"parallelism","type":"string"},"datatype":"string"},"type":"statement","id":"Q4018167$645842EE-48B9-48D0-B132-02F75AA7AE13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q4018167$2E073F50-E759-4276-9433-7428473CF861","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97f22640f797ca8f03204cefadf400767f397892","datavalue":{"value":"abstract models of computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4018167$5392620A-787D-46C6-9429-09B8D3DEC17C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q4018167$035F953E-887E-4709-87E0-BAF611748F51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"500af2b2ef83531089f2bed756ae51e647c3ace6","datavalue":{"value":"Gentzen style sequent calculus for linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4018167$79995D02-5222-4025-B56F-59954B904F71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4879e8c35d56fd297a402f7c1eba53238e04d57b","datavalue":{"value":"proof search","type":"string"},"datatype":"string"},"type":"statement","id":"Q4018167$5093D9BD-0507-43EE-8D83-CF09A01EADBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f7fe97b75bc3aee7034a8536c48def79de765be","datavalue":{"value":"focusing proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4018167$993480AF-857D-484E-B72B-F1D726FB1909","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"614d88d59f361d2d6b9adacc8d9751a483cab710","datavalue":{"value":"symmetry","type":"string"},"datatype":"string"},"type":"statement","id":"Q4018167$2C05B1ED-49E4-449B-B043-3CB36A80DF6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"657b1dc58dc8383e3970395d34173e20fb990340","datavalue":{"value":"programming language","type":"string"},"datatype":"string"},"type":"statement","id":"Q4018167$DCD72347-469F-48BD-A787-3D5BF284F355","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e7743abd656e3351fc175bc0bee2d922252dbaf9","datavalue":{"value":"fragment of linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4018167$D73F7CBF-E3F4-42BA-9C2E-0D0A18571E73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3d3aeee5e0175c54adf64e860219b9164c779cec","datavalue":{"value":"normalization to clausal form","type":"string"},"datatype":"string"},"type":"statement","id":"Q4018167$131D1002-6E23-4F5B-9F58-058A891858D4","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":"Q4018167$5FC901CE-2885-49BE-9AEC-11D5E78A1AF0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7d8c00837d4f3c896929064e0695f12ce2e46ace","datavalue":{"value":"W2070324762","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4018167$96664BE6-0F1F-4DAF-BE65-A5EF14BACAED","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7196f858790cb836d11cdb6e323035175bf9e2f9","datavalue":{"value":"10.1093/LOGCOM/2.3.297","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4018167$F8841825-1C81-49D9-97ED-0D687CADC609","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":"Q4018167$C33A5EC9-E3D6-4FE8-A37E-AEE131EC0797","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e2816a2e0785ea7f14c7001eeac53eb415d9709","datavalue":{"value":{"entity-type":"item","numeric-id":1840461,"id":"Q1840461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37dfc7944da119a54488e99a233f9aaf0ba508ad","datavalue":{"value":{"amount":"+0.8432876467704773","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":"Q4018167$CD12FE2F-FEC3-4580-A58D-56B477C25151","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"685ac1e545d2a29702ab34a3e6bb986e02475644","datavalue":{"value":{"entity-type":"item","numeric-id":1327384,"id":"Q1327384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21748140170833d2aa28c5458b40e340848fd7a1","datavalue":{"value":{"amount":"+0.8316166996955872","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":"Q4018167$8FD91674-B295-4052-9391-1E76CB7E809A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"465690f04c9941c4510fe2f97ecb75a7eeb41eb4","datavalue":{"value":{"entity-type":"item","numeric-id":2333326,"id":"Q2333326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14f01c1c65d905963272c8f20f5f37286a43c1ee","datavalue":{"value":{"amount":"+0.8312029838562012","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":"Q4018167$6BCF731F-C092-48A5-9F6A-39833CC89ECA","rank":"normal"},{"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":"ccca725b897b8a95c1327bf73fcd433160302c53","datavalue":{"value":{"amount":"+0.8299738764762878","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":"Q4018167$F1022105-3569-44DB-BD04-0C1BF90066C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1eb2102511dec07fb34f4d057bfc8c8f969e5375","datavalue":{"value":{"entity-type":"item","numeric-id":2503319,"id":"Q2503319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2adbbf1f5a90391875bd1d0ec3dc1f9d968f59b8","datavalue":{"value":{"amount":"+0.8299738168716431","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":"Q4018167$9DD18805-181A-4B9D-8A3E-FFC36AF25482","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4018167","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4018167"}}}}}