{"entities":{"Q5249293":{"pageid":7278861,"ns":120,"title":"Item:Q5249293","lastrevid":52253663,"modified":"2026-01-21T06:40:15Z","type":"item","id":"Q5249293","labels":{"en":{"language":"en","value":"On reachability and safety in infinite-state systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6432517"}},"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":"Q5249293$B6C46B7B-50F6-463E-BD68-FE7CBB288309","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7a1fe3ee6aade4e73fc935777917579c96f8b190","datavalue":{"value":{"text":"ON REACHABILITY AND SAFETY IN INFINITE-STATE SYSTEMS","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5249293$0CD676D2-ED19-4D41-A406-5704B0B18E9D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"17e9223eef94a180417e5cb2db1e1ea2835f3583","datavalue":{"value":"1319.68084","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5249293$4FB0152A-254A-435A-9ECD-6C1E0F330AA5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4b51d104b37aa42327afd2f5afd49f2937e6fb58","datavalue":{"value":"10.1142/S0129054101000898","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5249293$55F68CCA-C02D-4193-A4CC-56112A973FB2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d0ccf6eb6c37793d5bd821ffa019f577d6c7be3b","datavalue":{"value":{"entity-type":"item","numeric-id":243823,"id":"Q243823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5249293$C6F1429A-9E05-435B-AF9C-4263EC533439","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"859f8ee7581350f1031dec21f694fc43324b283d","datavalue":{"value":{"entity-type":"item","numeric-id":344798,"id":"Q344798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5249293$5CA71279-4BDB-4915-B0D1-0B642CF46C30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b7f46f7e898be762c100de5b315dd4eb1b625552","datavalue":{"value":{"entity-type":"item","numeric-id":672738,"id":"Q672738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5249293$49590747-F0F9-4867-B7D0-82794443E1EA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"47adaa7123c6f3744cf7fa8eab088d52b4982295","datavalue":{"value":{"entity-type":"item","numeric-id":2703009,"id":"Q2703009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5249293$63FE3F52-7A73-4F00-B962-B4630B974A2E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"22703aaabf2a7c3eda53a43e7dac0317268998e3","datavalue":{"value":{"time":"+2015-04-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5249293$D6DB3F2C-2F3B-4569-A8C4-0808B5361D8D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5249293$956CEFB9-E269-4CF6-8916-48A1A7D96AAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5249293$5AE34179-ABE8-4B1A-835D-726FDB347490","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5249293$66C9B467-2159-4172-9B07-BA3EE69A93CE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e81702ee85c8cf5becd813a8c16395d410f554ee","datavalue":{"value":"6432517","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5249293$EEB532A6-90DD-4172-B049-7FE3E9649BD3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a5c8ba46ca3cfc960c989c4fc1677ad7c552dab4","datavalue":{"value":"automated verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5249293$3F7E4FB3-4F7E-467C-BE42-DE81B1FA1DA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"33091d86905202af08d9012d6e5fba9f5ed72f62","datavalue":{"value":"infinite-state systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5249293$874AEE29-686A-40D9-984D-C0502E430DBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a618b40b0e1c60d8f3695a0363009e29e3d436f0","datavalue":{"value":"reachability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5249293$0FD2E820-6A2D-4A8D-B58A-CEF52765456E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09ca32413f1d623ef3eb8d4a14ac759e926ea85f","datavalue":{"value":"invariants","type":"string"},"datatype":"string"},"type":"statement","id":"Q5249293$04B34612-35A6-4D40-B6A8-B82C152C3185","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":"Q5249293$DCE2E396-AF58-4256-8DBD-769377FCFBFC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf4fab5a4519bb0e4a7392865538dc50ad77fca2","datavalue":{"value":{"entity-type":"item","numeric-id":1193587,"id":"Q1193587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5249293$2E496FC0-E08B-452A-848F-05CDC6604B23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c7f6243e8c1e019fa7573e1043f7114ec98acef","datavalue":{"value":{"entity-type":"item","numeric-id":1920224,"id":"Q1920224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5249293$D397BCA1-B745-40E0-A0AC-BBB0335EC9A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1b26bdc210a3d291b796088837bddd84cce8b4c","datavalue":{"value":{"entity-type":"item","numeric-id":775202,"id":"Q775202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5249293$D51846B4-B62C-4662-831F-C121B2E80ABA","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":"Q5249293$AFB8CBD7-F028-46D4-A92F-2948721F4CAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be00c63685f57348b9e88ace758aea96980b1481","datavalue":{"value":{"entity-type":"item","numeric-id":4299300,"id":"Q4299300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5249293$936C5F00-B8AB-4E4E-B3E6-409F620C5206","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6df3bae9c756efbb8cf10516a99531fddb50833e","datavalue":{"value":{"entity-type":"item","numeric-id":689092,"id":"Q689092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5249293$2EB73677-A80B-4557-B0E5-74CF688C779A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad0949de2a3f618dca6bd9ebe8bd574e08dfaa30","datavalue":{"value":{"entity-type":"item","numeric-id":1327398,"id":"Q1327398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5249293$BC6A128B-AB8C-45ED-9729-207DAFDE385B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"182981e0e770b39d22d2da0fccd0d6dd8798182f","datavalue":{"value":{"entity-type":"item","numeric-id":4140393,"id":"Q4140393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5249293$02AD5C3E-3B47-4399-BCBF-85E44597F513","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4350892d7df19387ec0804bd15d8a9dc062b47c","datavalue":{"value":{"entity-type":"item","numeric-id":1151753,"id":"Q1151753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5249293$EAAAE3F2-D059-4E77-9EC2-627EF6447589","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6bd4a2602001801f5f40f3ec34c2f00bc2c33f89","datavalue":{"value":{"entity-type":"item","numeric-id":1807671,"id":"Q1807671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5249293$83EDAFAE-4DE6-46CE-9CAB-98C17027B1C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29a8d14eae1fab181499f44d4720082adebedfb9","datavalue":{"value":{"entity-type":"item","numeric-id":5845383,"id":"Q5845383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5249293$5EF730D5-9799-4403-AAC5-E608C74F07B5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"417720bba9b42acae7cd86b5bf91b283caeb7d70","datavalue":{"value":"https://doi.org/10.1142/s0129054101000898","type":"string"},"datatype":"url"},"type":"statement","id":"Q5249293$F5F68C8B-F6F4-4E40-A19F-8D91EDBC150A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d5338b85f00d700bea215c79529591717fd247c8","datavalue":{"value":"W2067723582","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5249293$7D867812-FE2F-4750-816E-D99E84A43628","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2bba8d8f81ef54226639a270db6b08e28dc2df4c","datavalue":{"value":{"entity-type":"item","numeric-id":4536602,"id":"Q4536602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"821ff80342f31da85ee34a8e6885dfb6749d534f","datavalue":{"value":{"amount":"+0.975836217403412","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":"Q5249293$2C2717E9-5CB4-4F21-9D73-247027D24176","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1464507be0290ee94b6d3e2229f096b056d3e07f","datavalue":{"value":{"entity-type":"item","numeric-id":1853523,"id":"Q1853523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8dd7249cf80c6446c34b196603311878d56a65be","datavalue":{"value":{"amount":"+0.8390714526176453","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":"Q5249293$6CB15ACA-3084-4C68-84AB-AD277F6AEA9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d293609a16c7763d2d0015d994f0020be59d4339","datavalue":{"value":{"entity-type":"item","numeric-id":4540964,"id":"Q4540964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec92b5d8b04b60b2b3ce7ba120e5dfca56dc20bd","datavalue":{"value":{"amount":"+0.8357446193695068","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":"Q5249293$436D208A-0C4E-466E-B1E9-69E08CD36691","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb0d1e30e4e2477744be6a392afe05e3133a20d8","datavalue":{"value":{"entity-type":"item","numeric-id":3740236,"id":"Q3740236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec92b5d8b04b60b2b3ce7ba120e5dfca56dc20bd","datavalue":{"value":{"amount":"+0.8357446193695068","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":"Q5249293$E1AE82AA-8669-4850-A40E-7BAD9B7720CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e03623fda6cd17a56f45755a08323e72f6f063f2","datavalue":{"value":{"entity-type":"item","numeric-id":4536378,"id":"Q4536378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4fde705384bbf077edabd5155fdb9ebb7a0b8b9","datavalue":{"value":{"amount":"+0.831794798374176","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":"Q5249293$D2918409-6EC6-40EC-8529-E0C42AB0E850","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5249293","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5249293"}}}}}