{"entities":{"Q4336700":{"pageid":6366300,"ns":120,"title":"Item:Q4336700","lastrevid":46585398,"modified":"2025-12-25T02:34:34Z","type":"item","id":"Q4336700","labels":{"en":{"language":"en","value":"On Binary Computation Structures"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1009467"}},"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":"Q4336700$3C9954B6-E3F8-4397-8A64-96ECAF83170E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bc4334647bf6f6c0c0fa8439f04789d315291a0f","datavalue":{"value":{"text":"On Binary Computation Structures","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4336700$2E953C77-6593-4A99-A256-6ACB9806A517","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"27cddd2f981e8ae89ecc06b56b29c2b89423e41c","datavalue":{"value":"0873.03022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4336700$434E76D1-CD46-450D-B318-1D542027503B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d2e96a8166b825564aa7d3e45e288dcc7e8fe930","datavalue":{"value":{"entity-type":"item","numeric-id":190300,"id":"Q190300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4336700$2BB18DC4-4F91-476A-AC99-7BF3ED314552","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7af1100b7fbaa31e618c4d49342e2fae8da143f3","datavalue":{"value":{"entity-type":"item","numeric-id":2793901,"id":"Q2793901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4336700$C1B41D6C-F0A4-4E7A-B4A3-AE3675C73C0A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"412f7a31e42853d129270920f950562a85c36f4d","datavalue":{"value":{"time":"+1997-10-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4336700$10B347ED-EB2B-4CCD-B33C-923D1B8F4D0C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4336700$17DA3E80-C837-47B6-9E79-9F80BA3B9E74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4336700$B1E4DB64-7187-4A3D-850D-ADDFA76E5AEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4336700$4F1319E1-08A2-44F2-B24C-B922D4B83AF0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7cfee93191c53859fc5864938e4014d4d8ad1387","datavalue":{"value":"1009467","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4336700$381A5906-74C8-4669-A0F9-9D6DAC5828ED","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4336700$34403489-F36A-4B18-8F43-3631B55EF568","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c6120578b55f445e0df62fcaec38ba4e2015a12e","datavalue":{"value":"binary computation trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q4336700$7C7A0AEA-9D7C-498B-B618-FB532A10C6A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c698dd5fe9a71f2ef82a2668f8b50d293eab1a55","datavalue":{"value":"reasoning about knowledge","type":"string"},"datatype":"string"},"type":"statement","id":"Q4336700$1F1A777A-E8BA-4A93-BCAF-70381D75B986","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"13b3c1d5361f0b2d650c7e4a1a49b4b665834990","datavalue":{"value":"nexttime","type":"string"},"datatype":"string"},"type":"statement","id":"Q4336700$B6B8705B-3BF5-4F74-9CD5-DCF17F53F584","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"35070f4c886e854f4ea7bdc41bf8912fd1f1e728","datavalue":{"value":"weakly expressive fragment","type":"string"},"datatype":"string"},"type":"statement","id":"Q4336700$3856A8A7-D90C-4876-9BC0-777CF265B67E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc66fc4d7e78949f4d6bda23891f6a84250979dc","datavalue":{"value":"propositional modal logic of time","type":"string"},"datatype":"string"},"type":"statement","id":"Q4336700$14F6F243-78EF-4BDE-A950-BCF77CF54EF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8e5c9f11e0e8c8133647ca3ba0fa19e62d1836a1","datavalue":{"value":"bimodal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4336700$5A4B6E14-4D62-4F38-A733-E296121C2DDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c4978f2c4d263ef258ed0ffc576a325d510c4d8","datavalue":{"value":"axiomatization","type":"string"},"datatype":"string"},"type":"statement","id":"Q4336700$FE7C1CCB-53B1-4D96-ACD9-9D14BAEC9DB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4336700$1070E40B-5FBD-4EEF-9EE4-8B17300E2C44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4336700$DDEB2BBE-F0D5-4CA8-9EBC-B14B78E87350","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":"Q4336700$66560F63-A99B-4041-834B-54EC3BC50A83","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"894ee43797da4f25120b341685362fd5aff427b0","datavalue":{"value":"https://doi.org/10.1002/malq.19970430205","type":"string"},"datatype":"url"},"type":"statement","id":"Q4336700$2862D117-026D-438C-983F-F1C82CFC3BC7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d14fe1f2fd3dd585fe07a053c6c80e78196bbff3","datavalue":{"value":"W2019718815","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4336700$49368503-570F-4265-A113-81F269F63C2E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"80271c9c3ac6f87859aa5e6d6b8604a18262f1ec","datavalue":{"value":{"entity-type":"item","numeric-id":4215596,"id":"Q4215596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4336700$A6571342-CAB8-46C9-AEF0-A97F08455A5A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"99db1ddd3fefd0adc4ef2fe55827751163bb1d0f","datavalue":{"value":"10.1002/MALQ.19970430205","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4336700$2199570F-C70F-48B9-B018-FF1B132145A0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8100a766289475b4d6e2aaa4baea796801684cee","datavalue":{"value":{"entity-type":"item","numeric-id":4215596,"id":"Q4215596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2ffedab3ddbb54b02d5b0545a3c24c4f1ce71de","datavalue":{"value":{"amount":"+0.7675458788871765","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":"Q4336700$CF1EF0B4-A0F6-4B9F-8CBB-AD6B83AC4691","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85476dc5fbe5b0910caa0051180d744c0b7d2134","datavalue":{"value":{"entity-type":"item","numeric-id":1960421,"id":"Q1960421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f9b8c0e75ed0410fccfbff78890222fc3ffb89d","datavalue":{"value":{"amount":"+0.7643401026725769","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":"Q4336700$FD49D7D8-43EF-45DA-802E-CEFDB040A6F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77481dc0e163751b459dcc60095d3bf3418a30b8","datavalue":{"value":{"entity-type":"item","numeric-id":1909606,"id":"Q1909606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99b336ee6b1efcd08ac9e33a54b945c56af547ef","datavalue":{"value":{"amount":"+0.7583218216896057","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":"Q4336700$3AB84FCB-7915-481D-BAB9-8D89BA7F318A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4336700","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4336700"}}}}}