{"entities":{"Q5741577":{"pageid":7771128,"ns":120,"title":"Item:Q5741577","lastrevid":52582727,"modified":"2026-01-23T01:02:49Z","type":"item","id":"Q5741577","labels":{"en":{"language":"en","value":"The undecidability theorem for the Horn-like fragment of linear logic (revisited)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6607292"}},"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":"Q5741577$EAB62517-AE9C-482D-8E3A-5BC01B419C8A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"aa8dc8b230edde5f4f61d56d6fc5ddd5c219619e","datavalue":{"value":{"text":"The undecidability theorem for the Horn-like fragment of linear logic (Revisited)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5741577$15F7747B-6E57-484C-9C23-568F77D9A22D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7cc079f1ab1d3e227b1ff3b213af33bda196029f","datavalue":{"value":"1362.03011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5741577$66A211E4-33D1-4B04-A546-8A11AB48CEDC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"885ce9c007936219de382e82b013716a2883c727","datavalue":{"value":"10.1017/S0960129516000049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5741577$DCF16BF5-32A9-4A80-8B27-E8F19AAD5C3A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a53527e88e2413966f3c8ce14c92b878c452756d","datavalue":{"value":{"entity-type":"item","numeric-id":2709784,"id":"Q2709784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5741577$B83025B4-ED8A-4D51-98CE-51B7ABDCF624","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"983499d539ab43bbb6f5e5531bc62eb931d87235","datavalue":{"value":{"time":"+2016-07-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5741577$B55696AC-5357-40F2-8F59-43FBFF99AA11","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5741577$9B80EA46-38E0-4698-B893-4320D30DEA2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5741577$4DA10270-573C-402C-9FA1-5348E6F26E30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5741577$4426DB12-08A1-4DC6-B74C-534D5F619758","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"13a811af8bed8b97bdc1cc4841f78a452defc0c2","datavalue":{"value":"6607292","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5741577$57B07930-34A8-4B66-BA24-19E05FABFBEB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4f77aa9981ae6690e559660487e9993c7adcfdc1","datavalue":{"value":{"entity-type":"item","numeric-id":1326779,"id":"Q1326779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5741577$664152D3-1000-4E56-A0E7-74959D7752CB","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":"Q5741577$9E9CF0E0-D966-472A-A24D-61178A0AD689","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"074134d8b33bdd9cca293a6e8f5f8ee888ec9918","datavalue":{"value":{"entity-type":"item","numeric-id":1192352,"id":"Q1192352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5741577$95212D62-2624-4226-AB1C-A5550E8BBE37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1b26bdc210a3d291b796088837bddd84cce8b4c","datavalue":{"value":{"entity-type":"item","numeric-id":775202,"id":"Q775202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5741577$B9D1A4FF-5E30-451F-A096-63214ABACCC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c16932bbfeea8ec33ad70f0a2658fe162ed5cde","datavalue":{"value":{"entity-type":"item","numeric-id":3677184,"id":"Q3677184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5741577$24708C75-9C40-4CD7-8F64-000BDD5F0953","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a2b2a8cf71a298beb3d5742fd0312db85012cf7","datavalue":{"value":{"entity-type":"item","numeric-id":579249,"id":"Q579249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5741577$6BD18A20-7D70-4080-9156-EFEB631F1EF5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3ded513c62eeae2ef96d4e47e56d0690ec340c4f","datavalue":{"value":"https://doi.org/10.1017/s0960129516000049","type":"string"},"datatype":"url"},"type":"statement","id":"Q5741577$277AAB7A-E885-4F9E-BDCD-14AE75513415","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"546a4282a0cc60df060345ee47a3c2ae4a78b731","datavalue":{"value":"W2346730081","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5741577$B33320C4-BB3D-4E9F-8D12-D67231AEC3C9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d97ce14ea95f4a3fc8c3af98620ebc361d7a77fb","datavalue":{"value":{"entity-type":"item","numeric-id":1192352,"id":"Q1192352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bef1f9f5dd2b4a92f04549c5b50000947491ecab","datavalue":{"value":{"amount":"+0.8196101784706116","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":"Q5741577$D2697ED5-D8DD-447A-B627-F647AB7BC95F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"675cf61082922d5d5d600d8d64fc3c9b7af64a7e","datavalue":{"value":{"entity-type":"item","numeric-id":4783300,"id":"Q4783300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"577138f4e17cc8d67db70a259c59b3be10480400","datavalue":{"value":{"amount":"+0.8170373439788818","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":"Q5741577$1711F201-EA09-45D9-B0C4-AE0A4AC6C784","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95d96604730de5cece1c4fb1df83b2af00472c9d","datavalue":{"value":{"entity-type":"item","numeric-id":1337693,"id":"Q1337693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45179fbfde6e5eff8f8abe573d2b1c7dad2df99c","datavalue":{"value":{"amount":"+0.8014444708824158","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":"Q5741577$388F174C-0ED6-414B-B81A-54018F72199C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f502c6a6ef566da0ff2f60e40ee683ddb083636","datavalue":{"value":{"entity-type":"item","numeric-id":2517231,"id":"Q2517231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45179fbfde6e5eff8f8abe573d2b1c7dad2df99c","datavalue":{"value":{"amount":"+0.8014444708824158","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":"Q5741577$60AAA190-B2E1-4143-9F2D-A24DB2CF17C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d67c7d845ea924732a87d2f1d2a1d25c95a8028e","datavalue":{"value":{"entity-type":"item","numeric-id":1326780,"id":"Q1326780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39bcbc929bc46ecadaf5fbb3e5350e3addef249f","datavalue":{"value":{"amount":"+0.7999347448348999","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":"Q5741577$FF016631-8806-44DC-AADE-C9E84E9F30CA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5741577","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5741577"}}}}}