{"entities":{"Q2044206":{"pageid":2054948,"ns":120,"title":"Item:Q2044206","lastrevid":57686499,"modified":"2026-03-31T22:07:14Z","type":"item","id":"Q2044206","labels":{"en":{"language":"en","value":"Timed automata relaxation for reachability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7378309"}},"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":"Q2044206$C3D840D1-A344-42C8-9416-862B1EAB49A0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0f2c6ff816cad356d67ca0deb11b23c0d2f90da8","datavalue":{"value":{"text":"Timed automata relaxation for reachability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2044206$3FD023AB-CF46-4FFC-9610-076A2D7E065D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"df23c9bd806b4152736022df15e4535c39c031a0","datavalue":{"value":"1467.68079","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2044206$4A848C20-4F30-4878-A466-1EA5A7E25EE7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1b59a5316f2339754e2fd1ebaaf2cfc13b131643","datavalue":{"value":"10.1007/978-3-030-72016-2_16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2044206$10A20A3A-2D00-41CD-BF1E-7CBBC273FCDD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b44d9183270609fbf85b361b8fe23fe5412807da","datavalue":{"value":{"entity-type":"item","numeric-id":832271,"id":"Q832271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2044206$C8D85AD8-337F-45DD-99A3-46F787A2C452","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6549c3770170a1325756b764fc33f17a014b25fd","datavalue":{"value":{"entity-type":"item","numeric-id":2044205,"id":"Q2044205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2044206$EA49D56E-D25F-4E96-A37C-9E5C5F4DB195","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"931831a3ed1a298c970ccdda8fbf5e7cb412d3f0","datavalue":{"value":{"entity-type":"item","numeric-id":889005,"id":"Q889005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2044206$B08EDAE2-42BB-498A-9234-91B8ED604035","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"49f82df4d18eab422e11b74b412720f50f68da1a","datavalue":{"value":{"entity-type":"item","numeric-id":1306564,"id":"Q1306564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2044206$459319EE-E2B5-47E7-BDF6-C3DA135BEFE3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6f25f924676185979ab6f246b476dde833797f44","datavalue":{"value":{"time":"+2021-08-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2044206$F501F89B-D30E-499B-8A30-E0AB6C7C694E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2044206$09651A10-3077-4469-810F-8CF687B3FF12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2044206$91F5FC27-EC4B-4B4A-8498-F939F1D5702C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"80fc27eed708bb5ac9c69e22348dc5946702b1e6","datavalue":{"value":"7378309","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2044206$DCC68556-B6A4-4F87-A034-C9783FE26A62","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a5fa1590acdc7d1088586b7f10610a102a9f832","datavalue":{"value":"timed automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q2044206$320654D3-EA12-4B82-9576-B68F18FC327C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a9675bb37dbeeee484cb314a4abd71e5ae4600c0","datavalue":{"value":"relaxation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2044206$63FF69F4-F579-4AAA-B583-0CD53642F983","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a618b40b0e1c60d8f3695a0363009e29e3d436f0","datavalue":{"value":"reachability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2044206$B65702D0-7E55-4B97-9F6B-2C744E646FAA","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":"Q2044206$82CEF639-D7A2-44DC-A82A-90F607F4C1A7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2eeace9ddb69f3fba3548510c6ed706e4ba52f22","datavalue":{"value":"https://doi.org/10.1007/978-3-030-72016-2_16","type":"string"},"datatype":"url"},"type":"statement","id":"Q2044206$8833CB35-CF1E-4CDC-9FB7-FE72EFCB162C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1296c4a8ba63108983f3607036afb216521b1b8d","datavalue":{"value":"W3117866502","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2044206$E582FCA0-016A-49E5-9CA9-D5CACB42EA27","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f07dd10781fec219d4e5037d85aa8641413cd12d","datavalue":{"value":{"entity-type":"item","numeric-id":4551179,"id":"Q4551179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2044206$7AEDDAFE-F526-4297-85AF-DCD277CD47BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f0677d986de7ae767d3696ee3197efa0dd10513","datavalue":{"value":{"entity-type":"item","numeric-id":4817528,"id":"Q4817528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2044206$42B4ADCE-C517-4BE5-B226-CFB72BEF32A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6920ce6a126f18e82d65e8effcf860c634e06c34","datavalue":{"value":{"entity-type":"item","numeric-id":1322162,"id":"Q1322162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2044206$91299E18-A13A-474D-9D2F-40D0CD0667C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34de22b1b32bbb07d7895315a4fb83066cfdca6f","datavalue":{"value":{"entity-type":"item","numeric-id":2287101,"id":"Q2287101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2044206$0E53E15B-C21F-432D-9D8E-98F19DB4AAB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81278e25ba92c1e249c16422daf2bcf1442fb7aa","datavalue":{"value":{"entity-type":"item","numeric-id":2032913,"id":"Q2032913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2044206$33BC3635-D3E1-4EEF-B055-E805B377D224","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85a0da5461a77e3d1740266a13fa2f767ff2372e","datavalue":{"value":{"entity-type":"item","numeric-id":2815093,"id":"Q2815093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2044206$F6312A3B-262B-4128-98AE-C8C35125C202","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7cd78fd80e61d73c22f982a25cb766703cb7ea6","datavalue":{"value":{"entity-type":"item","numeric-id":282095,"id":"Q282095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2044206$5190CE9E-7165-4F78-AE58-8F5B70F0C0E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed7cf7423bca3aac3432f01b6a8711ff2f9d4ab8","datavalue":{"value":{"entity-type":"item","numeric-id":4636600,"id":"Q4636600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2044206$8B3C40C9-1035-4E77-B052-6A297B412E9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0822111150beae149805db557fb0fa25700bd11c","datavalue":{"value":{"entity-type":"item","numeric-id":6109586,"id":"Q6109586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2044206$3413A9C6-BF4E-4D0C-8C47-5567D6FF707E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6497d514b070e02d938ca26f17f94ffc62d2c519","datavalue":{"value":{"entity-type":"item","numeric-id":6039387,"id":"Q6039387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2044206$688CCFA0-6E71-40E6-895B-92E3EECD8D0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d475563753b2def66f50645b71310fdb957e1ca","datavalue":{"value":{"entity-type":"item","numeric-id":3449466,"id":"Q3449466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2044206$5EBE8F8F-BC9B-4DAC-BB36-0161C9396E94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5ed779e29227a81a903aa97a6be4235ec5dba66","datavalue":{"value":{"entity-type":"item","numeric-id":4571131,"id":"Q4571131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2044206$F02046A3-1625-4011-85C5-6DA4AF982B29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a791ce6cb26f783535024a466152c74687697d0","datavalue":{"value":{"entity-type":"item","numeric-id":1648651,"id":"Q1648651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2044206$8761E0C1-B7AB-4112-98B4-684B2ABE7927","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bdf01c69f7501607279007f3e30fa33ad7afa90","datavalue":{"value":{"entity-type":"item","numeric-id":2385195,"id":"Q2385195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2044206$C7EF27AD-B6B6-41A9-8950-C7CD8E8E2677","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53d1d8ee2c5a20f4bbb771b0d86edcaf1d78bae7","datavalue":{"value":{"entity-type":"item","numeric-id":2769587,"id":"Q2769587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2044206$0771E6B1-C40A-462D-ADA5-240BE3E179EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7e356f4cefeec4885e9783fc6beaee96a65f3af","datavalue":{"value":{"entity-type":"item","numeric-id":265701,"id":"Q265701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2044206$5100D856-4126-4311-B459-5AA93BFBA264","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d6e6339c8f8a3272b7cfb2e5fb19de523862545","datavalue":{"value":{"entity-type":"item","numeric-id":5326340,"id":"Q5326340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2044206$A00C94DB-471D-4600-9C91-EE8789FC87E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7c7d2abc7d9879aec79601bcad6101068b3b5d4","datavalue":{"value":{"entity-type":"item","numeric-id":2889614,"id":"Q2889614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2044206$8CDD12BC-BCF9-40E5-B33D-ED9C568BCC4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"043fde2ad229e4e063677243841b19ea373a4695","datavalue":{"value":{"entity-type":"item","numeric-id":5376906,"id":"Q5376906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2044206$CBD3D04E-66AE-4AB0-84F3-D6B360C8A42E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e70d1806e78a82125195a157441f06474cf07a5","datavalue":{"value":{"entity-type":"item","numeric-id":1363777,"id":"Q1363777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2044206$E48E0DAA-4668-4DB0-9041-40970E9E67D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d835fa459b73410c61bf5c354506b5995c700aad","datavalue":{"value":{"entity-type":"item","numeric-id":272009,"id":"Q272009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2044206$1C75C579-85E3-4B00-8CF9-2F43D112A758","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8cca8012b9326308a2cafc256eeec2b7569fdd7c","datavalue":{"value":{"entity-type":"item","numeric-id":1677431,"id":"Q1677431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2044206$F376B3BA-897A-4E0D-8D2C-D6792C35153F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61762d1a0b214a9dcb84410f924064d87dbece04","datavalue":{"value":{"entity-type":"item","numeric-id":4503929,"id":"Q4503929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4691450f75025b581614e476b9dba5de2788293b","datavalue":{"value":{"amount":"+0.7831343412399292","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":"Q2044206$BB109BF3-459A-44C3-95BE-CD16172BE675","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4929db541abaeff19585802249b189759227a44","datavalue":{"value":{"entity-type":"item","numeric-id":4817528,"id":"Q4817528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"115d82f30d37b36b2757148cc26151b985974e94","datavalue":{"value":{"amount":"+0.7794140577316284","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":"Q2044206$D8F0D3FD-8AF6-47E6-8EFB-283E4F984D80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"464a8f0329144c913a19705c22f19b37a5ac7b77","datavalue":{"value":{"entity-type":"item","numeric-id":5897958,"id":"Q5897958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"177171d121ad2feb1cba06cdbe9294d18a271f42","datavalue":{"value":{"amount":"+0.7678250074386597","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":"Q2044206$4DD3DC70-EFED-476C-9CF1-00C1FA4AA03F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0db01d7746b354d149ddaa4f5d652b8a9c7e816c","datavalue":{"value":{"entity-type":"item","numeric-id":4461759,"id":"Q4461759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d9be4f7da90baf08efbf978b791d549bfcac90d","datavalue":{"value":{"amount":"+0.7645713090896606","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":"Q2044206$C9021B0C-2C00-4170-8973-5DA65E90B92B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b0cdc786630ff544ede06d41a2ef839c31a1045","datavalue":{"value":{"entity-type":"item","numeric-id":4418686,"id":"Q4418686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17ed589d0461962273e10e3d06fd3ec622d68e00","datavalue":{"value":{"amount":"+0.7642697691917419","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":"Q2044206$FAD7045B-45EC-4576-8E23-2E4A5E8E8205","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2044206$773D8CF5-EFB1-4660-87B9-2EF8C5524A27","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2044206","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2044206"}}}}}