{"entities":{"Q2996912":{"pageid":3007636,"ns":120,"title":"Item:Q2996912","lastrevid":85887158,"modified":"2026-06-03T12:20:49Z","type":"item","id":"Q2996912","labels":{"en":{"language":"en","value":"Decidability and undecidability results for propositional schemata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5883657"}},"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":"Q2996912$DCAE6EFE-3522-4575-AD33-4A04DC8C95EB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b3fb6e1ea7100f1fa8b3bed1f7570b838b543b06","datavalue":{"value":{"text":"Decidability and Undecidability Results for Propositional Schemata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2996912$D536ADC5-B858-46C5-9A6D-044CA54E5DD0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7908002c15b540c06643b01b8cc9c15a7b23fb4b","datavalue":{"value":"1220.68087","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2996912$FDB27664-EC99-4835-9DCF-64B0EB625B24","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"87b58753525834b22585058db2818f43049ca5ee","datavalue":{"value":{"entity-type":"item","numeric-id":475382,"id":"Q475382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2996912$62EFA1B3-8E7B-4CD6-9457-34692AF878DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ef8d9904a40baa08e6f0a10240e7a4f7764dfa82","datavalue":{"value":{"entity-type":"item","numeric-id":167062,"id":"Q167062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2996912$C832016A-026F-4DE4-A17E-DD8DB3B94C1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dbb66b347a8501d3e88bb4fc6db185a6021261a5","datavalue":{"value":{"entity-type":"item","numeric-id":167063,"id":"Q167063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2996912$18A2C216-D30E-4F46-B958-D092EE053B06","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"bb469f8c3341c58b96368431d3c87cbee3d3281e","datavalue":{"value":{"entity-type":"item","numeric-id":110835,"id":"Q110835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2996912$97997868-3640-4437-828C-82CBB9C4FBE3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8e8cf336a281775d77f65d41085e5a0ff9f89f4f","datavalue":{"value":{"time":"+2011-05-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2996912$A5DD1D24-8E30-46D8-9043-91761539ECB1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2c57da936950788c845abf5c91b9e16259fd807e","datavalue":{"value":"https://arxiv.org/abs/1401.3900","type":"string"},"datatype":"url"},"type":"statement","id":"Q2996912$D7985E68-2D07-4E8A-B473-34C10B5D228F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2996912$1D952C08-11F9-4AE2-8E9F-F9FE241913BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2996912$5B0B6120-72B7-4FB0-8D9D-60779DAA36BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2996912$3F23CF2B-BF79-49D7-B39C-0111112A340A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2996912$128B09CF-25E0-477E-A138-FB2301D94607","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"324d78836bf7ced90bb479a24663905ecc52a385","datavalue":{"value":"5883657","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2996912$81A05CCD-9645-4935-BC7F-7E75F17A9A85","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"184ed03aceac0f5a7a6ddcddbe03db4a62d7974e","datavalue":{"value":"propositional formula schemata","type":"string"},"datatype":"string"},"type":"statement","id":"Q2996912$F4F169C7-364B-4EE0-96F5-EBFD89B114C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8709d51038f2f19b7b520c781b62b2b6d93967df","datavalue":{"value":"iterations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2996912$0CB9A92F-90B9-433A-B00B-970911899A1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"399b9e1e3dfb4d5d20fe08cfc9ed58b7f9d6ad41","datavalue":{"value":"tableau proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q2996912$6D40DC81-CC33-4B0D-8E70-0A04578E0C8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c8dc4086ed16908dae5015117681bccb9380a58","datavalue":{"value":"coding of Post correspondence problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2996912$89307361-A87B-4EF8-BFD4-03F31FCED10A","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"234e3e7a23a9deffbe8036f161945b3f3dc0a939","datavalue":{"value":{"entity-type":"item","numeric-id":20343,"id":"Q20343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2996912$4E4CC1F9-0DBE-4897-A852-DA2CF712D710","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4b1f4655c4093a6763ca4d938d08d8f6020262f1","datavalue":{"value":{"entity-type":"item","numeric-id":22153,"id":"Q22153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2996912$12BA98C7-9070-46BE-909F-6A1E93A4FA56","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":"Q2996912$D6FB079B-951D-4A50-A55D-7BE948EA287D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"51a83ae9e7558c82c184151649dcc9e7e4f32a32","datavalue":{"value":"W2095943001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2996912$B26F41DB-8A02-467D-9E11-E5727BC1FEF9","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"25fb1649f51e39213eabe1b485914560d4345e5c","datavalue":{"value":"Q129517862","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2996912$84BBF1A0-9280-4773-BDA5-5CFAACE3B1AA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"17d6b004471c2aed6d95b127ca2bda394de0d088","datavalue":{"value":"10.1613/JAIR.3351","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2996912$C03307EC-2411-40C0-95F9-BB5C7E960667","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eced778ca8a133c24e6193a3a92105e82ee2858b","datavalue":{"value":{"entity-type":"item","numeric-id":3648719,"id":"Q3648719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1d73482433706515faffdf9e0ea392f4b9a634a","datavalue":{"value":{"amount":"+0.8795210123062134","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":"Q2996912$C9070BE4-B3B0-42C7-A924-4E75F1720D1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0ca811bd079d4bfe6c8aae75f90cf6eba538d3f","datavalue":{"value":{"entity-type":"item","numeric-id":3564849,"id":"Q3564849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a4f209d551dfe8419634db82147f11a18e7f0cc","datavalue":{"value":{"amount":"+0.8732558488845825","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":"Q2996912$6CA2F8CD-C16A-4651-ABC0-2338C2BF2B83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5189c1123acddeb4d0da53271b5bc5c74279d56b","datavalue":{"value":{"entity-type":"item","numeric-id":5747768,"id":"Q5747768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22f87d39b84366180c7cddbb9c406d0c1b8e56b8","datavalue":{"value":{"amount":"+0.8409837484359741","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":"Q2996912$F693BBBC-B715-404C-A358-F35FA0B9C6AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9794b5c678caa1e43972ceb7063bd0ba353da15d","datavalue":{"value":{"entity-type":"item","numeric-id":3010358,"id":"Q3010358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22d4ba327d392e1c6765b86dabb0951736ac9704","datavalue":{"value":{"amount":"+0.8371143341064453","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":"Q2996912$6685A9E1-9A72-448A-A43E-8B252FBF28DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bddfc75f5fc7e06f7d03193a2884493995fea06f","datavalue":{"value":{"entity-type":"item","numeric-id":5498869,"id":"Q5498869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a5a8642b05d0b4332ee50f284d9395de86290ac","datavalue":{"value":{"amount":"+0.8298720121383667","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":"Q2996912$F92A2E5A-3044-48A3-AAF5-2F71C7E65F8A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Decidability and undecidability results for propositional schemata","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Decidability_and_undecidability_results_for_propositional_schemata"}}}}}