{"entities":{"Q1322772":{"pageid":1333522,"ns":120,"title":"Item:Q1322772","lastrevid":70137675,"modified":"2026-04-13T12:42:03Z","type":"item","id":"Q1322772","labels":{"en":{"language":"en","value":"Consolution as a framework for comparing calculi"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 563555"}},"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":"Q1322772$7B5F0CBF-E9F4-4A05-8D1D-B45143B43DB6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4b6e49ead2bdcf0f8a9d5bb3efa34cbc28592a3a","datavalue":{"value":{"text":"Consolution as a framework for comparing calculi","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1322772$B3721A8C-81CD-4A55-AEBC-7E239CCEE45D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cca61f6dd9a325d8cf2ada1576785cfd0501d2a6","datavalue":{"value":"0803.68120","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1322772$0ABBE110-EE81-4C06-B122-4D009F236B6B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"63095d86c000f08026b5823fdf1f8a25bfef2e00","datavalue":{"value":{"entity-type":"item","numeric-id":167057,"id":"Q167057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1322772$CB9D309C-14B2-4F41-B6F5-9CFBC68029D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"41eb43f669c6e9bd047f95552906672fa500745e","datavalue":{"value":{"entity-type":"item","numeric-id":1322771,"id":"Q1322771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1322772$3AD4AAED-A4D0-46F3-9EBA-CC73A553A3F7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ea72303f92787da89554ee5fa15621068821a762","datavalue":{"value":{"entity-type":"item","numeric-id":99061,"id":"Q99061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1322772$49B2389E-5F15-4DC8-BA48-2568FFBC3B90","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ae4d7b05535bc7692a75fc587d4810a7bdebded5","datavalue":{"value":{"time":"+1994-05-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1322772$DD9794A6-981C-43FF-BD18-43F45D81D8D0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1322772$607300C6-F240-4DD8-B087-8257DB4C5279","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1322772$2E07125C-9777-4798-9AF9-D28DE18B1BBB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"196ebf96c6d0e4b64caa58a9a811ddb825bb8b09","datavalue":{"value":"563555","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1322772$6E9980AE-CD88-4E36-BB33-435E66555E43","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"98237211cf8c824c1bf00fb6ce744b1c7c262c15","datavalue":{"value":"first-order proof calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q1322772$07E1727F-AEBC-4F93-8865-3534D5F43365","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0ab61c09bd9222c4643f4a0b1b0c44652fec7609","datavalue":{"value":"consolution calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1322772$225618E1-A71F-4121-8A58-DE10C8EFD271","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfac5eb6431ec88e2a6e9bafbfcf7b49dda794fc","datavalue":{"value":"resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q1322772$FC38C183-DCB8-4D2B-90D5-6C6039E1E04B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bda92c9d5daac6fb98ed51076a051c41b1f506d2","datavalue":{"value":"tableaux model elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q1322772$0E3BAC2C-F20C-4AF3-8519-30340DB86BA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9766ea21e04bbb663ab057ef2e9635b0fd3090d5","datavalue":{"value":"connection method","type":"string"},"datatype":"string"},"type":"statement","id":"Q1322772$E2EDB4E0-54C9-418C-A7DD-9B16FF73E3E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6c98e3dc64270ec0de715f8b38eca46cbd549427","datavalue":{"value":"model elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q1322772$784EE1C0-11B1-4802-AC69-E90D5A501242","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c845b927c7c8299e3e10848fbe9373f51ae3559b","datavalue":{"value":{"entity-type":"item","numeric-id":13461,"id":"Q13461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1322772$EC5F3280-9A81-4DD8-A734-AFDCC9F6A909","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":"Q1322772$7B190E76-B4DC-4AE4-83E1-DF367FE3CBE2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"073b2599988a87accf81f19ffda18deca33b1921","datavalue":{"value":"https://doi.org/10.1006/jsco.1993.1058","type":"string"},"datatype":"url"},"type":"statement","id":"Q1322772$ADDB573B-EF25-43E8-B557-C4947A70AE37","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e58d6fb504343f077a82c14327c8c1aa25fed0cf","datavalue":{"value":"W2153361692","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1322772$D4D39322-7467-4CE0-9F90-5FBB0525A0E5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8cd84fba160794a7b7bef5f2f84db2bc6ac12dcf","datavalue":{"value":"10.1006/JSCO.1993.1058","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1322772$206C9626-8068-4749-AEA0-916174325F98","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0248a02bdcd65163fe9b559e3498d6bb3ebc853","datavalue":{"value":{"entity-type":"item","numeric-id":3997615,"id":"Q3997615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"142845597446e435f896c0b7f3cc2b4347fc24b8","datavalue":{"value":{"amount":"+0.793655276298523","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":"Q1322772$C18B7B0D-CEC7-46CC-A6C6-165510D28A70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e897c348f06bb3b24951cea559215d08c672adb","datavalue":{"value":{"entity-type":"item","numeric-id":4012177,"id":"Q4012177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aef3b3d6da898417252811089e42e0d69ae38c3c","datavalue":{"value":{"amount":"+0.7682545781135559","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":"Q1322772$4AF1E02D-4E29-48DC-88AE-CC434815B845","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bddeecc505b945efff5bd70e19cbf4040757fcdd","datavalue":{"value":{"entity-type":"item","numeric-id":4263168,"id":"Q4263168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b764443802c30de70e5853f9326efb01ed16653","datavalue":{"value":{"amount":"+0.7470197081565857","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":"Q1322772$F77E1551-6BCD-435F-BD32-D2B2E98D4B1F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Consolution as a framework for comparing calculi","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Consolution_as_a_framework_for_comparing_calculi"}}}}}