{"entities":{"Q3449490":{"pageid":5200103,"ns":120,"title":"Item:Q3449490","lastrevid":58193607,"modified":"2026-04-04T04:37:49Z","type":"item","id":"Q3449490","labels":{"en":{"language":"en","value":"Liveness of parameterized timed networks"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6504605"}},"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":"Q3449490$7892139B-7AF0-40CB-9A75-0D5C5F839B7B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"10d47b6a2afd4555d1b704bb83699182c49f03db","datavalue":{"value":{"text":"Liveness of Parameterized Timed Networks","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3449490$B90E4EC4-E02C-4B84-A0F2-505F1D963D8D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7e61343b6a24d80c6b242d493425adffe8565691","datavalue":{"value":"1440.68170","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3449490$E603B1C4-DC2C-4139-9F4E-BC5CF85BEEFD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6bc92b74cc3c90046558bc0be9af33e9361777e5","datavalue":{"value":"10.1007/978-3-662-47666-6_30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3449490$15A62D3A-2A84-49BF-9782-BD1D60DFACA7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cb346d256664a1bd135e45cfac6662095ea6a3d4","datavalue":{"value":{"entity-type":"item","numeric-id":385024,"id":"Q385024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3449490$C80E3CA1-144B-4AD8-A451-34EB74514EF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"efc296f41d11fea7b93d22457da52ba5c74d18ae","datavalue":{"value":{"entity-type":"item","numeric-id":389946,"id":"Q389946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3449490$C54099F5-8579-4E44-819F-8B9D1958739F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5b332ee779277e7cc941f7c72c75777e418fe1f4","datavalue":{"value":{"entity-type":"item","numeric-id":526770,"id":"Q526770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3449490$0C5C41BC-E509-4A97-8D41-DA2E46FB33D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2bcb15ab2871a2195980fb91a8d23fb8b0bf1afc","datavalue":{"value":{"entity-type":"item","numeric-id":1635828,"id":"Q1635828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3449490$38E00EA7-29D9-44A6-8893-F0D265D5FD0C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"803e72eb03c20f6e7d37022dda043ce5d2a7ff36","datavalue":{"value":{"entity-type":"item","numeric-id":2843225,"id":"Q2843225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3449490$9476F712-8754-4040-89BB-4DD33FB053B7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"87b5c622b344036d13fd1ced0604456063cc2441","datavalue":{"value":{"time":"+2015-11-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":"Q3449490$6DE4E6FC-09A5-4F60-9E3A-AADF10C0F2E1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"446a3e4cf174247d029b4901856f6d2ed8fac563","datavalue":{"value":"https://arxiv.org/abs/1609.04176","type":"string"},"datatype":"url"},"type":"statement","id":"Q3449490$6CD5940D-D363-4A62-BF52-B64F77AF8AF0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3449490$A2ADF157-3474-4B49-BBB6-D12E969C9739","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3449490$0A9F1BBA-5D4E-4BFB-BBA6-CBDA91F6D9E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3449490$C5DCAD85-9ECD-4EED-9276-A1AF04665E03","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6c7f523057665f27e91853fc1e878ba5cfb29736","datavalue":{"value":"6504605","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3449490$3563F0A5-6CAC-4519-8771-C283F12B5CB5","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":"Q3449490$B4EC47A1-59D6-4D15-82CA-90311A589D63","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2be39b76c919070d4b8f3ffebb1404df42d47e8e","datavalue":{"value":"W2296248291","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3449490$B9D15007-75EA-4AE2-A3B8-5BFE6695633C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ddd894a479ab1374434c96d1f7845c467e8ffde","datavalue":{"value":{"entity-type":"item","numeric-id":1853589,"id":"Q1853589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3449490$833C15C2-DB52-40D7-B8D6-651D33979CF6","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":"Q3449490$105004E0-9086-49EB-93FA-49BAE7C33A9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c4bc1e19c37922a639da1a9ec5564fb5110b1aa","datavalue":{"value":{"entity-type":"item","numeric-id":2938070,"id":"Q2938070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3449490$61E1D48F-1F2A-42A3-B392-9330821A4069","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1af8018e4b2238d1fb6a944b40d6c56807562f1c","datavalue":{"value":{"entity-type":"item","numeric-id":3190112,"id":"Q3190112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3449490$E08A262D-25A0-414F-B65F-372BCB2074E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"988a9df837a547b6bbf85f95908509102026c1c5","datavalue":{"value":{"entity-type":"item","numeric-id":3113731,"id":"Q3113731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3449490$3A367BD3-9322-42E0-81D5-0AFF9585E384","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b38d814eb51c145cd1775fd8beceba2511519ed4","datavalue":{"value":{"entity-type":"item","numeric-id":1028737,"id":"Q1028737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3449490$EB7E4C9F-620F-4F3A-8135-A33DB223B09F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55099664c2960104dfa739c0e9359324f560c9ba","datavalue":{"value":{"entity-type":"item","numeric-id":3584939,"id":"Q3584939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3449490$5BFAB6D7-6A5E-46DB-9785-233F4E6D8A24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"257df51e393b0d853943fde502aaeb273a88b89c","datavalue":{"value":{"entity-type":"item","numeric-id":4289279,"id":"Q4289279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3449490$C7E1848C-91C6-4B17-A09E-FFFAE17A588B","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":"Q3449490$242D63F6-1B0B-4FE9-A181-F10FFDF9CC0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9986b95f80f7f2ade277d4e74eede8a4186dc099","datavalue":{"value":{"entity-type":"item","numeric-id":253980,"id":"Q253980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3449490$84AEA17C-D36D-490D-B16F-A9EAD0C006C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"327cd46bf4b48e147be3bff1c9fea6e5ba45f94e","datavalue":{"value":{"entity-type":"item","numeric-id":1115609,"id":"Q1115609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3449490$16FEB4F4-5D63-49EB-9143-E2011FC86496","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06f8d0e4bea38103802cafccfec541e3bdb8dee1","datavalue":{"value":{"entity-type":"item","numeric-id":1989334,"id":"Q1989334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f7ad02df180877930632a097aa6425516ab5a75","datavalue":{"value":{"amount":"+0.8114734888076782","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":"Q3449490$308BDD9E-62C4-408C-96C5-C77521F9CF18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a858124ef113f8466bebca27fd598bd5a58d2e4","datavalue":{"value":{"entity-type":"item","numeric-id":1853589,"id":"Q1853589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5243d9c6f5de09bbb1dc124dd0d878bfebbf54c1","datavalue":{"value":{"amount":"+0.8076926469802856","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":"Q3449490$D8C45B94-102B-4D83-A99C-1234EEFEB9C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aba5e7bba07dbe20d96b379bfee48165e48793bf","datavalue":{"value":{"entity-type":"item","numeric-id":2851070,"id":"Q2851070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f33a9832845dcb95fd9b175a55523f569017a4af","datavalue":{"value":{"amount":"+0.792532205581665","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":"Q3449490$5576476A-001B-4348-90E7-A0FD607AF054","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4ae2c025adb24e8d52a645b18f32c27c0c24ee4","datavalue":{"value":{"entity-type":"item","numeric-id":2447757,"id":"Q2447757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8cad011978b6ce2752c72571a1b07f815a56be9","datavalue":{"value":{"amount":"+0.7838541865348816","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":"Q3449490$1E0356DC-C0F0-439F-984A-1688A1ADFC93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13d3bc1ffa738d36e0aa4671214ad8123b4ee3eb","datavalue":{"value":{"entity-type":"item","numeric-id":2769587,"id":"Q2769587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6766012f4e4127ec704f282862030bd068856a13","datavalue":{"value":{"amount":"+0.7834702134132385","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":"Q3449490$7358C6A4-0150-480D-A21B-35D75AB6EB80","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3449490","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3449490"}}}}}