{"entities":{"Q1763732":{"pageid":1774474,"ns":120,"title":"Item:Q1763732","lastrevid":74149518,"modified":"2026-04-14T18:36:31Z","type":"item","id":"Q1763732","labels":{"en":{"language":"en","value":"Decidability of infinite-state timed CCP processes and first-order LTL"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2136589"}},"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":"Q1763732$7EEB173F-A8E7-4430-9995-AAC2A67C6EB8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"339becc42275bd12dcf352680f30b7cfcc9a3823","datavalue":{"value":{"text":"Decidability of infinite-state timed CCP processes and first-order LTL","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1763732$552F6A9B-A24C-4911-A3DB-CF3D0D2F1303","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2502f3e312bdcf0cd7698dfa95ca2c119861ec99","datavalue":{"value":"1078.68110","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1763732$BC667C63-DD87-4805-8F0A-12BC085095F3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"955d121ef1e65adb5c21b330efd8a085cd4a50fb","datavalue":{"value":{"entity-type":"item","numeric-id":347367,"id":"Q347367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1763732$4A2A2AFB-5AE3-464A-8803-FE6514F42D67","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1763732$2AF05B72-BAF9-45B5-AFC5-6496F4CD514A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e6fd9f57da46494686492c936ca92ef875382ca4","datavalue":{"value":{"time":"+2005-02-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1763732$71912203-90E3-475A-BAF5-BE143606BB28","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1763732$4D5895AB-F3D9-4C26-A10C-F21399B8138F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1763732$50919E99-1C57-4CF5-A589-F894B4EDA707","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1763732$81977328-155A-4BC6-9087-BE340C2BB71D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ef2f4e386aa219b762af924790e717141e1d062d","datavalue":{"value":"2136589","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1763732$819771B8-9858-409E-B048-66B6AE5E0C47","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"11e1ba63bfda00798220b9aecb69b1a4fed4dd2b","datavalue":{"value":"Process calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q1763732$49AACF09-930F-476B-B956-6D5D77F5AF1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3d5db1ddc3cc3b965ab6ddc16ae8758d66038093","datavalue":{"value":"Timed concurrent constraint programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q1763732$6A4FAA1C-495F-4C2D-912D-D05966964101","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f59730cf7818c892312636bed117bd3460e24595","datavalue":{"value":"Infinite-state systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1763732$8720156F-62F5-417F-8D43-B57CB028288B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d02dd1a2dfa11167160686287ff03893b98091d","datavalue":{"value":"Temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1763732$E2B65F98-B98C-4B1C-87F3-2659CADF6764","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7dc55e83474954ec9ba6d141183b1ac0fcb498f","datavalue":{"value":"First-order LTL","type":"string"},"datatype":"string"},"type":"statement","id":"Q1763732$E3414A41-9892-42AF-8FD5-2CDCA14D6C0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe205c94c9319aeda4c0c7ac8f8ed9aebce3e0c7","datavalue":{"value":"Decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1763732$0861AB42-E190-433A-8D69-BF307EBC2CE9","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"70849c7de8b1fba6771cc05a0e9adf71b0d9785e","datavalue":{"value":{"entity-type":"item","numeric-id":31835,"id":"Q31835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1763732$EFEFF9CB-DC56-493F-8EE9-2597BBEC42D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2ccbbe6930c8e1cc299a9de96016fd336eaa915c","datavalue":{"value":{"entity-type":"item","numeric-id":18874,"id":"Q18874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1763732$FD8C582D-9530-44AC-A5F9-B81D4761748F","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":"Q1763732$CD391BA3-1E32-4D66-88DC-6DA71A79ED98","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7a155d478f46a6f27309e169ca2cfcbe7fd36a8d","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2004.10.009","type":"string"},"datatype":"url"},"type":"statement","id":"Q1763732$65E88C26-B835-4E40-91F8-6EC12155A72D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fd5de3fe9a715f7e07237617abdcfc5410ce4551","datavalue":{"value":"W2034282674","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1763732$C7F150F8-BCCE-4C92-AA68-E1331E902293","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"306e12a9cf0eda54a3cc4a9ea9a5f408097e0e07","datavalue":{"value":{"entity-type":"item","numeric-id":1118578,"id":"Q1118578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1763732$488D4440-7A46-4194-BEDB-92990EDCDFAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a71df8b92ba7125a0c7197e8e9200d4d9ef576c","datavalue":{"value":{"entity-type":"item","numeric-id":1196296,"id":"Q1196296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1763732$99E6FCA5-A855-4529-BB2A-44DDF0AA8A6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06c411f40bd3fed70a734570dda325013084ac01","datavalue":{"value":{"entity-type":"item","numeric-id":5525343,"id":"Q5525343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1763732$F05D27E9-2EE2-45E1-BFD3-9500267E38A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58896131077e962d2f5cdffd0705f235c9780331","datavalue":{"value":{"entity-type":"item","numeric-id":1854359,"id":"Q1854359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1763732$E06E7C81-B8A1-47D1-B905-505F35894F47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98252c3c8bfd426068fb5d970e565df498f1ebfc","datavalue":{"value":{"entity-type":"item","numeric-id":671989,"id":"Q671989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1763732$2496BEF6-3FE7-49D9-AE8E-9B83367E2292","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6f3b71c837403f4adab2f28f0c50acf7c1b7ce3","datavalue":{"value":{"entity-type":"item","numeric-id":4923526,"id":"Q4923526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1763732$5DD2FA8F-4F3B-4ABA-9685-CE5761A17437","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77c96bdb3d4f2f9d3aa5992eb44173f44559327d","datavalue":{"value":{"entity-type":"item","numeric-id":2767080,"id":"Q2767080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1763732$ACAF968C-C89A-4EB2-BBFC-CBC8FC834078","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"206502def503bfebddbfe30bf2d86eb0305ae81d","datavalue":{"value":{"entity-type":"item","numeric-id":1380117,"id":"Q1380117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1763732$52806CAC-B667-4184-A2FC-0A0F18540AA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a25c01e8d4be176dddf944065ec7d363ffdadbd","datavalue":{"value":{"entity-type":"item","numeric-id":1591203,"id":"Q1591203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1763732$FA47F11B-A761-410B-9D1C-FE8E03931CFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4968b8cabc6e7e2146fbbb19353be5139e1037e5","datavalue":{"value":{"entity-type":"item","numeric-id":4002642,"id":"Q4002642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1763732$CCE5DE56-B157-4B51-AE5A-75C98D097AA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09dc0d5696d284e011b1160682f6fe6cbc5590fe","datavalue":{"value":{"entity-type":"item","numeric-id":4275689,"id":"Q4275689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1763732$A8AAAC30-C850-46E5-92F8-00CDE6AB92AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1763732$6B271E51-5758-4BEC-AEB0-FD951D238887","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d435c0f67ddf85d33870a390e8862774ba1ecdd","datavalue":{"value":{"entity-type":"item","numeric-id":4248252,"id":"Q4248252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1763732$8EE37886-B8C1-48FB-87AD-96D2CD3F051C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8409c6b47904da9ba25328ffb35bebdb7d310a8","datavalue":{"value":{"entity-type":"item","numeric-id":1844713,"id":"Q1844713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1763732$4654A4E5-D729-4EE3-B31F-AE6AF3BCB627","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc8538023ff8d40f43d3f0f24e047ecceb14e467","datavalue":{"value":{"entity-type":"item","numeric-id":1098325,"id":"Q1098325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1763732$373FD087-0B34-486A-9975-EA637002F9FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4dfe83606eec07fec39e27fe716dfbbb447faaac","datavalue":{"value":{"entity-type":"item","numeric-id":3150207,"id":"Q3150207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1763732$5D42A1CC-4F2D-4AB0-8F6D-7CBE8CFF7823","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6fb884c52944e5e54511efae44860bd33070620","datavalue":{"value":{"entity-type":"item","numeric-id":1604011,"id":"Q1604011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1763732$9ED34B30-ADFE-4F4E-927E-A9938EA487A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6256b2db2c711c529394796ba7cddb346118eb58","datavalue":{"value":{"entity-type":"item","numeric-id":4475640,"id":"Q4475640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1763732$590F0A00-CEB7-47FE-B09D-DEFFE52565B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bd33bb49bf2bb5600a7a4d20ccad16a6368c9d0","datavalue":{"value":{"entity-type":"item","numeric-id":4312458,"id":"Q4312458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1763732$F251A9A7-D177-4D6F-8C79-8688399B3686","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01a13008b5d98c76dc23f0ab56b8f3f3fea73d6c","datavalue":{"value":{"entity-type":"item","numeric-id":4264203,"id":"Q4264203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1763732$6A702F5B-B040-4387-9D18-3219522C473D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4eb4f47a7131723dd2e4a4daa9f6dc9e584962f3","datavalue":{"value":{"entity-type":"item","numeric-id":1605181,"id":"Q1605181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1763732$FBB42011-2D71-481A-9DD3-BAD32BAE09F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2d1abad224529fcdb3376cabbb7ca9b597a70ea","datavalue":{"value":{"entity-type":"item","numeric-id":4312468,"id":"Q4312468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1763732$59F04DEE-FA3D-42FD-B2BE-2F02F764AF47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02f05e5d64a6e6e44808e7f19556ff5151d11384","datavalue":{"value":{"entity-type":"item","numeric-id":679325,"id":"Q679325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1763732$F5BEA777-5509-4819-B024-84FAF407348A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d079b47cf1ba2d598f964b28ddec583cafa7821","datavalue":{"value":{"entity-type":"item","numeric-id":1088653,"id":"Q1088653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1763732$E49F4BCB-EFB9-44E8-9D78-9391F1AF7DC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bef9d2d76846f715fb4c95dec15c3751b47b37a3","datavalue":{"value":{"entity-type":"item","numeric-id":1902700,"id":"Q1902700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1763732$2B8E0790-366F-4782-9B96-B6F0C62AA410","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3863c7cca8085bd693f0187c355e1552c6f48372","datavalue":{"value":{"entity-type":"item","numeric-id":4499205,"id":"Q4499205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1763732$00E7649B-FDE8-46E1-AC36-D1F8ACA014C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c39bb6928284cece16090832754ebfd2f60b1e11","datavalue":{"value":{"entity-type":"item","numeric-id":4735934,"id":"Q4735934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1763732$1E397F26-4A90-441A-A3F8-FB20C35FA6A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12c4552cc5a1327f54f5deda44d83e12c0aaccb5","datavalue":{"value":{"entity-type":"item","numeric-id":5191495,"id":"Q5191495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1763732$9AC77777-570D-4A0A-B90C-F69A6D8E1F8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40c316786d710de37d6563b2d09bafe89152ae70","datavalue":{"value":{"entity-type":"item","numeric-id":6487366,"id":"Q6487366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1763732$A0676D81-1106-4725-A986-C12CB86E918D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"646e0e2ba9f8e55cdf957a7b3d9da65a6f30d08a","datavalue":{"value":"10.1016/J.TCS.2004.10.009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1763732$2C5C84E0-DD15-4BC5-8544-0C1B5B662B77","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e013121fa1c4efbccf1fa0611fedf9a58fb5d2c","datavalue":{"value":{"entity-type":"item","numeric-id":5191495,"id":"Q5191495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c26ede1332fd88917f1b3655016754ebf069587","datavalue":{"value":{"amount":"+0.9597288370132446","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":"Q1763732$0BDCA38A-0AFC-4732-93F2-4FD64C018ED4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e65c44c0e0c64b6fa8fe94ec4f8dc5662b949c20","datavalue":{"value":{"entity-type":"item","numeric-id":5476390,"id":"Q5476390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d45d5220f5f00780f042d1ebdc17a8e0a2fd318","datavalue":{"value":{"amount":"+0.8049287796020508","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":"Q1763732$47CEE3C3-B6EA-4EE6-915F-8B86432AEAA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5c8e4054e1eb521c9b8f86a660184b09b03fafb","datavalue":{"value":{"entity-type":"item","numeric-id":530859,"id":"Q530859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2863817a0fdfc4db3339c1b4d9d7e61e9585ecda","datavalue":{"value":{"amount":"+0.8001272678375244","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":"Q1763732$0C42F966-C25A-4435-85D2-A63C0E1708F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8fdc43cfb0045fe54a9dbb63721a23bf9fa17f76","datavalue":{"value":{"entity-type":"item","numeric-id":5712290,"id":"Q5712290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a004b9c52bb0e57678a421300acd06ba0fe4cc6","datavalue":{"value":{"amount":"+0.7667953968048096","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":"Q1763732$BA01CEBE-D142-4CDF-984B-F737AF4E188B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5796eb70c99fba9d1d6f177ef1cab58ebf97c244","datavalue":{"value":{"entity-type":"item","numeric-id":5191474,"id":"Q5191474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1761bed58f8e29b84e953be65f6275842e3c925","datavalue":{"value":{"amount":"+0.7584892511367798","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":"Q1763732$3F1ECF62-8EB7-471D-A6A6-43386B3D913B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Decidability of infinite-state timed CCP processes and first-order LTL","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Decidability_of_infinite-state_timed_CCP_processes_and_first-order_LTL"}}}}}