{"entities":{"Q3636802":{"pageid":5666708,"ns":120,"title":"Item:Q3636802","lastrevid":58224009,"modified":"2026-04-04T07:30:15Z","type":"item","id":"Q3636802","labels":{"en":{"language":"en","value":"A Generic Framework for Reasoning about Dynamic Networks of Infinite-State Processes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5571816"}},"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":"Q3636802$C6FDEE89-4E9B-43A5-9EAC-F702847F934A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"834bc6c5b22169c8e572f053a3cd52ad73feca9d","datavalue":{"value":{"text":"A Generic Framework for Reasoning about Dynamic Networks of Infinite-State Processes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3636802$A5B0D697-1874-443F-9E39-605BD5AD68D0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"19758f13f13eb48fefedbb2e24a323dee18405bc","datavalue":{"value":"1163.68030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3636802$E3CF5257-80E9-45C0-8F21-366E1CB40590","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"89d1d98ab198864c36b544d5744f1adb5e5ebc71","datavalue":{"value":"10.2168/LMCS-5(2:3)2009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3636802$9B8BFE77-7123-4799-8583-F8C0F7AA2386","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d7904a434e6c67a0a42ab8a275ad588430565729","datavalue":{"value":{"entity-type":"item","numeric-id":537949,"id":"Q537949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3636802$40DC1133-E5B9-4C11-9A9F-582ED1FAA584","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b348443563013712cd0868bb8f333db39958301f","datavalue":{"value":{"entity-type":"item","numeric-id":2828284,"id":"Q2828284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3636802$E476A28B-1ABD-4324-9B28-60D41126A057","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f25f8c34e12a231b757d629502410dfe3c146a2a","datavalue":{"value":{"entity-type":"item","numeric-id":515661,"id":"Q515661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3636802$314DC8EA-CCE2-49A3-A99A-9E9FF85ACD9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"09eef17235cb97df8925ce2b61e18e29332a319a","datavalue":{"value":{"entity-type":"item","numeric-id":2917308,"id":"Q2917308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3636802$A6C6E242-42FD-49F9-A0A8-26E1678135A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"10becd9e88add786cbcb24a4b7c65328ccb2ab08","datavalue":{"value":{"entity-type":"item","numeric-id":1688542,"id":"Q1688542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3636802$11B3C7A6-E104-4AC3-B583-C10A10422B65","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3636802$CE4735C4-ED61-4CC6-B376-C20712B97B50","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"09df791b31880a83cb69102ced8fef72b45dd8e8","datavalue":{"value":{"time":"+2009-06-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":"Q3636802$9A969B4E-BE41-40B8-9FC2-0BD8BD2CA2C8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"00412009f785532942baf42c994765bd5ea22568","datavalue":{"value":"https://arxiv.org/abs/0903.3126","type":"string"},"datatype":"url"},"type":"statement","id":"Q3636802$40172580-8F48-426C-A346-C57C42A12FEB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3636802$B0B8E2C1-1635-4DB3-95F1-7629CDBD8E9D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"488bb699c06c1cec4311e6eaffd96aa5b28b3d02","datavalue":{"value":"5571816","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3636802$C45F59D0-65EA-4D93-A742-FBD7F79D5EA8","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":"Q3636802$FB80D0E7-FE26-42C4-935A-1909184FB294","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"642aae03e84461e9ac147d8c483f5658f05250c5","datavalue":{"value":"W3102946820","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3636802$4D6628BB-B247-451E-B2E3-BCC51D8127FB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d4e9dabe870d956200e9e73c818dad1067a0f26","datavalue":{"value":{"entity-type":"item","numeric-id":5758141,"id":"Q5758141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58e2b375155c39c887b65da132ec8a9b63a6a4f0","datavalue":{"value":{"amount":"+0.9999990463256836","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":"Q3636802$6BDB88C7-1669-456E-A679-3F1FC4C77C3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ae5664b67c49b5e4d6006ee2f410fe379c04d29","datavalue":{"value":{"entity-type":"item","numeric-id":5166770,"id":"Q5166770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af118425dce66d7ec4d1aae2a2c2194e924c484d","datavalue":{"value":{"amount":"+0.7792449593544006","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":"Q3636802$B5F34B1E-D79E-4270-B446-4892633C31CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38b2c783ec51a7ada3c58f5da74c4b16039200d1","datavalue":{"value":{"entity-type":"item","numeric-id":3769974,"id":"Q3769974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"228b74229e6189e1030c80977a24e426bd4dccf7","datavalue":{"value":{"amount":"+0.760138213634491","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":"Q3636802$3350034E-C95D-4002-B5F3-1FD03C59788C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6533117966008665894c769f229f168a85d9cd1","datavalue":{"value":{"entity-type":"item","numeric-id":1865844,"id":"Q1865844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3299dec4e74a41e172e11a431f8b7327406b1c28","datavalue":{"value":{"amount":"+0.7452008724212646","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":"Q3636802$FADBF5F0-FB04-4877-9A1C-F3E862FFBE7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4b458e9b43d37bf08e508fa17b8d2bd1ac8ed64","datavalue":{"value":{"entity-type":"item","numeric-id":5404940,"id":"Q5404940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a12b8cb712518bbb44b8bb9c87064053f8fe4e3f","datavalue":{"value":{"amount":"+0.7391672730445862","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":"Q3636802$CA775450-1F51-413B-B601-8492553604A4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3636802","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3636802"}}}}}