{"entities":{"Q2915143":{"pageid":2925863,"ns":120,"title":"Item:Q2915143","lastrevid":79887560,"modified":"2026-05-06T14:56:21Z","type":"item","id":"Q2915143","labels":{"en":{"language":"en","value":"On completeness of omega-regular algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6085016"}},"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":"Q2915143$B59EA31B-88A9-482B-BA01-59B4AD8A54F2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"19f878cb14ed02948a1afcccc4d41ab57a802213","datavalue":{"value":{"text":"On Completeness of Omega-Regular Algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2915143$B2BFBF52-BB46-44FE-B6AA-811F86F2D869","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a3076f8cb2ed9a94675726811c10e96b6091433a","datavalue":{"value":"1335.68158","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915143$14D795DE-3398-4FBA-8CFF-E18C01D0A706","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"be3beb3985e7fc096de92349a7a3fbb0f4fd7bc1","datavalue":{"value":"10.1007/978-3-642-33314-9_12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915143$6B493C4E-CA5C-47FD-A558-88E7D3D48DC8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"01c0ee6b72edce509c0c1a4be7352af4e8167c22","datavalue":{"value":{"entity-type":"item","numeric-id":624385,"id":"Q624385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915143$7F4F7AD6-F23A-4295-9D0C-2C09CED46B4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"eb27aad50a775f188aa99887f496d209cf025869","datavalue":{"value":{"entity-type":"item","numeric-id":299200,"id":"Q299200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915143$C2680826-377A-4F8F-BBF6-70B25450DA97","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"40b55b51d1711e94124c260c7ee2d3d6bc2c1162","datavalue":{"value":{"entity-type":"item","numeric-id":2915131,"id":"Q2915131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915143$52109567-78CB-4557-B390-6B0CA5FC94C4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9be54b5bf8411b172b987b968e66cf4985f4b2f8","datavalue":{"value":{"time":"+2012-09-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2915143$96F799A4-B214-436C-8554-5DACBEB79EE6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"deb5f9f43f355c6575c467b17adc4a680e013b41","datavalue":{"value":"68Q70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915143$FAC5705B-BA75-49B9-94C2-37E5333C719E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5ac4bd3363177fc9afffcd1a8965e6462a1ddee9","datavalue":{"value":"6085016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915143$D6022174-EF4E-4CF7-9340-80D4A30D2900","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ba2ce113af8095df655f8415ffed41881428f1df","datavalue":{"value":"omega-language","type":"string"},"datatype":"string"},"type":"statement","id":"Q2915143$E2AF0457-C10F-4DB2-BF73-112ACED40934","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5f75ca21d80b8dcf02a0bfdc859a27aa5772eb02","datavalue":{"value":"\\(\\omega\\)-regular language","type":"string"},"datatype":"string"},"type":"statement","id":"Q2915143$80A0B5B5-80CB-4F7D-87E9-CD8F9D0B23AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2a614542bc59b8fde249f84909e9fb4bb3c3c006","datavalue":{"value":"\\(\\omega\\)-regular expression","type":"string"},"datatype":"string"},"type":"statement","id":"Q2915143$D73585F1-AFB2-498E-A292-522A0B090233","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c36f4061033b57830e6322836c7928ed705d6dc9","datavalue":{"value":"Wagner algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2915143$3F682BAF-4C23-4EA7-B240-72F482F43E2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c1c9d92cedc24507fb6046faae06d49c3e05743","datavalue":{"value":"complete axiomatization","type":"string"},"datatype":"string"},"type":"statement","id":"Q2915143$4E319EC9-C77E-4158-BA13-840C5D32383A","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3fa29bf2151fbe16d38e398c515ac9a9dd0ab16c","datavalue":{"value":{"entity-type":"item","numeric-id":40507,"id":"Q40507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915143$190E09A7-F607-4AB0-AE3C-8C9AB2910474","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":"Q2915143$E821EC2C-467E-448E-B767-476FE48A10C4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c253abbd1c5f60fba54ab75955829c0ccc91fbb4","datavalue":{"value":"https://doi.org/10.1007/978-3-642-33314-9_12","type":"string"},"datatype":"url"},"type":"statement","id":"Q2915143$6C6D3CB9-EE4D-4165-A820-9C531592F4FB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4fc67425933a52ed1cf830ea9f6dc852ab7f26db","datavalue":{"value":"W169500913","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915143$822C4473-CA57-4D18-8E65-7DCB4472AB25","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e375c52511dfb34f82e104f95edb5056ad3d650","datavalue":{"value":{"entity-type":"item","numeric-id":3479525,"id":"Q3479525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915143$BD0929C3-9E38-4945-9A7A-A265E296C116","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac0663d769704bd36d7fb483a298b85543502a88","datavalue":{"value":{"entity-type":"item","numeric-id":4359289,"id":"Q4359289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915143$0DC2FC5F-19D5-4FFD-92CC-EFDEE86D5059","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"decc60dfbdecb52e4624e62a3849ec2745afa0d5","datavalue":{"value":{"entity-type":"item","numeric-id":5747648,"id":"Q5747648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915143$D755D348-76C7-460A-BA57-DE6E460B648F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75e20f649ee163fc027b520d68f4bd0a0844cef5","datavalue":{"value":{"entity-type":"item","numeric-id":2721093,"id":"Q2721093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915143$09364ABA-6360-4D9B-B5CC-EAC80719B9C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca23da055412797c29f8737a832166566f69c4c4","datavalue":{"value":{"entity-type":"item","numeric-id":3007567,"id":"Q3007567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915143$2CF41E69-CF5F-48E6-BD6F-76E1A436CF2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9cfc90e33929a32d7132d23ebcdd77859837d7f1","datavalue":{"value":{"entity-type":"item","numeric-id":3575271,"id":"Q3575271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915143$CC07A151-FF44-4FFC-91E0-54D9406675C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7ecdcca463445112101708876695eded3f30222","datavalue":{"value":{"entity-type":"item","numeric-id":1327385,"id":"Q1327385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915143$54F8C50E-B605-4B6C-879B-3AB4A4CA5F6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83dd7302ae5c6ff14c7d7d4f9e7c2537339e8f91","datavalue":{"value":{"entity-type":"item","numeric-id":2392416,"id":"Q2392416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915143$807226E6-EBAB-4F8A-A8EA-3B0F68C1160A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20c6befd6c9a204dbc0e715190e75c5e6af20d1e","datavalue":{"value":{"entity-type":"item","numeric-id":1177930,"id":"Q1177930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915143$3C32A808-2AA4-42EC-9D9C-52AD009056BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b1e20aa27e3c87de1be2013b4394841d8c404dc","datavalue":{"value":{"entity-type":"item","numeric-id":5528648,"id":"Q5528648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915143$88DE6E1F-1812-4C47-B02F-9BCD2B7C0157","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"435bac34a3d647ebababaf5903b7b54b1189ce2b","datavalue":{"value":{"entity-type":"item","numeric-id":1881265,"id":"Q1881265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915143$E94B814A-2168-4619-B709-E7D0A330DE60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e60b2772e55ef9868a8f9c0f1dbf0675e8060763","datavalue":{"value":{"entity-type":"item","numeric-id":4103032,"id":"Q4103032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915143$B7076D75-7C3A-465F-A285-8527FF857CC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b677f495c74b1b22c0aa81da3bf5652e8fd4c78","datavalue":{"value":{"entity-type":"item","numeric-id":4036596,"id":"Q4036596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915143$8B23483C-C9D0-47EB-91E6-4E47806C032F","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"6e07306c48ccd2e9c29ec0a26f6f3afb07223426","datavalue":{"value":{"entity-type":"item","numeric-id":591314,"id":"Q591314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915143$FFEF1009-DA22-4575-8DE5-BEF49B19E28D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d8a00e3a71f12ec6751d58063553319560e2f3d","datavalue":{"value":{"entity-type":"item","numeric-id":2347912,"id":"Q2347912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb89cffa1f4680a295cd06424b0a1bef82fce518","datavalue":{"value":{"amount":"+0.9263436198234558","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":"Q2915143$149F6373-0FF9-4746-94E0-0DC890AEB4F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e69f508e9ed17fb1c2b57286b581865b522189f","datavalue":{"value":{"entity-type":"item","numeric-id":3030266,"id":"Q3030266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6744ecab95fc709b8f2be1d8f96bcdd6d4c0d58d","datavalue":{"value":{"amount":"+0.8720932602882385","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":"Q2915143$C645CED0-5F21-4836-91D9-D0C9C0FB17CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f99d7accb35903f816f233246b63a938e89a89b","datavalue":{"value":{"entity-type":"item","numeric-id":3007581,"id":"Q3007581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b33ebac18526395188dedfbe6efa2bb83c6760ed","datavalue":{"value":{"amount":"+0.7857375144958496","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":"Q2915143$C1FAD13B-81B7-45D9-939B-D97E3E53902B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"535c7a92c9974fce994a167041e4da750d8786bc","datavalue":{"value":{"entity-type":"item","numeric-id":1931903,"id":"Q1931903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51ad0779d8dd4f539f3cc769b264dfd6ebc7636f","datavalue":{"value":{"amount":"+0.7655198574066162","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":"Q2915143$9FE782CB-A1E6-4FA5-A841-51A2FD06A3D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8ae3bd9cb47d32405ee5921caf546e3313f09be","datavalue":{"value":{"entity-type":"item","numeric-id":3217622,"id":"Q3217622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b86e27836f44bb873451db1a7897b419dcb842f6","datavalue":{"value":{"amount":"+0.7495823502540588","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":"Q2915143$B6E79039-7E08-4DE4-A9B2-BBFAB3BABEFE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On completeness of omega-regular algebras","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_completeness_of_omega-regular_algebras"}}}}}