{"entities":{"Q4925157":{"pageid":6954739,"ns":120,"title":"Item:Q4925157","lastrevid":58363425,"modified":"2026-04-04T21:42:40Z","type":"item","id":"Q4925157","labels":{"en":{"language":"en","value":"Constructive version of Boolean algebra"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6174080"}},"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":"Q4925157$A79A6652-B647-4818-B871-F11A11869DC8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9458dae7c69075228b037cc48f7df88958679917","datavalue":{"value":{"text":"Constructive version of Boolean algebra","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4925157$F4999322-315D-4B2F-B428-99393BA8CC30","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"68d7c52468b48b7c039b420c53c732eb675d3402","datavalue":{"value":"1272.03160","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4925157$A7A8D02D-7FDA-4C30-99BD-FF40FC9E8945","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a3805f594ddac6fae8f2d2362aaebc83c0fa4374","datavalue":{"value":{"entity-type":"item","numeric-id":290641,"id":"Q290641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4925157$B290D1C7-9735-4380-A0FA-8770F9D0A4DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b1fa6a2864e6107a0c5fd4cc024d37e026a73f0e","datavalue":{"value":{"entity-type":"item","numeric-id":382420,"id":"Q382420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4925157$AC02FFC3-E3EE-4088-AAE2-A7A35F7856BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"04695e7863866971854a2bfc3113969b5cf74a1b","datavalue":{"value":{"entity-type":"item","numeric-id":959058,"id":"Q959058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4925157$7999A51A-80CD-4278-99FA-C9CA9ECC06C1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8f1333f5ea32121d60563094ddcc091f8ab3e533","datavalue":{"value":{"time":"+2013-06-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4925157$9F4F0231-19E5-449E-9360-4F720C192033","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5622aed52deac9fbce02f85366e32bf3fb984e02","datavalue":{"value":"https://arxiv.org/abs/1203.4997","type":"string"},"datatype":"url"},"type":"statement","id":"Q4925157$EF4875D4-7892-43E3-8887-1FBE3A733D7B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5d18442d459f776caea349da745bbaf9554be1d","datavalue":{"value":"03F65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4925157$AC982858-E098-4854-9945-D42E58EC61C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4de811363544ad897611eca6bf9cd29d53afc249","datavalue":{"value":"06D22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4925157$DBD5FEB9-A5B9-47D9-B98E-0D479DDDE792","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d85fc819987f741ef83c7852209bce325062055c","datavalue":{"value":"06E25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4925157$4C5A9BCB-F5E3-4CB1-84EB-2B333FF2566D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8016bf233d93b70f8d12266639afbf77f2359cc6","datavalue":{"value":"6174080","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4925157$16D26DE2-A537-4ECD-9B2C-611C35C140EA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ac82369a09bc861a3472a183669af4c78913c02","datavalue":{"value":"Boolean algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q4925157$EB778965-665D-4B34-9CE0-A7BC31E8B4CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5830bc9df856ae2559fe681dc92cebe9ada5b3da","datavalue":{"value":"constructive mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4925157$FD223454-5477-4D32-8D8F-1C86743EBA03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1a4798788d65b97e63656f02fa74a51565b0cc3d","datavalue":{"value":"formal topology","type":"string"},"datatype":"string"},"type":"statement","id":"Q4925157$B2094A5E-8678-4B15-96FF-79EE39861AE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab6dfaa33efc0171e7c65642957f8b0ffdd506e5","datavalue":{"value":"discrete locales","type":"string"},"datatype":"string"},"type":"statement","id":"Q4925157$CAB1D37A-8444-4AF3-9066-6BA34FB2C904","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":"Q4925157$EBCA5F28-0EC6-47F9-BB39-B7B4FCE0361F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bb694086326837e7c4ea5179918c7c34b306575f","datavalue":{"value":"W1981071241","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4925157$7D145BBB-6B21-4DC6-B985-AAA52950DA85","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b56eee56732cb88be7d33f607378a227605ae1df","datavalue":{"value":"10.1093/JIGPAL/JZS021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4925157$124347A4-D50C-4815-A329-6B04850B7931","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2322a21df36f02b2b9c16a6174c764d5fc949009","datavalue":{"value":{"entity-type":"item","numeric-id":3061274,"id":"Q3061274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4925157$81A08CC5-C5E4-47CF-B687-2622A50CDCC6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37e642f11381c5fce3ac18f08d0c42f35ca864b3","datavalue":{"value":{"entity-type":"item","numeric-id":1121876,"id":"Q1121876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac05e6321761f760155848f0eb625ca7952ad55b","datavalue":{"value":{"amount":"+0.96335506","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4925157$49E82E81-40E3-40CD-89D5-0BEA2B5254E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fbec662053543ced5e08bea863070ee7ab1aa82e","datavalue":{"value":{"entity-type":"item","numeric-id":4323853,"id":"Q4323853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7206e374d89b53f82a72ab35d576246cf5cf7de2","datavalue":{"value":{"amount":"+0.9408463","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4925157$C5E2018C-12FE-42B1-9032-C4CCC4DA33DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cad9920e85d98c08997ecfe2b7afb33f70b7b118","datavalue":{"value":{"entity-type":"item","numeric-id":3812230,"id":"Q3812230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0ab7a9a7e163f0b5beae3c0a8503d908a95ca6b","datavalue":{"value":{"amount":"+0.9343586","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4925157$2774967D-811D-44C5-9B51-24D13EA2EBDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d21cb0d0a1536f19e9971ddbf5290b0ccd44233","datavalue":{"value":{"entity-type":"item","numeric-id":4249730,"id":"Q4249730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c37ccef329d6d55e1b4126cbbfe0d3b670dd6bde","datavalue":{"value":{"amount":"+0.9262453","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4925157$4B8EEEAC-835F-4C0C-8F9E-8405B7649472","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"469036695f4050ca60815a25f1195ebbb225540f","datavalue":{"value":{"entity-type":"item","numeric-id":4272162,"id":"Q4272162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0aab8cd0c52e5224e07cc169c444d03ce8668a06","datavalue":{"value":{"amount":"+0.92109233","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4925157$439BF4C5-A859-4A5E-B6DA-E22613D99B93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1c8aa13d6a4e4bab80156e0538c4b1346a8fad9","datavalue":{"value":{"entity-type":"item","numeric-id":3137694,"id":"Q3137694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81b8c672e0995c918dc2f1ca0b5d17f91126fc87","datavalue":{"value":{"amount":"+0.9111118","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4925157$16D05DDB-80D0-4A27-8078-242945FB2A86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bdf634e86292f8ed5fedbe3c7aa4f0e4f7e84546","datavalue":{"value":{"entity-type":"item","numeric-id":5476784,"id":"Q5476784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cadfb34d33d6a9469fad8ff6728fc316dabb9f2c","datavalue":{"value":{"amount":"+0.9057223","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4925157$44AA1436-5FF1-4E1E-824E-5E5CA21B1D76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"638c316fe87b7644e962681e0cc797016fa8fe83","datavalue":{"value":{"entity-type":"item","numeric-id":1407547,"id":"Q1407547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e8081d363a0d51cabcfe7ae421e93d971466c86","datavalue":{"value":{"amount":"+0.9033062","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4925157$E3CC20A3-97C1-4C9F-974B-1336CFA302C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"87c4306cb19c1a294717ad964b2977f317cbca23","datavalue":{"value":{"entity-type":"item","numeric-id":3218187,"id":"Q3218187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7095404a87c5809aa0b61aa40896b9607742fd8","datavalue":{"value":{"amount":"+0.9023608","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4925157$BC8E7723-F97D-4C09-ACF7-A591D68FB461","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5f2571a7de0544c1b656296c4ad009b396aaf4e","datavalue":{"value":{"entity-type":"item","numeric-id":3346309,"id":"Q3346309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2c4231dea8545d1785911e8269641ed00e38fe0","datavalue":{"value":{"amount":"+0.90236074","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4925157$5B5CE82E-6431-4B10-ACF9-3DD8E40B4117","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4925157","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4925157"}}}}}