{"entities":{"Q5881278":{"pageid":7910829,"ns":120,"title":"Item:Q5881278","lastrevid":101837108,"modified":"2026-06-06T02:58:48Z","type":"item","id":"Q5881278","labels":{"en":{"language":"en","value":"Proof by consistency in conditional equational theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7661649"}},"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":"Q5881278$1D5B61D8-D604-40BC-8279-7698CC8FED54","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"45bd6786a660b83392a76657986a6041cfd6472c","datavalue":{"value":{"text":"Proof by consistency in conditional equational theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5881278$6E9B2117-4F05-42ED-B2BB-3D1BBA7C5DFC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0c3d031ae5639d586314b8c670520628adab6162","datavalue":{"value":"10.1007/3-540-54317-1_91","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5881278$8C99C7C8-B899-4F92-B8BA-A146388B4956","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"32d1f06f1cf8279a92805a6a5735e1b231e8496e","datavalue":{"value":{"entity-type":"item","numeric-id":1323315,"id":"Q1323315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881278$81034EFF-02B9-477A-B40A-31B70DE15AC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5f18459558c2a64563a14a4617d308f7b62ceb1e","datavalue":{"value":{"entity-type":"item","numeric-id":1323316,"id":"Q1323316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881278$6126ECCC-D4CC-482B-BBC4-7A2BC37F1BE9","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":"Q5881278$1FE10433-DFC1-4AE3-8D9E-06D0D056E76F","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":"Q5881278$1A5CBE8D-5CF6-40D3-983E-8D565D909434","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5881278$CBB6CBE8-95BC-48C4-AC86-C703BF67B9A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5881278$59B32724-5C49-4146-A618-963457C3A4C3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3dfcf800ce659a0ab2111353dc878d2e59ab5e60","datavalue":{"value":"7661649","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5881278$A97B8852-4DF5-4B6D-9C8E-7F22EE7BDB3D","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":"Q5881278$ADE9B6A4-151E-4DB0-8D36-CE1DE461FE1D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"714d3ea72e27678a86f6d07a8215666ddb323424","datavalue":{"value":"https://doi.org/10.1007/3-540-54317-1_91","type":"string"},"datatype":"url"},"type":"statement","id":"Q5881278$25F88286-5911-4BA9-9F2F-3FB305785EFD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6f824e1767283d14753c6733a09e7223739ed2d9","datavalue":{"value":"W1911974211","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5881278$1AC33452-12E5-4FB7-9C9E-D4B01BBD3B35","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e0ffee538e4c43a952c1c9f2afffac3f21c7a33","datavalue":{"value":{"entity-type":"item","numeric-id":3817591,"id":"Q3817591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881278$EF87BE7F-7F7D-4FC7-878C-AE87FF2B938C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"378088a63ec20245823db74d6a8845609e39ce21","datavalue":{"value":{"entity-type":"item","numeric-id":593789,"id":"Q593789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881278$20060977-3418-4CC4-846F-84E680320FFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27f8f7ccc1c97a833573f62334972a5021fa3d72","datavalue":{"value":{"entity-type":"item","numeric-id":3817653,"id":"Q3817653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881278$06A23D6C-15C1-4ACB-8B67-481D57A5BEEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e5985ede7bd580a3b6a10ed6c28ef50e7923f93","datavalue":{"value":{"entity-type":"item","numeric-id":3819993,"id":"Q3819993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881278$F98BE59F-2261-4472-8716-9529C348BDB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"832de6b4823f54c6ca4b13abacfb4f83b948a7eb","datavalue":{"value":{"entity-type":"item","numeric-id":3725540,"id":"Q3725540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881278$184E6796-1971-43B9-8CD0-52BA4899B0C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"706dc1bd0a674d2529cf7888615cc60a3ec2ecd9","datavalue":{"value":{"entity-type":"item","numeric-id":1824381,"id":"Q1824381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881278$9C60C517-0D64-40FA-B4B1-82DFD9F20EE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3006b5dee5bcadfac4b9f65d6860d72f75e2f535","datavalue":{"value":{"entity-type":"item","numeric-id":3880309,"id":"Q3880309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881278$3F123D22-A04D-4277-883D-FE64A5342DD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de9f23bc58febcc60aff99ac387949cd328d3079","datavalue":{"value":{"entity-type":"item","numeric-id":1065790,"id":"Q1065790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881278$E3DCB571-106C-461A-9781-6204E1C01183","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc38d5f7a802e9ea35c5abdf22fc0003a899e4fd","datavalue":{"value":{"entity-type":"item","numeric-id":1100891,"id":"Q1100891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881278$788B895A-B476-4F06-932C-D931D8796279","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2cfe00f727b087a386cc5c62c253e81e5e8c7c0","datavalue":{"value":{"entity-type":"item","numeric-id":3783519,"id":"Q3783519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881278$126F5A15-B627-4645-AEC6-7DB3FE3F9F89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2aa8636068110e60d9c08dbf3263f79ceade6721","datavalue":{"value":{"entity-type":"item","numeric-id":3820053,"id":"Q3820053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881278$117D5A32-D4F8-4467-910E-16CD9F9C75F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d5fd915bbf4da0911503e75e957b53a75a17cd2","datavalue":{"value":{"entity-type":"item","numeric-id":3347863,"id":"Q3347863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881278$DFD7FFB0-2980-4685-B9FC-45B8C0F8AA24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9d03a1c424bcaeb63f633ac851296a587c7c9dd","datavalue":{"value":{"entity-type":"item","numeric-id":3732980,"id":"Q3732980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881278$90523193-AD78-4C0D-BF18-F746278EC807","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4b71055072311024197a19b15cc0eb0d22b3766","datavalue":{"value":{"entity-type":"item","numeric-id":3696496,"id":"Q3696496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881278$548EF114-EEB1-49C4-9EEF-AB684EE6C312","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f12141e2aa877229e96e51c0f331873e7688e14b","datavalue":{"value":{"entity-type":"item","numeric-id":1094888,"id":"Q1094888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2b352a0ad31d1e63dc3012234c8cbb383069cd4","datavalue":{"value":{"amount":"+0.8754051327705383","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":"Q5881278$C0BBA345-6F33-498C-A330-906027648D1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed7d1c79c5d9622e1eeadc1aaf2b3855954e4971","datavalue":{"value":{"entity-type":"item","numeric-id":1824382,"id":"Q1824382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13420232f43f8928d8fbbe5e3132434277433997","datavalue":{"value":{"amount":"+0.8002426028251648","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":"Q5881278$BE02E737-13AA-4C0F-84C6-F532987E2D46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f8537b16bd2ab63f05b68cdcf3fa52d30ef9300","datavalue":{"value":{"entity-type":"item","numeric-id":5881188,"id":"Q5881188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3fa3ba6c7aef6ef30d8a1143774cdda61a77bf03","datavalue":{"value":{"amount":"+0.7991847991943359","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":"Q5881278$18150450-337E-44DA-8578-D8284AC05C66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1719abdf64fbafcee49ac77342ac5d943f9d200e","datavalue":{"value":{"entity-type":"item","numeric-id":1854350,"id":"Q1854350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3084ff19166705e5321ee4b121c92f2e8d989328","datavalue":{"value":{"amount":"+0.7988081574440002","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":"Q5881278$7F042D8A-FFB7-42C0-9C3A-38EBAE4EB085","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5bd0fa66fd9009baaa2529908f98e3f28360a72","datavalue":{"value":{"entity-type":"item","numeric-id":5055713,"id":"Q5055713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ea467f126108cdd67d3173d499a985e92fdb744","datavalue":{"value":{"amount":"+0.7860900163650513","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":"Q5881278$83B8AACF-2D8D-413F-A196-8BD192070697","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Proof by consistency in conditional equational theories","badges":[]}}}}}