{"entities":{"Q5950778":{"pageid":8127580,"ns":120,"title":"Item:Q5950778","lastrevid":97711913,"modified":"2026-06-05T15:16:25Z","type":"item","id":"Q5950778","labels":{"en":{"language":"en","value":"Separable Kripke structures are algebraically universal"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1682827"}},"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":"Q5950778$30686241-88B0-45B1-A593-4AE4D3D852A1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f97f739ea3f905a1f5f4a40f2b7feb5671599dba","datavalue":{"value":{"text":"Separable Kripke structures are algebraically universal","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5950778$4FE29FD5-7B17-4024-AD62-5F38988D2C4F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"393b7a51f9337f33171e5a42328411c5d955d923","datavalue":{"value":"1006.18004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5950778$51F35D44-3599-4A08-A528-EA6AA4B83318","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"04189e2a2a8dac9b1504d8eb214733f7d5b927d0","datavalue":{"value":{"entity-type":"item","numeric-id":219115,"id":"Q219115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5950778$0FFEE369-6DA0-4359-86E0-29105EB916C5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8fa179c8715004e2374d4db0c3ce41b39558e95d","datavalue":{"value":{"entity-type":"item","numeric-id":178112,"id":"Q178112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5950778$1B9E6450-B2B3-4ECF-8BBE-87692303B134","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"dd43b7556960d36e19e31bfdf153901cadf12bc7","datavalue":{"value":{"time":"+2001-12-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5950778$6A7DDDBD-92CD-4B8B-A948-7045A557D1B3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e85b239a13e44605bb8ca76046638658465ca32d","datavalue":{"value":"http://hdl.handle.net/10316/11232","type":"string"},"datatype":"url"},"type":"statement","id":"Q5950778$3EC181E3-B087-4B8E-86DE-82BF5237A972","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9b839d3830c02938325ef825fe74834c3b4a499","datavalue":{"value":"18B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5950778$BA729753-3D2E-4BE0-814A-7C6547AA04B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d85fc819987f741ef83c7852209bce325062055c","datavalue":{"value":"06E25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5950778$5D21EBDE-282C-4269-98F3-C53D70989D49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5950778$CF494041-4DB7-4178-87EB-C990272B00BA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c73c04ce387eee48b582ad3839838ede24f452bc","datavalue":{"value":"1682827","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5950778$1AE24FF5-D1FC-4151-8229-5ED4809A59DB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"000d054838ba79f1c83227281d29722f07d85a76","datavalue":{"value":"Kripke structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q5950778$FB06A74D-E7E1-4B78-8E75-411028E40C85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2796cab45164d817422e996f0313ae15e5691635","datavalue":{"value":"perfect class of Kripke structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q5950778$51B32F74-52DD-4660-84BC-A6ACB0233218","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b6af65d7535a8fbb7d6c22c75741089109e73556","datavalue":{"value":"dynamic algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q5950778$98139111-6295-4FBA-9B67-B65E4B5AE101","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4716a40a37f74a9dc52fe878eb754122c27cd1e1","datavalue":{"value":"algebraic universality","type":"string"},"datatype":"string"},"type":"statement","id":"Q5950778$6D943E95-C030-47E2-A6C8-3A1BA6E564D1","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":"Q5950778$585B3B9C-FE61-4F3D-81E1-7F2C16A8FA05","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fabb3d4174ffe009b0033d05e1eac473d6ad6b26","datavalue":{"value":"W2149522305","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5950778$DC92A5AB-9343-487B-A8EF-B89490CD2984","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e12939fb8917516a0057ee8407d083a5583afa5c","datavalue":{"value":"10.1007/S000120050121","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5950778$87B9A0A6-1253-40F1-930E-8229692B8EB2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73a70ce8b31a401324b6247aceb12bc38a9a5e70","datavalue":{"value":{"entity-type":"item","numeric-id":3897034,"id":"Q3897034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"739e4bbc493c844249ac08accf5914907f01f0a2","datavalue":{"value":{"amount":"+0.7633668780326843","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":"Q5950778$EB757132-48B3-47A3-B0DE-D474383004E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b7839dd5720f80ed036e7f5ab5e93a46fff994b","datavalue":{"value":{"entity-type":"item","numeric-id":3343429,"id":"Q3343429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2559aec3fea5e25c5a30cb96480aa01e4f71037f","datavalue":{"value":{"amount":"+0.7469435334205627","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":"Q5950778$A41D002D-052E-4ABE-886D-EFAC3769013E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e29f9fa6ffe387567304027df3d9a31e162cae9","datavalue":{"value":{"entity-type":"item","numeric-id":5469106,"id":"Q5469106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1391e586944bda6bb1e35403f1ae189de225a2e7","datavalue":{"value":{"amount":"+0.7317485213279724","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":"Q5950778$9BCD4FE3-72BB-4BD9-BD4C-02C0AE752610","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9405869297e98355a6b3c529233d817e0f68231f","datavalue":{"value":{"entity-type":"item","numeric-id":3583808,"id":"Q3583808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5bb2a40225cdb60bc01c8ca9b42f94ab56d48e2e","datavalue":{"value":{"amount":"+0.7172966003417969","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":"Q5950778$F1736C2C-222D-4B0B-9F82-48F3434703BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d48c36add58519433ad999f91a60cb11d55569c0","datavalue":{"value":{"entity-type":"item","numeric-id":3542104,"id":"Q3542104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"437641c024e992d9ea4c6563b83d607d66d19431","datavalue":{"value":{"amount":"+0.7170493602752686","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":"Q5950778$6DA4A3F8-0584-4463-91C6-B2DC4D300B7A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Separable Kripke structures are algebraically universal","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Separable_Kripke_structures_are_algebraically_universal"}}}}}