{"entities":{"Q1041587":{"pageid":1043435,"ns":120,"title":"Item:Q1041587","lastrevid":50840324,"modified":"2026-01-15T09:06:37Z","type":"item","id":"Q1041587","labels":{"en":{"language":"en","value":"Decidable fragments of many-sorted logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5641696"}},"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":"Q1041587$748BA973-6CF2-485C-8F76-A846C1423DDF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8d4e8bb20c21eee76f373a0e65005835d6934544","datavalue":{"value":{"text":"Decidable fragments of many-sorted logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1041587$89E1F813-2561-4457-96AE-2742A95554BE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"64de2311b52f7b4b34fb47458547c25bfbe1e7b8","datavalue":{"value":"1183.03007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1041587$95CA246F-3B73-4D19-9659-6F925BEEC0DD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"199b7ddb469215b53d1318fd53bce0037f9d9756","datavalue":{"value":{"entity-type":"item","numeric-id":1041586,"id":"Q1041586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1041587$0A965CDB-6247-4BD5-BF74-ACCA41FE843B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"91a6d5b55b11b7c5072badc33d9b23eaf1c7a459","datavalue":{"value":{"entity-type":"item","numeric-id":259067,"id":"Q259067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1041587$F6AE9EED-0A23-42B1-80B6-24E05116B31B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bc21e11847c1c83cb4b05afd906a2cc9c2cd1694","datavalue":{"value":{"entity-type":"item","numeric-id":671678,"id":"Q671678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1041587$459DA80E-5DB3-49C2-BC4E-6B4B63BAB136","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":"Q1041587$E16CC527-50B0-4902-9B4D-3566DAAF8BFC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"05684a6a76ae208e2fab322cb348b334f82a2986","datavalue":{"value":{"time":"+2009-12-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1041587$1E1DEDCE-6E07-4CAA-9A19-262E5FF80FE6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1041587$BBBADF1B-5197-4938-8FBA-1A0813DAB0BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1041587$9CD18CB5-FE84-4BD3-B293-C5F0CF0F04BF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d89af3ae08f6c4b6544124cf2b2331ba109e539e","datavalue":{"value":"5641696","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1041587$F9471E8F-38B9-49BE-9FB8-9F0106F23668","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01191f9d7f9387164a177c19b32f93873d483518","datavalue":{"value":"decidable logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1041587$E10E7DC9-19E5-4C61-BBB5-A7FCD02E9BBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c22ffdca00173ced5c1b8efb1893ae52a5dddae4","datavalue":{"value":"many-sorted logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1041587$7CAF5E92-9782-4197-A777-701351EAE41F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5006a9920f4095d0164c81800402e769b3f84a37","datavalue":{"value":"classical decision problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1041587$F83B50D5-79D6-4556-84D1-7753BDF24831","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1041587$96B55307-7282-496F-AB66-D5A0B13833F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2efd6ca2e632b6ca823bc98fefd73c07a1f518da","datavalue":{"value":"transitive closure","type":"string"},"datatype":"string"},"type":"statement","id":"Q1041587$EFBD4C76-4470-4FA4-985F-D22CC8E87D2F","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"56183f18c1b7292025f517695163436751950f86","datavalue":{"value":{"entity-type":"item","numeric-id":22253,"id":"Q22253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1041587$EAEC3F97-94AF-4E05-B304-AA0E8BDC63E1","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":"Q1041587$2264231F-2570-4181-8AAC-8458CD2516C3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4e7cbea67b4ac71e1b2da79badc1953cd607aad2","datavalue":{"value":"https://doi.org/10.1016/j.jsc.2009.03.003","type":"string"},"datatype":"url"},"type":"statement","id":"Q1041587$237314F7-A5A2-47D4-A2E5-8A0FA91244A4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3b4c61128341f919c794775914b7fc9fabf88b18","datavalue":{"value":"W1971727793","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1041587$18CE3F70-FAA2-4C40-B006-408C354D9486","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c57a5b84520a864ef17d595cc5ac2e62a5f6149f","datavalue":{"value":{"entity-type":"item","numeric-id":3498453,"id":"Q3498453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1041587$BD61AEB2-2AA1-4C76-B0A2-36847A7F02E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76ab547d446e56688961df139f4d0a415e90fcd0","datavalue":{"value":{"entity-type":"item","numeric-id":1606131,"id":"Q1606131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1041587$5F7DB21A-3C26-4137-AAAF-6D7FFD9E7EE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37fd0d69e7d3624644483b2eb4d25ad4d37dc7f1","datavalue":{"value":{"entity-type":"item","numeric-id":5957904,"id":"Q5957904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1041587$119CC84F-26D6-4CC0-BC3D-CD968E205507","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af4555c0d89e243a8a9351cedc1b4ffbfceace09","datavalue":{"value":{"entity-type":"item","numeric-id":5691140,"id":"Q5691140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1041587$1171E86C-692C-46AB-8985-0CBFB5E1F781","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbd46e00e025849b54a0892b5e385ef0d563478f","datavalue":{"value":{"entity-type":"item","numeric-id":1393228,"id":"Q1393228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1041587$F6474FFF-0E47-4CFD-9588-686B5BDCE4DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1007c5b91c8207d3ed3336e3c47a961d37b6339","datavalue":{"value":{"entity-type":"item","numeric-id":4417916,"id":"Q4417916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1041587$7D264764-4658-4ED5-B412-4634F11DD3CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc87ad8b718d652fb612db8e727345bcdad12278","datavalue":{"value":{"entity-type":"item","numeric-id":3695253,"id":"Q3695253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1041587$1CB1539C-F12D-4761-9DF1-D6F096EAFE0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"838d1a0279b6bb577c789f0255b088571acfd62f","datavalue":{"value":{"entity-type":"item","numeric-id":5311254,"id":"Q5311254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1041587$87446188-D658-4CDB-B69D-7B5C2612276A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9846a136de6407a3b8e1fec51a7185c1349644cc","datavalue":{"value":{"entity-type":"item","numeric-id":3189836,"id":"Q3189836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1041587$C51D7EF9-6CA6-4B85-B9E3-EC48ADF4B390","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b88ce955fc019155ebd9bd8280efa709429c3b2f","datavalue":{"value":{"entity-type":"item","numeric-id":2848413,"id":"Q2848413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1041587$3503C930-1FC2-4A54-AAE4-572D383739B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"edf96fd313efea8fcdd4baf3f82e7012dac99f22","datavalue":{"value":{"entity-type":"item","numeric-id":4110975,"id":"Q4110975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1041587$28E3F77D-5C09-4CE5-BDE1-AFEB5C9555DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a2c73ea523922ddf10917d5a60c3c9e9df84e94","datavalue":{"value":{"entity-type":"item","numeric-id":3995087,"id":"Q3995087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1041587$B43A6E3F-066A-4726-B05C-D9C1BE777DC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27c43b7e3610435da5759ec0170acf5a3e0de1df","datavalue":{"value":{"entity-type":"item","numeric-id":5797034,"id":"Q5797034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1041587$491D7703-0911-4A34-A97C-77B6899DF092","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"669e58d82f7aa1d2536a333b7b428e29ed66a75e","datavalue":{"value":"10.1016/J.JSC.2009.03.003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1041587$CE8A94D7-F5B7-42F1-8341-2DDA543320FB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54b953f0df74b274878c61a926b10656efc2c62f","datavalue":{"value":{"entity-type":"item","numeric-id":3498453,"id":"Q3498453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"549cadd9b29a299635807d5afb910bae97bc91ea","datavalue":{"value":{"amount":"+0.9141072034835817","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":"Q1041587$8B66D37B-9CA3-4FAC-8203-69D506146120","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c5d0c72f0acd7b6f0cf1020caf90e6c6aff5862","datavalue":{"value":{"entity-type":"item","numeric-id":4693763,"id":"Q4693763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9cf766dbfddac5aab1877972880be35ea59aa34a","datavalue":{"value":{"amount":"+0.7237725257873535","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":"Q1041587$BDB8CD22-D576-45C2-AB3B-73CE67F127A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0ff6e54c1b50c0922974c0029a41fe5cf9ceaa2","datavalue":{"value":{"entity-type":"item","numeric-id":821564,"id":"Q821564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a05d75309b9e81665db1fd4d1cf602f34e052b78","datavalue":{"value":{"amount":"+0.7165579795837402","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":"Q1041587$81628797-0D8F-4C6C-B032-7460543645F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8230829ae2bd2bbae05eb4da4845af9f4e0f123","datavalue":{"value":{"entity-type":"item","numeric-id":3754601,"id":"Q3754601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93e395d7766dbc69cce0131ab67b6ea69740f6c6","datavalue":{"value":{"amount":"+0.7165467739105225","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":"Q1041587$A93C8B8B-3B56-4DF2-9316-37F3A9674FF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c86b40a0866284973d5d20420bbaad6d6ec04556","datavalue":{"value":{"entity-type":"item","numeric-id":4858033,"id":"Q4858033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88515a3247eccaaf1d6bd2e3b35ca3707cc354d6","datavalue":{"value":{"amount":"+0.7122666835784912","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":"Q1041587$35D164AD-39A4-43CE-9046-A45BB48ADAA1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1041587","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1041587"}}}}}