{"entities":{"Q5266477":{"pageid":7296053,"ns":120,"title":"Item:Q5266477","lastrevid":91747940,"modified":"2026-06-04T23:58:08Z","type":"item","id":"Q5266477","labels":{"en":{"language":"en","value":"Interactive realizations of logical formulas"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6725934"}},"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":"Q5266477$6CF7E028-C58F-455B-B8F1-AB744FADED61","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"784857fb918a60bb0fb04f8cebae5fd775564f88","datavalue":{"value":{"text":"Interactive realizations of logical formulas","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5266477$15605401-44BE-45F3-A573-1BAE7775A051","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4d8112b82bf7072d209f0311dbd910884e879937","datavalue":{"value":"1396.03084","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5266477$E570305F-AF64-4DEA-A9E6-6AF9127D5FC4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d5908148a01367f76f0efac5d5d457120664e505","datavalue":{"value":{"entity-type":"item","numeric-id":2932281,"id":"Q2932281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5266477$5299BEA8-02E6-47E4-9DCB-231A919E50C4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ee3fb12a4cdb402dda6b219dc296f1da01aa9804","datavalue":{"value":{"time":"+2017-06-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5266477$CF23A506-5589-43B2-9DE6-A66CBECB4077","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1a17778df341fada617389e256dac71a7a6962e5","datavalue":{"value":"http://mathnet.ru/eng/vuu529","type":"string"},"datatype":"url"},"type":"statement","id":"Q5266477$1F9B1C9F-28E4-48A7-B17D-D4F7F7BD547B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5266477$37C76024-9957-485B-9E2B-657A24EDCF97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6ee9f5484d11a01fb95552e5bea2154ebac0877","datavalue":{"value":"03D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5266477$F1DF5409-5EBC-40AC-9DFD-087FC6AD9C92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5266477$340F6D78-F1FB-4DB0-B359-9E56520714BF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4e7d837b7735cd8f21875f3925fdfb4f0e534503","datavalue":{"value":"6725934","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5266477$B74B1B4C-E7F2-42F1-A9BD-D697AF5CF658","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"faa505f6f0b62215e5b156ed2e79e24276c16180","datavalue":{"value":"logical formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q5266477$FBAC540E-ACFA-4BDA-9B5D-B1ED2358CF38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3a7015e3016158c3ff29f393f5fae366ea385e24","datavalue":{"value":"understanding","type":"string"},"datatype":"string"},"type":"statement","id":"Q5266477$CBB2F714-531B-416B-920B-764189F9791F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b355c8a4174d6d8394d7bf240c24bc9a0be14b8","datavalue":{"value":"realization","type":"string"},"datatype":"string"},"type":"statement","id":"Q5266477$D4D5EF51-2664-4A96-8202-951A310387C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f2af740660c2b1d8511bdca00a84e473d16e2f2","datavalue":{"value":"counteraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5266477$C63A2FA7-E150-490C-86FC-0AEEAA7E89B9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ea2b64f0961f0651858ae8900a541d0d880eb189","datavalue":{"value":{"entity-type":"item","numeric-id":1885029,"id":"Q1885029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5266477$2E267424-0F37-4550-B3B2-71D43D49339A","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":"Q5266477$445B2957-8333-4A98-9B16-826313F9EB67","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"58d1b5ccc9e9bb37aef64d9d4fbd813645dc95ba","datavalue":{"value":"W2489543925","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5266477$8F1B8C7B-385F-4A6A-B60D-959A05484E39","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"48af033840772354c3518cbe19074d3cfc4e609b","datavalue":{"value":"10.20537/VM160204","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5266477$ED05C455-C038-4D42-B566-D602E8F82372","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b10c88b0a83862110dbcb43200f3bbf65442ecc6","datavalue":{"value":{"entity-type":"item","numeric-id":3727992,"id":"Q3727992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58be30700997749b86c9b47a249b2ecf152521e7","datavalue":{"value":{"amount":"+0.7373291254043579","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":"Q5266477$00CA421C-21AE-4378-AA67-BB5688D08B9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50cae299b78fc0bf1394dcf3a1b3c49e5c0979a1","datavalue":{"value":{"entity-type":"item","numeric-id":3973194,"id":"Q3973194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"979ebee970f43b094bca90870ba6ea572bb3f891","datavalue":{"value":{"amount":"+0.7277206778526306","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":"Q5266477$430752D2-42C4-43B4-B355-559EB081C803","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f8d416a3eeeb34cb56cd2090fcfc240e555ce91","datavalue":{"value":{"entity-type":"item","numeric-id":2500484,"id":"Q2500484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87edd32fa318aec0d9fe93ceeb9336bd773fe8d9","datavalue":{"value":{"amount":"+0.7257242202758789","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":"Q5266477$EF0DBAC8-4A3F-4542-B7F6-87D372FB5E26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90dc0ffdfd43a44a8ec1748a6e94a6dd8d7a9319","datavalue":{"value":{"entity-type":"item","numeric-id":3755454,"id":"Q3755454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a78e1ca0c92ad77f2b160b7a3ab59e8fb912ede","datavalue":{"value":{"amount":"+0.712903618812561","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":"Q5266477$EA1EFEE2-29C0-4217-8E09-19005B4C675D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d24340a13350805d2ba360d38aee34bcc853e626","datavalue":{"value":{"entity-type":"item","numeric-id":4411816,"id":"Q4411816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64c92220862d7d88d4ce76b63c391d630032aa37","datavalue":{"value":{"amount":"+0.7106484174728394","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":"Q5266477$2D9507B8-774F-4057-A866-3D3C3235A065","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Interactive realizations of logical formulas","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Interactive_realizations_of_logical_formulas"}}}}}