{"entities":{"Q832029":{"pageid":833877,"ns":120,"title":"Item:Q832029","lastrevid":64673796,"modified":"2026-04-11T21:28:04Z","type":"item","id":"Q832029","labels":{"en":{"language":"en","value":"Stubborn set reduction for timed reachability and safety games"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7497999"}},"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":"Q832029$57DA8116-7DAA-4FA0-817A-E5ED55815FE8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"557f3ab8f311c7a30326beffbc01b0d40da07ef2","datavalue":{"value":{"text":"Stubborn set reduction for timed reachability and safety games","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q832029$BE47CBB3-296B-407A-92DE-C6BFF66F4EEB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fbe077079db48888841116a8b2963cb782f92b40","datavalue":{"value":"10.1007/978-3-030-85037-1_3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832029$1439D0F4-06C3-498A-811B-52BE9845A9B3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3d2719cf15a5332bdbf0619fbb0d90e68728953b","datavalue":{"value":{"entity-type":"item","numeric-id":832026,"id":"Q832026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832029$FE703CFD-77A1-4C2F-BB1C-1A55E5917D10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7ac8acc0ee38d6ade72f0d112f1c054cc98c3505","datavalue":{"value":{"entity-type":"item","numeric-id":808272,"id":"Q808272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832029$500493DE-1079-47D8-B7DC-918A5B505937","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2df95935df03df31d922a94adcaf961a4ef2c34b","datavalue":{"value":{"entity-type":"item","numeric-id":832028,"id":"Q832028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832029$0B1F6E70-19F8-44EA-A538-CA873B35D2F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"115241a544f99ad7a30e923fe7cd2e43b86b4105","datavalue":{"value":{"entity-type":"item","numeric-id":444489,"id":"Q444489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832029$040EAA88-ADBF-4C6E-B642-E14752A619A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c2dcd7be7baee2e36f03a03258eb2168c5e33821","datavalue":{"value":{"entity-type":"item","numeric-id":1675811,"id":"Q1675811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832029$64579D0B-0FBA-4FAF-BAB6-627E342C1BDD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ee216241628d7ab3ed1211164658dc9e68b98545","datavalue":{"value":{"time":"+2022-03-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q832029$CA28E946-5C40-4118-A45E-34303E6DD63E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832029$927E4828-0CC3-48C7-BA5E-6D03828C3771","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3979d045da4998151550cb14d4eb67e810052296","datavalue":{"value":"7497999","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832029$965020EE-9EA8-46D4-A656-F46D5AD5C38B","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ec4b83e167fb901bddaf66776abfde5fc423d41f","datavalue":{"value":{"entity-type":"item","numeric-id":13691,"id":"Q13691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832029$D014DC97-9A35-4ED5-81F8-5484ACC66E27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8bf42d0fd66acf369e3d5d44d7ebef6adc7ae452","datavalue":{"value":{"entity-type":"item","numeric-id":56651,"id":"Q56651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832029$7669D4C3-37DA-44A9-AC76-EA2B9C4AFB7C","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":"Q832029$F47C3059-CA36-423C-97E9-87E4AFEA72C2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"debe3151f7670049581f385a43e694da857ceb86","datavalue":{"value":"https://doi.org/10.1007/978-3-030-85037-1_3","type":"string"},"datatype":"url"},"type":"statement","id":"Q832029$36C195DF-524B-423C-9B65-EF8D034448F6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"aef7f10d66a23b3002c0ad39eb51a27d264074e7","datavalue":{"value":"W3195050943","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832029$013D5D8C-097F-4E3F-BC2A-82C9FB6EE526","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d139b83b95572def71b75a1df76dc5855dcccdc","datavalue":{"value":{"entity-type":"item","numeric-id":5248530,"id":"Q5248530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832029$9FFD9BD3-2E17-4FCA-A3DE-8FEAD622D2E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce2d4d13776451396d82af3852bea97068e6efd5","datavalue":{"value":{"entity-type":"item","numeric-id":1645216,"id":"Q1645216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832029$79C1C4E7-CB13-4B84-B042-F2B21DC54BD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f87fc9a7df3280f3f9b0fea2a810058f4edbdaad","datavalue":{"value":{"entity-type":"item","numeric-id":6041133,"id":"Q6041133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832029$D318B2F5-A40C-4FAC-9B12-5835ABFD4960","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a317bcfeb8510bb83082f97c6af9cdf9a7b53205","datavalue":{"value":{"entity-type":"item","numeric-id":5875384,"id":"Q5875384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832029$80B90648-2144-4EC2-AED1-19D415B1858E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c825eb2c6f589583c25ad9727c22d018076dcbfc","datavalue":{"value":{"entity-type":"item","numeric-id":5856425,"id":"Q5856425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832029$8285ED79-F230-4CDB-B612-49C719BE7F23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"077765893fb070860b21513f2fa8e7755a88ca1d","datavalue":{"value":{"entity-type":"item","numeric-id":2894293,"id":"Q2894293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832029$68EAD596-E1B3-41EA-BB81-C391D6905BF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47725b472606f4bada0befded8523598e0fad82a","datavalue":{"value":{"entity-type":"item","numeric-id":4302808,"id":"Q4302808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832029$0DFA65EE-C27D-46CE-97B8-A07A31156D70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f5e3e4fe96435b17b55d9b31d1a0b25e8e859bf","datavalue":{"value":{"entity-type":"item","numeric-id":1854268,"id":"Q1854268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832029$F1ED44F2-2A98-4A95-B3C3-F395B13BE82C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d4cb6e9c0b46157901d6782f85c0164bfbf3d86","datavalue":{"value":{"entity-type":"item","numeric-id":1910794,"id":"Q1910794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832029$8C01B23D-0095-40EB-B03D-972FAB52D0D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91956939e5cb9f6747ac2f94705cf9343932b4fb","datavalue":{"value":{"entity-type":"item","numeric-id":1801499,"id":"Q1801499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832029$4D14CF09-2301-4267-A0F6-D59BC71D0294","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9bebfb80aade0c0beb5ff867851e561a0d28ac4","datavalue":{"value":{"entity-type":"item","numeric-id":2814624,"id":"Q2814624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832029$0337E7FC-40B4-4D14-8BB7-34D13A478068","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8106f36a563a9b5130f50bbc27e481115556adc6","datavalue":{"value":{"entity-type":"item","numeric-id":4270073,"id":"Q4270073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832029$2C61F598-D166-49A1-909A-4F379EC71C64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8fdea13cba6630a46bae02f36bde9b7cb62b643","datavalue":{"value":{"entity-type":"item","numeric-id":5164176,"id":"Q5164176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832029$A7FA64FD-0B8A-4138-ADB6-40983C38425B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"747cc4de9ba2a5f1b34ac1e3a64be5300b4f97a7","datavalue":{"value":{"entity-type":"item","numeric-id":960506,"id":"Q960506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832029$15599C42-20BD-408C-A2FB-FF370BE8A2FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4fdb8e4a2fdf5458b7800cfcdabf92018c2fe43","datavalue":{"value":{"entity-type":"item","numeric-id":685106,"id":"Q685106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832029$76A4F23C-C732-466E-B0F5-E5FEF6710FC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb7557e2d89bfe8667fd8728b0beea8091e7f355","datavalue":{"value":{"entity-type":"item","numeric-id":4353636,"id":"Q4353636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832029$030A73CD-943D-4B1B-A9C5-2CE0DDF666F8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Stubborn set reduction for timed reachability and safety games","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Stubborn_set_reduction_for_timed_reachability_and_safety_games"}}}}}