{"entities":{"Q5881275":{"pageid":7910826,"ns":120,"title":"Item:Q5881275","lastrevid":101837081,"modified":"2026-06-06T02:58:47Z","type":"item","id":"Q5881275","labels":{"en":{"language":"en","value":"An application of automated equational reasoning to many-valued logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7661646"}},"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":"Q5881275$FCE8C48B-76E0-46CE-9485-82500B2522AE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f1d24c64f7d361e5b18100b68e5b689d55657676","datavalue":{"value":{"text":"An application of automated equational reasoning to many-valued logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5881275$6C0D4772-BB0E-47E8-B519-261866C54DFA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"19057c0d88aa900b183f380135168ef603d357fa","datavalue":{"value":"10.1007/3-540-54317-1_88","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5881275$5505D77D-575A-4DE3-A6A7-2CDE244BDD6D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9d66928e7f941233a38d3104e0405cbb2b577305","datavalue":{"value":{"entity-type":"item","numeric-id":437034,"id":"Q437034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881275$B61E9A83-23B5-44FD-8A80-66EFFE053473","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b455290f5b835c3773a6eb2262897ac70e7a163b","datavalue":{"value":{"entity-type":"item","numeric-id":287273,"id":"Q287273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881275$7F2B3774-E0E8-46B1-A938-EEC8A1120CC9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4a4b5901641e74cf791bcdabc63125c8cff24565","datavalue":{"value":{"entity-type":"item","numeric-id":5881262,"id":"Q5881262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881275$20F999FC-859F-4B1B-9B52-9C04E5AE9321","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fa71b3b2a7b7ab0138de60bd723d67e92e6e5110","datavalue":{"value":{"time":"+2023-03-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5881275$9A004281-D3BB-413B-AC56-D78E93527A01","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5881275$26015748-B9AC-4F7D-A443-B572283AD6A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5881275$7AF7F6A0-B6CA-4ADA-B361-70035B988893","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0d38c0a79380e4ecc591d61c0698981573012eca","datavalue":{"value":"7661646","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5881275$9D896207-7D56-4F5A-A9DD-4252AB8E0C6A","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2dd2b9122264aadcbfe3f8a915ad1b206e944175","datavalue":{"value":{"entity-type":"item","numeric-id":22073,"id":"Q22073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881275$545B37DF-ECEA-42C0-B312-43DAFF97FD5C","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":"Q5881275$71DF7AE2-814E-47B0-B876-67E3E481BA4A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"83bc259c64cee337e71af5347110000d3fef73f8","datavalue":{"value":"https://doi.org/10.1007/3-540-54317-1_88","type":"string"},"datatype":"url"},"type":"statement","id":"Q5881275$D9F7954C-B572-4CAD-9B90-EBD4E2A22424","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"faa9b3fb526e64dbb8342e08ca922fff2b18848a","datavalue":{"value":"W1502451498","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5881275$54651FC9-60BE-4CFB-929B-B495BC4F3C36","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c67593f7c9b3d88eaf0308ab1b3a37035501fbd","datavalue":{"value":{"entity-type":"item","numeric-id":912653,"id":"Q912653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881275$B51F5364-0596-45F3-A1D9-AB37C59EDA9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87f12d0ea6620ae453839c87f5857853b4330786","datavalue":{"value":{"entity-type":"item","numeric-id":3222191,"id":"Q3222191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881275$1D950D67-F430-4F74-8CCD-32820981D3F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b95a10e194b852a6f6838734d909c8312bfc826f","datavalue":{"value":{"entity-type":"item","numeric-id":3028369,"id":"Q3028369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881275$B7853EDA-62AA-498C-B158-F7537EEF21FF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5fceee6da5ed9a280b4aa5a634d2d23e1715ff7d","datavalue":{"value":{"entity-type":"item","numeric-id":1869612,"id":"Q1869612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa89b4fb34cc1c066d0994c54f063068ab72ea1b","datavalue":{"value":{"amount":"+0.8042643070220947","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":"Q5881275$43C22DCC-C75F-46DB-BA54-836E40709C26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc47d5d7bda03aa5f81bd804c6f977624a87a40a","datavalue":{"value":{"entity-type":"item","numeric-id":4289327,"id":"Q4289327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa89b4fb34cc1c066d0994c54f063068ab72ea1b","datavalue":{"value":{"amount":"+0.8042643070220947","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":"Q5881275$72B81D44-CE6B-4438-A01B-46A3CFA939C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"afb9836b5354ac90e5db460bdec9acd6bbdb848c","datavalue":{"value":{"entity-type":"item","numeric-id":4282535,"id":"Q4282535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9918abad60359bcf5f4f31f681df4e9e76ce5bad","datavalue":{"value":{"amount":"+0.7837719917297363","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":"Q5881275$3E6AE10E-4BA3-48C9-B5D0-DC85CF3C2DF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6021f70475ec456907b1059df7b91dfa79a09357","datavalue":{"value":{"entity-type":"item","numeric-id":1897558,"id":"Q1897558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8a4b4552b828d51a12b0b2d1a5d98ff65fec43f","datavalue":{"value":{"amount":"+0.7836717367172241","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":"Q5881275$0263508D-0010-4C82-86FE-6AE536E89DB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d74d4385a98677699e9bf417aca0b56ba167aaf2","datavalue":{"value":{"entity-type":"item","numeric-id":1697332,"id":"Q1697332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6aeb4ba0977a8a4b2729d9df927b8f7b84667830","datavalue":{"value":{"amount":"+0.7785419821739197","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":"Q5881275$44EF13C9-BAAD-4E22-91BC-FCF6AE55827E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An application of automated equational reasoning to many-valued logic","badges":[]}}}}}