{"entities":{"Q5351954":{"pageid":7381528,"ns":120,"title":"Item:Q5351954","lastrevid":100961318,"modified":"2026-06-05T23:33:18Z","type":"item","id":"Q5351954","labels":{"en":{"language":"en","value":"Automata theoretic account of proof search"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6767592"}},"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":"Q5351954$7CB05A23-119A-48C6-9D80-3302DA879012","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b047c8e26d0858b63aefb0776184f4d0c53ad540","datavalue":{"value":"1434.03060","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5351954$191DD2A4-CCFE-4A1A-9AD1-536B4152CDBA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b6c4126f41aa55f809ebb637deb5d362ebeeebb7","datavalue":{"value":{"entity-type":"item","numeric-id":276262,"id":"Q276262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5351954$D39DB750-E0B2-4FAB-BDB7-89DA41A6B153","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"219a2f47f22fa561a103f4e2d26eaefd86ad9ae8","datavalue":{"value":{"entity-type":"item","numeric-id":1104310,"id":"Q1104310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5351954$C23B52F0-44F4-4C4F-A51C-90C43E011996","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"77409c9e904108aefa46d70345016e61363f1c7a","datavalue":{"value":{"entity-type":"item","numeric-id":801049,"id":"Q801049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5351954$7860DE46-89C1-4D28-B187-C5E293FC6CC5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"98ec418c891dba68be18e8fdbc46de88ff46e2e4","datavalue":{"value":{"time":"+2017-08-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5351954$541FBD7F-BDF9-4F29-8BFA-BDECF9815BEB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5351954$4F64111B-CA77-4BB5-8D9A-E1B830D33EEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5351954$264DAC9F-59BB-479C-B568-970446BAC92E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"78da2204184ddf084e277db34bd9f6cd3acf840e","datavalue":{"value":"6767592","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5351954$A7F05A00-8201-4951-A3D6-57F6D1879962","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d033aa5da80632e6cc21e548be4e712e81eb947f","datavalue":{"value":"simple types","type":"string"},"datatype":"string"},"type":"statement","id":"Q5351954$20EE01A2-F525-4B67-B394-3146381FEB0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dae07fe120276ee4c21c2b056394433e1dd18622","datavalue":{"value":"automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q5351954$6472B3F5-6685-4A24-97EA-BF2E65B99B6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c24938459dbf20196734dcf6c3a35c8a8724abee","datavalue":{"value":"trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q5351954$7193E61F-D703-4205-B50B-1BE5BE554B3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"31ed5ee2497363347cba1ff675b68b7ae174268c","datavalue":{"value":"languages of proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q5351954$ADF018E0-154D-4654-A24E-44257241C3EE","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":"Q5351954$56CCF9A8-D050-4D2E-8368-34CB87208CCC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"91ef4912f987376f23095d790f6c78cbf32dc1b1","datavalue":{"value":"https://repository.ubn.ru.nl/bitstream/handle/2066/147299/147299.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q5351954$F194ECCC-D474-46F4-93F9-9FBE448772A2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"83338a4798ae28e31673040a50176ad918b1f592","datavalue":{"value":"W2267324769","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5351954$0CA730BF-280D-4BB1-84CC-07CFCAC037A7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"01da1fdc04260ecc5470a6d600630c9e033035c7","datavalue":{"value":{"text":"Automata Theoretic Account of Proof Search","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5351954$AE61D36D-47BE-4B03-9DF1-9C3BCB10BFD2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"63dd340a1e4c21fa7a5a4d4ab7701d3884d5e00e","datavalue":{"value":"10.4230/LIPICS.CSL.2015.128","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5351954$F6E819B3-8DCD-4D6A-AB65-DDAF0DBB87AC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf35205c2a1f7e25e11d1588c1f0a098d3566768","datavalue":{"value":{"entity-type":"item","numeric-id":5236550,"id":"Q5236550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eab6f23f1151daa0416430d60fbf4c82ddf89f8f","datavalue":{"value":{"amount":"+0.7466597557067871","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":"Q5351954$5550B1A0-65A6-4829-84FB-F9978D140745","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4282372d23bdff95bc575282e1a32af16ec89a0c","datavalue":{"value":{"entity-type":"item","numeric-id":2409748,"id":"Q2409748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8d5079a273a080ad906f178ea1b715d9d2ae0e1","datavalue":{"value":{"amount":"+0.7381995916366577","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":"Q5351954$E13FC5EA-3D98-4BAF-8DC5-569B82321ABE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"452b25f8262b4dc37f73326ee7da67099a47a43d","datavalue":{"value":{"entity-type":"item","numeric-id":4012884,"id":"Q4012884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57bde328f9b6ce5868693717fc7fe8eeff5a27ca","datavalue":{"value":{"amount":"+0.7347913384437561","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":"Q5351954$90A10E1E-6AC3-4AA5-BE33-F3F291D9513E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3aa2eca1729bedce32f244a4ef8fcd55294f7b64","datavalue":{"value":{"entity-type":"item","numeric-id":4934557,"id":"Q4934557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57bde328f9b6ce5868693717fc7fe8eeff5a27ca","datavalue":{"value":{"amount":"+0.7347913384437561","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":"Q5351954$D844844B-994D-488F-ABB8-D0A762168A6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5db6eb8672249f3e4ffa2e823d2ce14f8763746","datavalue":{"value":{"entity-type":"item","numeric-id":1575935,"id":"Q1575935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b51350603e97a5191b3e9b339abd06833874db4f","datavalue":{"value":{"amount":"+0.7149916887283325","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":"Q5351954$37AF703C-6A34-4D8F-820D-9515F5E3C309","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Automata theoretic account of proof search","badges":[]}}}}}