{"entities":{"Q5157440":{"pageid":7187011,"ns":120,"title":"Item:Q5157440","lastrevid":54114905,"modified":"2026-01-26T06:53:01Z","type":"item","id":"Q5157440","labels":{"en":{"language":"en","value":"Axiomatizing Boolean differentiation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7410741"}},"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":"Q5157440$C9AF871A-E360-4DD6-9D61-758A27B2D8AA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"03002c7d82b08588d6db79eebb19a3d7fa26da85","datavalue":{"value":{"text":"Axiomatizing Boolean Differentiation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5157440$D31DD12D-22FF-4389-8481-D8D6699F58FE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e2c220be2c63642906f2e55607cb2a02e81717bc","datavalue":{"value":"10.1007/978-3-030-68071-8_4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5157440$8B953D62-0840-469F-BD71-3EC36CF890DE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"848f4d87612736fb8189458c4a3403becaff7a85","datavalue":{"value":{"entity-type":"item","numeric-id":5157439,"id":"Q5157439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5157440$63195FDD-79BC-4357-9700-5F25FA2C3DBD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"03f0ace92a64f6b87282f126201051cb55548110","datavalue":{"value":{"entity-type":"item","numeric-id":5157435,"id":"Q5157435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5157440$8788273E-1FED-4184-9806-3ED2C0DAFDCD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"899d672926fe97cd87f3708d91dc74172e4f3b51","datavalue":{"value":{"time":"+2021-10-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5157440$6FD3685F-EB98-48F1-BA5B-7BE8CF1A883F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"3dad0277bcd0256d3dcda33e7f0f7f7c58bb6096","datavalue":{"value":"03C65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5157440$109CA115-060C-4475-BA5D-AEC38F2ED46C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9a3514a89c23e0ac2c3d927db97941ff2631de6","datavalue":{"value":"06E05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5157440$C7FC5D4B-504E-4A13-92A8-D09DFC9061F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2bf534479b9242e973ca011ffc03f5c515318eab","datavalue":{"value":"94D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5157440$370FF5B2-1FA4-444D-B18D-0E711772E712","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"09f3eb9b2932c3fdc120e877804d57f4cb2d94e9","datavalue":{"value":"06E30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5157440$D5C0426A-CE74-40AE-AF15-917679BBE733","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5d287532f76b503fd4adc480790e98420d9e1fed","datavalue":{"value":"7410741","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5157440$29008DFA-43C7-4B21-9A31-AFB1BB69EFB0","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":"Q5157440$5CFDA7C1-A34A-470B-B930-9145FE8158A2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"02ec3a45fe18cd897e696331335f307d397a7b9b","datavalue":{"value":"https://doi.org/10.1007/978-3-030-68071-8_4","type":"string"},"datatype":"url"},"type":"statement","id":"Q5157440$14081695-9CE3-4689-8473-1FA6D497B83C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ad875c9f8ba17041b8c8505eb267eacc99319dba","datavalue":{"value":"W3110581404","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5157440$3851C3E3-757E-4373-9B52-B7596E33C178","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bb779e5e3eae423a2e7c2cc9c4250bd332c56fd","datavalue":{"value":{"entity-type":"item","numeric-id":1148869,"id":"Q1148869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5157440$F682B38C-9B06-4817-9659-F89F957B13E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f2d98fdcc3f403d76c2130b8b02796cd4397329","datavalue":{"value":{"entity-type":"item","numeric-id":5281647,"id":"Q5281647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5157440$EA6F767F-D768-48BF-A46A-21829D951150","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdee747cc0299eb4279d4a1b241c310f76dad7ed","datavalue":{"value":{"entity-type":"item","numeric-id":2734536,"id":"Q2734536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5157440$FF30C371-A011-4EDD-98FF-27B8DE1EBC6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eaa595c975cc96f28daa1bd7521f98f77aeacc40","datavalue":{"value":{"entity-type":"item","numeric-id":4083731,"id":"Q4083731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5157440$EA7C710F-9959-4D2D-BA30-7808A4271C0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ffd136df303b1acc91aa17a334e52421f0f64aa3","datavalue":{"value":{"entity-type":"item","numeric-id":3415741,"id":"Q3415741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5157440$C4379926-F459-43CE-B321-C3119887E26B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ad778688079d4a53aaf9e0e9300643f2b8969a1","datavalue":{"value":{"entity-type":"item","numeric-id":4779973,"id":"Q4779973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5157440$A2B7F3CC-D8BE-4EBE-824D-95A8C1620F09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a914d93253bea3f8e31200d83de71bbf90134e18","datavalue":{"value":{"entity-type":"item","numeric-id":3172384,"id":"Q3172384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5157440$18A11193-5874-412A-ACA5-C68DEC40A21C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"772de8387d6aa62a8bda96f8730dbfc68e636f66","datavalue":{"value":{"entity-type":"item","numeric-id":3701421,"id":"Q3701421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5157440$8D60F052-4AC2-4578-B040-913136D0607C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"967fb55b31b6e02bb24043a438b43c2e3c9e09dc","datavalue":{"value":{"entity-type":"item","numeric-id":4003410,"id":"Q4003410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5157440$28ECAE6B-E58B-41D7-9CFF-82969AE22BD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11303bd746c0818841ff29cce2adde1bb5addc8f","datavalue":{"value":{"entity-type":"item","numeric-id":3077956,"id":"Q3077956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5157440$621F035F-1FB0-4A9D-9AD3-DC813351AE33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2199c2a204caccd85d71c54c8418a39310840319","datavalue":{"value":{"entity-type":"item","numeric-id":5348066,"id":"Q5348066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5157440$9795B7C0-B545-4549-AE73-0F5A4B0A846E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf4d8dbed61d90a2ddfc16a620260d1700f90bcb","datavalue":{"value":{"entity-type":"item","numeric-id":4807555,"id":"Q4807555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5157440$861EF131-AF29-41E9-B5BD-662533363C61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"caa010d99252955d4372b9c47fb5cb0470091ff7","datavalue":{"value":{"entity-type":"item","numeric-id":5316386,"id":"Q5316386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5157440$4DAEAD67-66A2-4752-ADF1-19708A401D25","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"822cb165a4aed6bffbd8575f5ce45cc7601e39aa","datavalue":{"value":{"entity-type":"item","numeric-id":4205468,"id":"Q4205468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37948d5e19ae489fa7046584d07edca23627aacb","datavalue":{"value":{"amount":"+0.750041127204895","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":"Q5157440$11A33E5A-8C97-4FDB-89A2-9F9705171340","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c0746a43efab6076903bb2335ba6425f0439a27","datavalue":{"value":{"entity-type":"item","numeric-id":3701421,"id":"Q3701421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"544f22f731dd2b553d4b0111bd0562069c3bb90c","datavalue":{"value":{"amount":"+0.7424565553665161","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":"Q5157440$A526DC2B-29D5-4795-A21B-39F5280C638B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f8f5c03983610cc9292ffc0de353bda9e66e095","datavalue":{"value":{"entity-type":"item","numeric-id":1281076,"id":"Q1281076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae26660cbde901b3f3736a9cfcdde4bbf68204df","datavalue":{"value":{"amount":"+0.7392597794532776","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":"Q5157440$A2042075-37D6-48CF-9387-9BA24C39E0D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eaead3a89f08d052efe3030381b7d7a5d917924b","datavalue":{"value":{"entity-type":"item","numeric-id":3808079,"id":"Q3808079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae26660cbde901b3f3736a9cfcdde4bbf68204df","datavalue":{"value":{"amount":"+0.7392597794532776","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":"Q5157440$5D6EC16C-6FC0-4CE3-A741-0827911E4DCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d308e68dc87a24ec1262bf98b8e890eab8a8053","datavalue":{"value":{"entity-type":"item","numeric-id":2844351,"id":"Q2844351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3704218bae8030ffebea8c8743a92e8400d6d830","datavalue":{"value":{"amount":"+0.7239630222320557","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":"Q5157440$57D2A0E7-F182-4204-8E5C-2F52A7F30A13","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5157440","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5157440"}}}}}