{"entities":{"Q877897":{"pageid":879745,"ns":120,"title":"Item:Q877897","lastrevid":50087599,"modified":"2026-01-12T22:05:22Z","type":"item","id":"Q877897","labels":{"en":{"language":"en","value":"The ILTP problem library for intuitionistic logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5149288"}},"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":"Q877897$8C5A22CE-760E-45D3-8A41-DBC8CE3BEC3F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"886401d751e918b7e917b07ec7c72b0c8d48bdbf","datavalue":{"value":{"text":"The ILTP problem library for intuitionistic logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q877897$A351A23C-A6D8-4FA3-8C2E-3CC1174386B8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"254901a3842109327055742720b9038fcb89b6aa","datavalue":{"value":"1113.68093","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q877897$FCD0B476-0A29-4216-8842-2F54C0431682","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"67bd31a228240db87ccebadcd822c2f02977875e","datavalue":{"value":{"entity-type":"item","numeric-id":877895,"id":"Q877895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877897$F7DCD64A-DB84-4EAA-9809-103FC494493A","rank":"normal"},{"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":"Q877897$1AF5B94F-62E5-4F51-8D29-5DC87C4B0744","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1f5895b753a2581412a8b72570b484e8af47e3a8","datavalue":{"value":{"entity-type":"item","numeric-id":229738,"id":"Q229738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877897$3BCE5657-9978-4613-9D2D-D557AF78FDEA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877897$70199853-8C9F-487F-BFFE-7978AF040DED","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3ceacc095bcddce0ac9017ef9315962415a2b424","datavalue":{"value":{"time":"+2007-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":"Q877897$952DF37A-26E9-4902-B3C8-7E387780EA09","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q877897$0EE5FC2A-AB40-46D3-9EAF-9DC119174537","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q877897$9F3B55CA-5705-4327-84AC-22BF01E7971A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e1cffc701c1e55ec8a909b383cf4461471aebf99","datavalue":{"value":"5149288","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q877897$1FA89CA7-80CB-4ED5-BF22-C9018B47EA31","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bee0b97069c8895a01619caf55c1d55b488f7f69","datavalue":{"value":"Automated Theorem Proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q877897$FED8AABA-25E8-4DD9-8DE7-68ADD7E599E5","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2804601b97b7e44dbfbde424596bb535899fd316","datavalue":{"value":{"entity-type":"item","numeric-id":16820,"id":"Q16820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877897$7A1C9389-E67B-4C7E-B66E-6D23B9937B35","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":"Q877897$A7974434-F471-4829-97BE-3D95DD3A2104","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d3ed9701b24c07e8ddeb19932e1fa77191c06e95","datavalue":{"value":{"entity-type":"item","numeric-id":16327,"id":"Q16327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877897$5CCEDC90-6F75-422F-AF7F-1827BDA1BA07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"824e66560bf30b02805a91f52441dbc38109d38d","datavalue":{"value":{"entity-type":"item","numeric-id":21736,"id":"Q21736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877897$D060E8E1-C721-4195-9AB1-14311264E080","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1f5c1fbd593c30b23585084ed7dc0b38aba15b71","datavalue":{"value":{"entity-type":"item","numeric-id":14651,"id":"Q14651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877897$3C02C45F-F35B-477D-9A56-35653CA65C72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ccc835e0a8e8cc3d18de29524c9b3729f324d45c","datavalue":{"value":{"entity-type":"item","numeric-id":21955,"id":"Q21955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877897$453B14E0-C633-4705-BE4D-2AA3EBD5356E","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":"Q877897$A6F69496-E7B1-4518-9000-977139C17E76","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"702f422af223ffd27ba71984955785158d99297d","datavalue":{"value":"https://doi.org/10.1007/s10817-006-9060-z","type":"string"},"datatype":"url"},"type":"statement","id":"Q877897$52D812B0-783A-40AE-9811-A516392FB6FD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b1dce5314428aa567bae2d78c2cbc762503211b8","datavalue":{"value":"W2127391555","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q877897$8F77A8C6-6C75-4731-8D8A-CF5384245258","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"eeea2976793d771150363b4826295f0afda172d4","datavalue":{"value":{"entity-type":"item","numeric-id":2723417,"id":"Q2723417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877897$E9A6FCB9-D84F-4840-B5C7-E97B1B4C5968","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f3ea02b15a15931f4cd364dd4a0ce61e10ac225","datavalue":{"value":{"entity-type":"item","numeric-id":703860,"id":"Q703860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877897$928B309C-833D-407C-8040-7B5834137599","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a4735154d50c08d584a8e28202802fa9d661654","datavalue":{"value":{"entity-type":"item","numeric-id":5679729,"id":"Q5679729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877897$B0C3068F-2C7C-4192-B0D6-D9C384D57210","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe4c1ea89bc5854f421d3a6b161146d5aecefa12","datavalue":{"value":{"entity-type":"item","numeric-id":4032862,"id":"Q4032862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877897$424FA2CF-CE9D-44D5-816E-4F5D5E6381CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a75434ef849c3ec6704b06b6fb305736b6e78f3f","datavalue":{"value":{"entity-type":"item","numeric-id":2749862,"id":"Q2749862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877897$66840A47-FDEF-4274-9F70-CAC063519740","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"106140d9fb2ddb5c73297217e0bff123535c9a13","datavalue":{"value":{"entity-type":"item","numeric-id":4540540,"id":"Q4540540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877897$2B8B8CB2-895B-4C53-B363-B7211462D4D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a726891a88b4cb71922ceb4a3dee86d5cac2a804","datavalue":{"value":{"entity-type":"item","numeric-id":5479281,"id":"Q5479281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877897$410BF408-6E4F-46BF-90E1-9D1999A3B975","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3541189dbca4e0105c0a9c876ec92d5ddebd0d42","datavalue":{"value":{"entity-type":"item","numeric-id":1902978,"id":"Q1902978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877897$E590ADC4-7884-482A-8F61-59D5215D1395","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a35f2c212884fcdf982636b15c3c4439ced5efb","datavalue":{"value":{"entity-type":"item","numeric-id":5479292,"id":"Q5479292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877897$CF30E447-6EB5-4D67-9122-E70007C42E66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"366403401f7622593b34e9b9dbb671be627d25af","datavalue":{"value":{"entity-type":"item","numeric-id":5285991,"id":"Q5285991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877897$2C5C2BFD-4F35-4638-9062-383B8D2F77AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c9a08fec1d053c691c33507add33a1579c0bfcd","datavalue":{"value":{"entity-type":"item","numeric-id":4539627,"id":"Q4539627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877897$625B4DE7-5DFE-4C69-B6AC-3403F5E5DBE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c5b09e879fc9e6d166a18cb26ec583e2bf401aa","datavalue":{"value":{"entity-type":"item","numeric-id":1272614,"id":"Q1272614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877897$47B40BE7-E504-4AE4-8CB6-5B6D7B6AFECD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1ad4799b7d9b805646aaea798660b83d80c7ad71","datavalue":{"value":"10.1007/S10817-006-9060-Z","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q877897$207D6008-14F5-4EB4-AB2D-E208EECC5D1D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b47951768102a81cb25d03d9612c1e446b4c476","datavalue":{"value":{"entity-type":"item","numeric-id":5479292,"id":"Q5479292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"365f7ba837cc183a9b9259ee83492afd56034c41","datavalue":{"value":{"amount":"+0.9301164150238036","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":"Q877897$4AE04020-161B-4E15-8E3B-0FA1556885DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bcef76d2290887d976aaecbc93f58a3b42a09d4f","datavalue":{"value":{"entity-type":"item","numeric-id":5018490,"id":"Q5018490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"739b12e504130493d661a3c3200e273e298dc8cf","datavalue":{"value":{"amount":"+0.840735673904419","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":"Q877897$635A19F6-D856-4168-A907-233300CC96C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03c9cec7e7c1bab0322e012f270e0dade0de0599","datavalue":{"value":{"entity-type":"item","numeric-id":2908515,"id":"Q2908515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be03c2065d29b95c6dce082cf3b85df6f16d1672","datavalue":{"value":{"amount":"+0.8230400085449219","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":"Q877897$85CE79E1-4A87-4C6F-AEA7-4D96F4157BFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13f103237e1b4889a22b078c6687a2ac0c70875b","datavalue":{"value":{"entity-type":"item","numeric-id":5210777,"id":"Q5210777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41b13eee854b1a64e0ae4000cfd5970b3af62c3c","datavalue":{"value":{"amount":"+0.7907353639602661","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":"Q877897$CEC951EB-3B14-4D72-B588-98F8B889D779","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a780274f7d45e7496490ce3dfcc953566820d3ce","datavalue":{"value":{"entity-type":"item","numeric-id":3499763,"id":"Q3499763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55d41019ae2f6a25eaf417a8f31ffc0b40a8cde0","datavalue":{"value":{"amount":"+0.7672823071479797","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":"Q877897$3FD5F4FE-C06D-4BC6-B35C-DBE2131EDB05","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:877897","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:877897"}}}}}