{"entities":{"Q4236057":{"pageid":6265658,"ns":120,"title":"Item:Q4236057","lastrevid":46588731,"modified":"2025-12-25T03:14:05Z","type":"item","id":"Q4236057","labels":{"en":{"language":"en","value":"Equational Reasoning in Non-Classical Logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1268510"}},"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":"Q4236057$9BB7C9DA-1189-4A02-9484-042B2D3CEF52","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a37d2ff6e392b2b1dca9e04f8ccb76df80abcf45","datavalue":{"value":{"text":"Equational Reasoning in Non-Classical Logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4236057$E1020EA6-1BE6-41A1-9D84-B30D6158687D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"324600b88d141a5e12c4194b37c8fb12b9cbc768","datavalue":{"value":"0918.03029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4236057$F825B85B-2131-4A30-8BB8-F7FC4F20E679","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8603d4eb156d44166d4c701e2a2355f5f59146ca","datavalue":{"value":"10.1080/11663081.1998.10510932","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4236057$E3DFF518-E1B0-42FE-B59D-332428299A78","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"932edb623e9fc48fa0c14766bb48b251dc113bb4","datavalue":{"value":{"entity-type":"item","numeric-id":2901187,"id":"Q2901187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4236057$2891E2C2-8E9F-4A56-A7B6-CA1DB1EC8828","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d984021e434aeb026202aeb4375e73e79212a851","datavalue":{"value":{"time":"+1999-07-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4236057$0B349D41-73C3-409C-84CC-33823692DF8C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fbbfb5aba73a457eaaeba301a3b683d0603e498d","datavalue":{"value":"03G15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4236057$ACCE3D39-3032-486B-9DE2-763EAF0B7CE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4236057$2891B0CF-6493-4664-B5E6-6DE14E84A48F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4236057$0F73CCBF-CA7E-4E02-8F17-E4FB951AC9D0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ab0458ad45fe158828c5c8f66d0b33e96b4f6d63","datavalue":{"value":"1268510","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4236057$96157BA0-D509-4FD0-BBB1-2E81389E37E2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"199dd3cc417c20523b770c6c8cf20a0b7d3f9f67","datavalue":{"value":"relation algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q4236057$548C068E-A6D3-4B64-9EBC-CC55F1DFE4F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"159fe06ba7197d498a9f480d3ea6c1e881b75c93","datavalue":{"value":"fork algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q4236057$CFF85034-4A81-4CED-8F13-0A05EB2ED533","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22b43563172dfcb82ecbcedfdb84aa22316218fb","datavalue":{"value":"fork logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4236057$2B1596A9-39E8-4403-815E-E05517F3C3EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4236057$9A8CF5AD-B41C-45C6-BBCC-0A427EB5B0DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be534d4950188959ddd440cd819bee45bdd13efe","datavalue":{"value":"relevant logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4236057$05AA572E-30E2-411F-B863-94473CD3491C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec5f9848057f674cfae183e8de4c147b96f2b27f","datavalue":{"value":"interpretability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4236057$E043ED93-E4D5-4A84-AB7E-BCBCE624807F","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9bc08cca12dff13e56e887929c6b1a5688c3f92b","datavalue":{"value":{"entity-type":"item","numeric-id":21739,"id":"Q21739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4236057$8AD6BC67-D692-4644-AA06-7EDE966E0DCA","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":"Q4236057$3746B8A2-4974-49CB-B214-232D705B576C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fa44ba3b98ad88ce66d6ea94697033e04eed4677","datavalue":{"value":"https://doi.org/10.1080/11663081.1998.10510932","type":"string"},"datatype":"url"},"type":"statement","id":"Q4236057$A6862C09-8060-495F-B850-8F804D6F6261","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7e4c3065331ab4dfff96f57a72e59891cece2641","datavalue":{"value":"W1971743535","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4236057$B11629F4-AEDC-44DB-B2F0-D20C7F62B757","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"70d052754cd24a2c72f6d81a83b10e4a4ae95da1","datavalue":{"value":{"entity-type":"item","numeric-id":1924753,"id":"Q1924753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4236057$20F9A30C-28CD-43FD-A576-B7967E8156D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fe16d465cfd46b2f8174b1759f08ec39a85db07","datavalue":{"value":{"entity-type":"item","numeric-id":4362877,"id":"Q4362877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4236057$455801E6-28AB-4137-B5A4-96BBB643D4DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40235e727aa70ad53a8a9ff6438bdb8cd979e140","datavalue":{"value":{"entity-type":"item","numeric-id":4846258,"id":"Q4846258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4236057$64234997-B705-4F31-8F04-9FC96634A226","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a83c5bba08836658449fdf4ae250c354d4a04d39","datavalue":{"value":{"entity-type":"item","numeric-id":4860653,"id":"Q4860653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4236057$5DC1866B-CD55-4921-9EFF-717DB9ACEBD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dabddbda2c90efbc7858f44bea11b065fa6ae574","datavalue":{"value":{"entity-type":"item","numeric-id":5810599,"id":"Q5810599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4236057$EA088AD1-45E5-4A0D-8DD8-D19E567815BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fe5bbcf5918492c7dfe6244e9597e637230da0b","datavalue":{"value":{"entity-type":"item","numeric-id":5728442,"id":"Q5728442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4236057$5E4E011C-545B-44C6-99BF-53196581AA2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe43f8ee3da5f5771d52de00bea9146672c1f6c6","datavalue":{"value":{"entity-type":"item","numeric-id":2648517,"id":"Q2648517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4236057$2B398DC9-D8CC-4D53-A275-4E1FB231AEC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ef6b7c59fac119ac3f03e84d55ec72ed8036989","datavalue":{"value":{"entity-type":"item","numeric-id":3809799,"id":"Q3809799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4236057$AA5ADE5E-D9CC-485F-A80D-21AA1C3CE4B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d60b044b1850ce2096965e6773060dbf47e3c64","datavalue":{"value":{"entity-type":"item","numeric-id":4032669,"id":"Q4032669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4236057$C97279CB-5128-4173-9742-6EBF42AB50E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4cdd6bade1c3454eda14333c0a2ad28ec83785b4","datavalue":{"value":{"entity-type":"item","numeric-id":5781189,"id":"Q5781189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4236057$AE8A67F9-A0D4-4137-B1EE-DD1B11A62C67","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7731c4e5b1739669acd5248e62edc63aa9fcd5b","datavalue":{"value":{"entity-type":"item","numeric-id":4345010,"id":"Q4345010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b38d609f1e5047a7c380ae30809cea2bd3cf92c","datavalue":{"value":{"amount":"+0.9196425080299376","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":"Q4236057$3F8CC75C-566C-4FB6-9E0F-DD0D90536043","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1032866713d130bf354ae3605f1b453cd358563e","datavalue":{"value":{"entity-type":"item","numeric-id":4362880,"id":"Q4362880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e72cbc73df04e5af2077017e12e0f0232a92fb19","datavalue":{"value":{"amount":"+0.78358393907547","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":"Q4236057$F7EC65F3-2079-4071-AD6A-827C183993FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e478fa79dbca04ae855f584932b156f9ba6c4e69","datavalue":{"value":{"entity-type":"item","numeric-id":2735802,"id":"Q2735802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5190ef0b61459f9417f14a9bca80abbf0110ddd9","datavalue":{"value":{"amount":"+0.7705934047698975","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":"Q4236057$F68A9933-E8FD-494B-88AF-7D4648BF3EF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9db09a7fb68a35978bf8fa26d9ca51fa460cb0e7","datavalue":{"value":{"entity-type":"item","numeric-id":4450440,"id":"Q4450440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f52481a1615b1917a6eb7e49df320eb23c3f67f","datavalue":{"value":{"amount":"+0.7542914152145386","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":"Q4236057$E286F9CB-38AA-4216-BC1B-7FDDD381A9D6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4236057","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4236057"}}}}}