{"entities":{"Q6160923":{"pageid":13295804,"ns":120,"title":"Item:Q6160923","lastrevid":58723452,"modified":"2026-04-06T11:40:38Z","type":"item","id":"Q6160923","labels":{"en":{"language":"en","value":"Optimal repair for omega-regular properties"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7691513"}},"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":"Q6160923$589647D0-7810-4E02-B4BB-4552CA105D32","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2d687986a3a5dc62903c1477503d96761ac2ae8a","datavalue":{"value":{"text":"Optimal repair for omega-regular properties","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6160923$793CAFF7-98B6-4B82-B39D-82395926E9BE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"50ee26495b905e30f033c815afa9dd1147490e70","datavalue":{"value":"1522.68307","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6160923$E1719122-8887-4F24-BDF8-611B9C768625","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a0de05d8727f1c10749931e00cdb0c4c8e55ac23","datavalue":{"value":"10.1007/978-3-031-19992-9_23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6160923$AE4305D1-3F88-4181-B303-854EDE6A8180","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e27d82032cdb4ee1d863a9c303d4f4f2b2b10812","datavalue":{"value":{"entity-type":"item","numeric-id":2064526,"id":"Q2064526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160923$FE5A7E57-A2BA-43B5-92C7-0188FB76F547","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6807c838a0c13cc8536b7508e779053a5949ccae","datavalue":{"value":{"entity-type":"item","numeric-id":537906,"id":"Q537906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160923$A730D36F-111D-47A0-98E0-35F725845F25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"14ccacdc89e839d89e1fa2de09da73b07bb73b18","datavalue":{"value":{"entity-type":"item","numeric-id":6120704,"id":"Q6120704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160923$86A92E15-4652-4A54-8176-8273804182A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6a72b28ad0c1900b47db02f10ab1ac784719860f","datavalue":{"value":{"entity-type":"item","numeric-id":278756,"id":"Q278756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160923$38FEEBEB-AB37-451D-BE4C-B88A913BA138","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fb871d7a444106c04a08900e781eca233868e362","datavalue":{"value":{"entity-type":"item","numeric-id":3172900,"id":"Q3172900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160923$E5E9963B-1800-413A-956B-862848A888E7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4fa95a2618f91e175d2e6cdf4f6ce4782d828b01","datavalue":{"value":{"time":"+2023-06-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6160923$A566CA92-B1B1-42A4-AADD-F75FEBA244A8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"718ae0bb9836a0c59a69d31a1b929e08f1f1d5a3","datavalue":{"value":"https://arxiv.org/abs/2207.13416","type":"string"},"datatype":"url"},"type":"statement","id":"Q6160923$AC46773E-E2D1-4644-8321-DDD0BABD0CCD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6160923$68E6776C-4696-435E-8694-1A57C6646BD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6160923$9E3913EF-1B87-4DDF-A2FC-78EE1AF1C760","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5678841f24e70474e9c5eacb6556352a3db72310","datavalue":{"value":"7691513","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6160923$AFDF70E5-8B70-4AF1-9E95-5BBCBEABDBE6","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":"Q6160923$0349AE5E-DCD8-481D-BB46-E448ECE71D6E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6bd7c4b6bd818d5577bacfafbb07aaecf2e08044","datavalue":{"value":"W4312983743","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6160923$F95A4CA8-39F9-404D-B842-636123FFFA52","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc4027c1f5163828fd9d0dc0fe4df2983c525daf","datavalue":{"value":{"entity-type":"item","numeric-id":1653004,"id":"Q1653004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160923$16049B34-192E-43FD-A6E2-857832432280","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"338c63ab49a5246244eaa117383a255140b2e447","datavalue":{"value":{"entity-type":"item","numeric-id":3540192,"id":"Q3540192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160923$DDA743CE-8715-4719-B147-7F3E6926AF15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c83d4d6764b997f3d708b308b0fd0356364be84d","datavalue":{"value":{"entity-type":"item","numeric-id":3638081,"id":"Q3638081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160923$01D02464-10FF-4710-9AC2-2B9F4D6D5BCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59f5e6ca3bce90a13964342cc41f3a85dbddc102","datavalue":{"value":{"entity-type":"item","numeric-id":528184,"id":"Q528184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160923$3EA58CF1-A290-44DB-8E77-9A116BE296F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ccb59bad0cab439c569875e29010657f63665574","datavalue":{"value":{"entity-type":"item","numeric-id":5089282,"id":"Q5089282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160923$2F8F544F-13EA-4055-BB53-B06B2438047F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ae286a8d3687087feeacbaf6ab8b5237d177ae6","datavalue":{"value":{"entity-type":"item","numeric-id":2786127,"id":"Q2786127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160923$323A5AD5-4961-40F5-9551-12D55AF37F28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"650e349bc4be547383c5b3a42ea28fd29e3c0b8b","datavalue":{"value":{"entity-type":"item","numeric-id":2842114,"id":"Q2842114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160923$1107EE9E-1417-4BDF-B030-7A36F8AD57D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb43f426ba479be24e9ec30169892dd5239008ae","datavalue":{"value":{"entity-type":"item","numeric-id":5716562,"id":"Q5716562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160923$535FC1BD-5FC2-4B73-87E7-711BEF784D03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04259e030436ea8456db5e27d9985f4639c4af15","datavalue":{"value":{"entity-type":"item","numeric-id":418112,"id":"Q418112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160923$145E3E34-6B1A-4238-BDCE-0FBCD3FD372A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42899df5b07f98507ca87f01b80430013eb00ad3","datavalue":{"value":{"entity-type":"item","numeric-id":4315289,"id":"Q4315289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160923$DFF563FB-EE44-4AC3-939C-E7F3A0A9D911","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b0d69dbca391e6dca8205dca5a5587bf05bdd05","datavalue":{"value":{"entity-type":"item","numeric-id":746769,"id":"Q746769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160923$FF49A9D3-7452-43E7-BD76-C059E748AB63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"257b1d08d00265b4b9d7f1f76c094108a4e385a4","datavalue":{"value":{"entity-type":"item","numeric-id":1351468,"id":"Q1351468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160923$B7230184-5058-41D1-BB20-C62F9F71689B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c73e321a89c1b69ba876d7997bbae8194e84371c","datavalue":{"value":{"entity-type":"item","numeric-id":6041308,"id":"Q6041308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14c9b90ca1b536e3446c618f72c979002db3684d","datavalue":{"value":{"amount":"+0.8248996","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6160923$CEFA09DB-1CB4-422B-9527-5C7B979E880D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b36b46469c987a9f0c9f0dfff6f58c8912cd53b","datavalue":{"value":{"entity-type":"item","numeric-id":4255019,"id":"Q4255019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c97c9660671275babae7c1686ea0ee339107d764","datavalue":{"value":{"amount":"+0.8096987","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6160923$FCCA54D0-9C5B-4F76-957C-BD0BD67A57FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a93529cd1051759a78f7a319d09f042d58628b79","datavalue":{"value":{"entity-type":"item","numeric-id":2055866,"id":"Q2055866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23f765913e4560e50ef6e2d8d9116d1b9ffbf1d0","datavalue":{"value":{"amount":"+0.7940328","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6160923$BFE261CB-C9A1-4477-BEAC-C7E01F60B423","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5038d0385a3f1719c80bbc480ce073c6cf405352","datavalue":{"value":{"entity-type":"item","numeric-id":4488672,"id":"Q4488672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd8814d7c73898398fbaeafc5f8f2c092edb7339","datavalue":{"value":{"amount":"+0.7927412","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6160923$66C61BE4-650A-49F2-919D-DD96187841D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2e851f5d4afba14d7c967b3ad888bac99a574fe","datavalue":{"value":{"entity-type":"item","numeric-id":1962836,"id":"Q1962836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74431ea36d8e145ac916c649cb3db63ec07064a9","datavalue":{"value":{"amount":"+0.7925945","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6160923$9BEF8A46-DB67-4E17-8598-B5B2A39A37A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8b588ec71e0670e34c841fec714bb49a2790ca6","datavalue":{"value":{"entity-type":"item","numeric-id":4262059,"id":"Q4262059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"505ce8f9d9e297a50c6d9e2cf4d5f6fec38e1ff0","datavalue":{"value":{"amount":"+0.78952533","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6160923$DB374DBF-5EE2-42A4-B026-699AF1038DC3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6160923","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6160923"}}}}}