{"entities":{"Q3434274":{"pageid":3444977,"ns":120,"title":"Item:Q3434274","lastrevid":86854478,"modified":"2026-06-04T10:01:36Z","type":"item","id":"Q3434274","labels":{"en":{"language":"en","value":"UN-KLEENE BOOLEAN EQUATION SOLVING"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5145766"}},"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":"Q3434274$50EA81DA-0F77-4284-B44A-5A5CBA7C463C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6992762d2e44064ce77be570319dc05905897ea4","datavalue":{"value":{"text":"UN-KLEENE BOOLEAN EQUATION SOLVING","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3434274$DA378B0B-F015-4884-8AB6-6D8C4FCDB57D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"547d69da790e67595b725336e942407409957cc9","datavalue":{"value":"1119.68049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3434274$3B0C448A-060E-4B90-B419-44EB82430170","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b27bc2cfed57743d691b0d0270e8cc9da0a666b0","datavalue":{"value":"10.1142/S0129054107004668","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3434274$2D928ACC-3956-40ED-BCCB-E05F2370B918","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"825cf357b78d2073bbf7292672e90b6a040e7ebe","datavalue":{"value":{"entity-type":"item","numeric-id":3434273,"id":"Q3434273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3434274$6083CD6A-AB70-42AA-92CF-AC7C9F749E2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ce1d94e70aebf90c5dd207852d980a9c10776e1b","datavalue":{"value":{"entity-type":"item","numeric-id":264989,"id":"Q264989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3434274$D64803D7-0F73-4A74-A319-AA8160CB09A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"32c13414e2e9fe70ae35bf1219d16c73b3483198","datavalue":{"value":{"entity-type":"item","numeric-id":264990,"id":"Q264990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3434274$C1161CAB-3294-412C-9CDA-B4174E42B2D4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"47adaa7123c6f3744cf7fa8eab088d52b4982295","datavalue":{"value":{"entity-type":"item","numeric-id":2703009,"id":"Q2703009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3434274$7918E46B-DB31-4A0E-B37E-98FB18C7D34C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b017b11584e0194181f7454a0a65816f703f6687","datavalue":{"value":{"time":"+2007-04-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3434274$22EFC2BF-2EC3-4E1D-BA14-41F88EC654C1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3434274$FBF1482F-8EEB-4EE2-898B-BE7B6D0E571C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a4228d21095b3348e9ea20aa0b63610107aad8cc","datavalue":{"value":"68W25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3434274$464E6C34-EA90-440D-AF59-6673CB6EA2BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"09f3eb9b2932c3fdc120e877804d57f4cb2d94e9","datavalue":{"value":"06E30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3434274$0997EC6E-B840-43DA-B7D8-346781AC2CD0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fd63975d92df806ea86249e3706b50698f7bda0a","datavalue":{"value":"5145766","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3434274$EDA3582C-2C0D-4935-A255-2E62F08076A0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb5a830579b475e59eaac799be7398a9142f423b","datavalue":{"value":"Boolean functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3434274$19B46C4A-A703-4A13-975A-9D37F5B72A71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a9a7b0cf17169865b15e8c9d7014c24bafb8410c","datavalue":{"value":"fixed points","type":"string"},"datatype":"string"},"type":"statement","id":"Q3434274$B5AA0CBF-F7A1-4820-B793-DE4295737F74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00baa34181a949bc57429a7c01044e321721969a","datavalue":{"value":"decision diagrams","type":"string"},"datatype":"string"},"type":"statement","id":"Q3434274$1C8C5F05-5743-4A2E-85DD-A9E82E2CB10B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"edca3e551b7e027adf0cb0ce333f11fcf47003b3","datavalue":{"value":"Kleene iteration","type":"string"},"datatype":"string"},"type":"statement","id":"Q3434274$18B752B2-56F6-4E0C-A202-CB8F8C67AE63","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":"Q3434274$92418E17-F632-4676-AB67-473EA9AD6E1E","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"c9d5353c7f37e71399833da8f2679c6f01151259","datavalue":{"value":"Q57665015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3434274$492F9A12-DD2F-4CAC-A0F9-469C3ECEDC6E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d3c30f37cb7c00c5708b1c92ce4115c99f17bdb","datavalue":{"value":{"entity-type":"item","numeric-id":1818309,"id":"Q1818309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3434274$E006D976-A900-46CA-9590-CACDF4003957","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d66020cbd31ec6efdc85aab6b01e14133a1e72ac","datavalue":{"value":{"entity-type":"item","numeric-id":4719376,"id":"Q4719376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3434274$6C1138E1-1144-45C0-A84F-A99A6B747469","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab7dcf010b42271de29e98ea1294ec763d120da3","datavalue":{"value":{"entity-type":"item","numeric-id":1818073,"id":"Q1818073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3434274$C21F6932-75CB-48A3-8795-3723D69E8C78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49db020eb4500e97f650a74441cb88ac29b42a53","datavalue":{"value":{"entity-type":"item","numeric-id":4452643,"id":"Q4452643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3434274$12D3CE2C-EE4D-4128-BADB-105AA34F0A3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3c6d07dd80de4de8f6f1d51aa5d78e790a6fd51","datavalue":{"value":{"entity-type":"item","numeric-id":5812175,"id":"Q5812175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3434274$43259BB1-C378-4FB8-AACD-B53FB91ECCAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a791e6b13200f21127f48f475b5988c15175f95b","datavalue":{"value":{"entity-type":"item","numeric-id":5663889,"id":"Q5663889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3434274$6AC9C308-945C-42BB-A62E-18A1B1979E84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e320d5ab20d9378e83c08a862b63bf2725892d4a","datavalue":{"value":{"entity-type":"item","numeric-id":2653567,"id":"Q2653567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3434274$65B490A9-2BEC-45CF-A2C9-92B557C51692","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0af3bfe13509ade0f7b3c91bd556a8565c72e1c9","datavalue":{"value":"https://doi.org/10.1142/s0129054107004668","type":"string"},"datatype":"url"},"type":"statement","id":"Q3434274$FD13E44F-6CB3-439D-9C17-98F53F4738F7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c448d60003a160c86cd0577dc642e32c35e0cdc5","datavalue":{"value":"W2059328946","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3434274$F0A4B477-F1E7-4906-84E5-029C535A7EBF","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"d46a32511ecbebcb76796051108e8a177617f637","datavalue":{"value":"journals/ijfcs/HerlihySS07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3434274$CEFB2949-A3EE-48A1-A379-E53719E0A1A1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71dd48fa44bddf6a8e074747dffc9642b39f0579","datavalue":{"value":{"entity-type":"item","numeric-id":1432267,"id":"Q1432267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e44148aa45a0f67f5cefa3eee0768fd4b8a3a813","datavalue":{"value":{"amount":"+0.7668151259422302","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":"Q3434274$CDA791DE-75C8-4D90-8F4C-8371CECCCC16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98926dac76a40c8654ec9de91b8228afc35ba970","datavalue":{"value":{"entity-type":"item","numeric-id":4414841,"id":"Q4414841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0626f20add17fdea5dc5e35ec46be30f2c6aaa76","datavalue":{"value":{"amount":"+0.7576776146888733","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":"Q3434274$0C735E58-5175-49DC-9010-042BB1401261","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f34bc1cdb83fa2ca0efcb95a9012fa7b94d32739","datavalue":{"value":{"entity-type":"item","numeric-id":2946656,"id":"Q2946656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"168fcfb30b842d73294506bda0a4eec23bee3a3f","datavalue":{"value":{"amount":"+0.7472767233848572","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":"Q3434274$E20F86AE-765D-4137-8E54-68CDBC82ABE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a86a5877d285dce58e8413d31c3eee059c756db","datavalue":{"value":{"entity-type":"item","numeric-id":4959059,"id":"Q4959059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ecfdcf83e54d138a140aee743961b5f91c3c2869","datavalue":{"value":{"amount":"+0.745034396648407","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":"Q3434274$C912A35D-5978-49C1-AC0C-50CD94942673","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a125571c7dfc1edf85031d9e8aa91bbbb1051cad","datavalue":{"value":{"entity-type":"item","numeric-id":1917481,"id":"Q1917481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a161ed6bc28f80349655b71b36b1d0db3620f53a","datavalue":{"value":{"amount":"+0.7447527647018433","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":"Q3434274$78B45F65-7236-464D-AA69-019E615EBAAD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"UN-KLEENE BOOLEAN EQUATION SOLVING","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/UN-KLEENE_BOOLEAN_EQUATION_SOLVING"}}}}}