{"entities":{"Q3568228":{"pageid":5598132,"ns":120,"title":"Item:Q3568228","lastrevid":51015212,"modified":"2026-01-16T05:31:39Z","type":"item","id":"Q3568228","labels":{"en":{"language":"en","value":"Restricting backtracking in connection calculi"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5722877"}},"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":"Q3568228$99C86E49-4B82-4F12-BEE3-8409DFE0FB04","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8410647900efbc7db70720cc10d97ee670add6e4","datavalue":{"value":{"text":"Restricting backtracking in connection calculi","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3568228$E5BA7CE3-DEAE-4538-A032-CC9C2180EC9A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4bd343e2a668e3afb953c7795d0a281eddb8b3c2","datavalue":{"value":"1205.68363","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3568228$D014346B-7980-45A1-81E9-A1B9279352A3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4c93c88974abc5fa9fd8e4b8e81a18b1cda5db31","datavalue":{"value":"10.3233/AIC-2010-0464","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3568228$5A1AD2E8-5003-4688-880E-81C2508181D4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d2d00c1197e57bdc49c1c8779be1049cb4d10dbd","datavalue":{"value":{"entity-type":"item","numeric-id":877896,"id":"Q877896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3568228$F73EC30A-0780-4FD2-9BD2-8273EB95C86A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b0d5ef245f17a6ec236579b9502514ae3fc93c36","datavalue":{"value":{"entity-type":"item","numeric-id":2811219,"id":"Q2811219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3568228$C87B77B6-7687-4CA2-AC26-48C0D52C3541","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1f3ce47aa4f0dc34b47bc79e3d35b38da1ee5e5f","datavalue":{"value":{"time":"+2010-06-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":"Q3568228$EB1A5A1E-C312-40C0-AD7E-BAC5E63548AB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3568228$61100122-5DD3-4491-81AC-C626A8D11D02","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7d818dac38fc65791ffc40264fe5cd5a31870e13","datavalue":{"value":"5722877","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3568228$E66DF8A2-E0F1-4F20-BA34-75CDB940C29D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2b8ac0f07ba04ba0f938955c1509001fde35f8e9","datavalue":{"value":"automated theorem proving, connection calculus, restricted backtracking, leanCoP","type":"string"},"datatype":"string"},"type":"statement","id":"Q3568228$FA4D4BD2-19B7-43DE-89CE-922275A77D8B","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b443b776731e3bc75eb79b752e7ef8c4cee2d97a","datavalue":{"value":{"entity-type":"item","numeric-id":15455,"id":"Q15455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3568228$DCFD29E4-2198-4466-81B4-C748606AB747","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e931e3e9b122c67605faf5edb5155d9592d9fbbd","datavalue":{"value":{"entity-type":"item","numeric-id":13195,"id":"Q13195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3568228$866FD7F8-1A84-4978-99D8-095372D8C333","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ae510ff9d7026cdfae7484e5c88af62cffb92c77","datavalue":{"value":{"entity-type":"item","numeric-id":21735,"id":"Q21735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3568228$27D9EA6D-A801-4352-98D6-E24E00E2A8DD","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":"Q3568228$017F5B35-0B4C-4526-9367-1A8A09349FE8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"365be9f29565f9a32b1b64f57d755492dee59d82","datavalue":{"value":"https://doi.org/10.3233/aic-2010-0464","type":"string"},"datatype":"url"},"type":"statement","id":"Q3568228$88EBA9CD-B23E-4032-B93D-139FCCA22D25","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1a80c5414fc72bd276cebfdef938b4c03ce432aa","datavalue":{"value":"W1826940506","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3568228$53C1192B-A998-41E1-B205-54A124A2971F","rank":"normal"}],"P1643":[{"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":"baa8a059b2e8a2ea78a4e84d4c3916cbb1652643","datavalue":{"value":{"amount":"+0.8016478419303894","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":"Q3568228$F410FA73-1394-4647-A554-A253560B388C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f849e8c0079e919fbd590217e8c1c62f3f277e67","datavalue":{"value":{"entity-type":"item","numeric-id":1404981,"id":"Q1404981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6e95064a9a1a4461373732dc1f3f430d2c3b1a4","datavalue":{"value":{"amount":"+0.7475507855415344","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":"Q3568228$77D857FD-4DF9-4692-AB15-B9E2259FB6C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a7a1e17eddf55b13c84ff2defa149d71a93296f0","datavalue":{"value":{"entity-type":"item","numeric-id":4530460,"id":"Q4530460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6e95064a9a1a4461373732dc1f3f430d2c3b1a4","datavalue":{"value":{"amount":"+0.7475507855415344","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":"Q3568228$DDCFBDFB-0F9B-4F01-BC6D-9889034DA1C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"abdebb52186246d59a54f3ef771145a69c30b368","datavalue":{"value":{"entity-type":"item","numeric-id":1604795,"id":"Q1604795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"963c4fcc1282f295c3a7509f4736a4f4b5e4f938","datavalue":{"value":{"amount":"+0.7467825412750244","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":"Q3568228$F8F3C609-6BB5-49A3-A997-B7AB9215C7E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d46680a2102220f2fd452643ef7fdeb867dfdd0f","datavalue":{"value":{"entity-type":"item","numeric-id":2721202,"id":"Q2721202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78dcc2fddb46f09bf407b7385e92360972190d85","datavalue":{"value":{"amount":"+0.7418544292449951","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":"Q3568228$DF729323-6F6D-45E7-87F6-151E022115B5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3568228","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3568228"}}}}}