{"entities":{"Q1186430":{"pageid":1197179,"ns":120,"title":"Item:Q1186430","lastrevid":66800049,"modified":"2026-04-12T12:56:42Z","type":"item","id":"Q1186430","labels":{"en":{"language":"en","value":"A decision procedure revisited: Notes on direct logic, linear logic and its implementation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 36590"}},"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":"Q1186430$0FF51348-B0ED-4DDE-96F1-36810FBACC2E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"49759733695585f005efa06ecdeca806f7b4f866","datavalue":{"value":{"text":"A decision procedure revisited: Notes on direct logic, linear logic and its implementation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1186430$CABF33A6-F24D-4C86-AA84-40A6E54FFC06","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"766e81a7191695e1937dfab525483083acf85a9f","datavalue":{"value":"0763.03010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1186430$FDFEF894-BDB2-4FAC-9987-FEDC93724D72","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5a05f56319a1b3071b833650d837ab00f873d5e7","datavalue":{"value":"10.1016/0304-3975(92)90069-R","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1186430$B86B8739-EC23-453D-83FA-B22789145E75","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"52e93a0cd05b273179f9b07d27a043ad61db98b3","datavalue":{"value":{"entity-type":"item","numeric-id":860831,"id":"Q860831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1186430$50875E73-9DA3-4DBB-BB95-9E6533D93D0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2a5ae867760d8ac8c576f6f7d4130b2635044bdf","datavalue":{"value":{"entity-type":"item","numeric-id":755599,"id":"Q755599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1186430$BB65DBB1-E8B1-4E30-B020-45EF7AF64552","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1186430$A7DA30C6-C202-4177-859C-BA5A04AD7E26","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"120787504bea9565def539fb4bfb19084956028b","datavalue":{"value":{"time":"+1992-06-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":"Q1186430$8F3BF87B-A75E-47EB-A592-26A136A00C3D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1186430$2346422D-3FD8-4F82-AC95-1330C01294AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1186430$281EB8CF-8FD8-42FA-A363-5F33DDDBC807","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"47cef82fe394908b8d439278e7d46032bcacfa58","datavalue":{"value":"36590","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1186430$FDA8E940-8880-4761-B015-ED70672CD3FE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"86e9014bc0c55dc43b4315f06a197e0b1b200ed7","datavalue":{"value":"decidable fragments of predicate calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1186430$1EA2785B-062A-4360-83D8-BD372B3DBA10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"30d4ed2f35f6e73acfa0b633a974ed20c81014ef","datavalue":{"value":"direct predicate calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1186430$FBED5852-3C6D-4D4C-B5EE-282919BDB5A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1186430$E9CD4CF8-BF06-4D9C-8CB3-B6450BCB215C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1186430$D29E1C39-1A5E-4B49-97EB-1FF0CEB41FA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb79299daf8f29391d6c8a2b4222865ffe474551","datavalue":{"value":"decision procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q1186430$44C696C0-8308-4B9D-AD53-70FAAFF65946","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":"Q1186430$4D38385F-47E2-4854-9D54-82CF8218806B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"82c7ff17d186eeec961fee84f228f3f7d74176a9","datavalue":{"value":{"entity-type":"item","numeric-id":1106836,"id":"Q1106836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1186430$3FBE4187-6A97-401B-B077-48D41766C47B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea08311e5cede8e103fdccb0049502f7fb72a285","datavalue":{"value":{"entity-type":"item","numeric-id":1264140,"id":"Q1264140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1186430$876DDD50-B3EC-4391-A19B-4EA4B8DE1698","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da9035a3503d06ad7946ad5c060940ce1e7b476e","datavalue":{"value":{"entity-type":"item","numeric-id":3905252,"id":"Q3905252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1186430$F488FFBC-F027-4147-98B7-8D4D5279A7C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54351e142ba78301c80d7c3516f9734aa8ddee58","datavalue":{"value":{"entity-type":"item","numeric-id":3791120,"id":"Q3791120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1186430$7CA2FC1D-1718-4B75-AF5A-A0D3350B2057","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e5923c7bd6a86f8aad90888006ae6fa710622ab","datavalue":{"value":{"entity-type":"item","numeric-id":3819066,"id":"Q3819066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1186430$113AA54C-CE50-404C-8474-07408BF309CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f353e97938040ada5b04d78e18191e9bca457854","datavalue":{"value":{"entity-type":"item","numeric-id":1066880,"id":"Q1066880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1186430$1026B12F-6592-4D24-9E24-6A0DE2E6363F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb103918e031217ff37d103578191225b1a433c7","datavalue":{"value":{"entity-type":"item","numeric-id":5843956,"id":"Q5843956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1186430$8C340C76-E989-403A-A098-CB820A67A55D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad6a31ccd986ac68d738b4166a45d437dbce48cc","datavalue":{"value":{"entity-type":"item","numeric-id":4694214,"id":"Q4694214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1186430$8DF8B05B-BC9E-4C95-AC3D-1212BCEC141F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8d95625ec9e5b7c46cee42d87256157d982706a","datavalue":{"value":{"entity-type":"item","numeric-id":5559220,"id":"Q5559220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1186430$BD5F3108-40D2-46BE-BD6B-A14DBA4D4C2A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ebef037ffb6ab97edf6bc9155b51ab67db5b7753","datavalue":{"value":"https://doi.org/10.1016/0304-3975(92)90069-r","type":"string"},"datatype":"url"},"type":"statement","id":"Q1186430$9804E5F8-A9E8-4537-8647-B769417C6D6C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b13a22898a0def8f5730283031e0f299c87313dc","datavalue":{"value":"W2025349135","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1186430$4AD31964-55E2-4BD3-93A8-F7E8A5D74F4A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e028d417ce6ec8443bcbb523bc4cbce9a9a057e","datavalue":{"value":{"entity-type":"item","numeric-id":1066880,"id":"Q1066880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01f6d72c896fea0d5353001488664d48b5be51f0","datavalue":{"value":{"amount":"+0.8562766909599304","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":"Q1186430$CF0B59FE-33B4-4D38-BB23-5A142742287D","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":"79c6645f92a6b66f9914077c29f0f1aed096802c","datavalue":{"value":{"amount":"+0.7783629894256592","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":"Q1186430$F9D9488D-2EBF-4930-88A7-B7D9E8532FF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a1a12c1e0a5a77e2f0e3ee42f30fdeb4e0ae403","datavalue":{"value":{"entity-type":"item","numeric-id":4948542,"id":"Q4948542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9ddec39ad328a6b4edb3ade57353cc7522cd868","datavalue":{"value":{"amount":"+0.7755165696144104","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":"Q1186430$497BDBBC-FAF5-4B49-808B-02ED5B7E3436","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d754cbed912eb7eef6a5473f5c698589e9db67e","datavalue":{"value":{"entity-type":"item","numeric-id":1340963,"id":"Q1340963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9ddec39ad328a6b4edb3ade57353cc7522cd868","datavalue":{"value":{"amount":"+0.7755165696144104","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":"Q1186430$36540249-A0DF-499C-9D42-660B89997140","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41731ee19d9890f0c9d1ff939419833e8c40c55f","datavalue":{"value":{"entity-type":"item","numeric-id":5053010,"id":"Q5053010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa01cca2709a8c31b7c41421413df7820405f0b4","datavalue":{"value":{"amount":"+0.7678778767585754","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":"Q1186430$754BE078-4ABA-4BF7-80DC-E5FB293B5DA5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A decision procedure revisited: Notes on direct logic, linear logic and its implementation","badges":[]}}}}}