{"entities":{"Q4633826":{"pageid":6663407,"ns":120,"title":"Item:Q4633826","lastrevid":55910923,"modified":"2026-02-21T01:59:25Z","type":"item","id":"Q4633826","labels":{"en":{"language":"en","value":"Termination criteria for solving concurrent safety and reachability games"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7051187"}},"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":"Q4633826$ADE45F81-E815-4FBA-925C-F8E4133C4F26","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7a4f458909bdc4550d0fe059970f4ee43fc0289b","datavalue":{"value":"1425.91074","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4633826$084FE2F2-E2E9-4163-B8AC-A7CC4BB7F706","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2cff81c72b46c2d37ebe9a5f2cbcfbb6825cbcc7","datavalue":{"value":{"entity-type":"item","numeric-id":253965,"id":"Q253965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4633826$2E9C517F-3F03-4440-A1E9-CF208A8B3378","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"70be23dc5fb433f8d91892189cdd2f4aa499b284","datavalue":{"value":{"entity-type":"item","numeric-id":355504,"id":"Q355504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4633826$0CDF5853-7B9B-482B-8002-D07343FE6D24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e91931f3fd780c36ea4328f78b3c3352f7c16650","datavalue":{"value":{"entity-type":"item","numeric-id":355505,"id":"Q355505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4633826$80498AE0-FD94-431B-841F-3C787040835A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1db0470b15cb02bca35522f7f5b759cca535df5c","datavalue":{"value":{"time":"+2019-05-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":"Q4633826$36B0DCAC-9BB8-4147-BAD2-AE617001A255","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d44e034fa6b326b48c655a386265202578621a85","datavalue":{"value":"https://dl.acm.org/citation.cfm?id=1496793","type":"string"},"datatype":"url"},"type":"statement","id":"Q4633826$251E0496-2CA8-4AD0-9889-FEACB6E3174E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"51140ae2bebd38d405ad1731d3b61ebf4b26c4ac","datavalue":{"value":"91A43","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4633826$AF92EE16-C389-4D2E-9AF8-CC6A16E2FF75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d5c83f057600e5614b7fec59c8e4ac61cb41ba8d","datavalue":{"value":"91A80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4633826$3872DB6D-CDB4-42BE-87E4-A4D220F2E977","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"da2cd6b50a37ea90144db977113132b070f77d44","datavalue":{"value":"7051187","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4633826$37C4B5F0-C8B2-4D27-A15D-A00948789D45","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":"Q4633826$DDF34EC1-01B1-4B48-B5EE-B15344B609CD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba3f92c4ef99b0064665eb4dd9c1b0e27ce25624","datavalue":{"value":{"entity-type":"item","numeric-id":355506,"id":"Q355506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26551b9b24bb3d9be7fbb334e304d0ee71d32466","datavalue":{"value":{"amount":"+0.8864434361457825","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":"Q4633826$08049D71-E544-4873-8E24-EA876BAEF046","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d0378b797cee2dacd7a3dc969c5ed49269076d7e","datavalue":{"value":{"entity-type":"item","numeric-id":2465027,"id":"Q2465027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"273a310a5e3b62dafe1d933c6418c3e95a499760","datavalue":{"value":{"amount":"+0.8289473056793213","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":"Q4633826$B5DBD2C8-BB32-4E5B-A4FC-E15DA5D8E09C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c57bd386642573e832e9125ffb4c4806321087c6","datavalue":{"value":{"entity-type":"item","numeric-id":5111270,"id":"Q5111270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30ffd3171c24bd398e074c15e383301ddbf55359","datavalue":{"value":{"amount":"+0.8261168003082275","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":"Q4633826$5D635FFC-C5FE-4E13-9136-142BAA55F246","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4633826","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4633826"}}}}}