{"entities":{"Q5758141":{"pageid":7787692,"ns":120,"title":"Item:Q5758141","lastrevid":97356992,"modified":"2026-06-05T14:32:05Z","type":"item","id":"Q5758141","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 5185816"}},"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":"Q5758141$DE65ADCD-0D21-4168-92D9-D0D7A41DAB5E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cd67c00eb7088f33876c7992ef28bbd7cfac4414","datavalue":{"value":{"text":"A Generic Framework for Reasoning About Dynamic Networks of Infinite-State Processes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5758141$FFB9EE71-FC1E-4803-A65C-1C2B3F106457","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6f674b8d7c7ef0afffa8b21a2985b88e0942aab8","datavalue":{"value":"1186.68316","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5758141$F46BD2D1-03D9-4952-8D16-302E8C3302DB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0b296dbeca8c5d4a6331754802d46c6850efa540","datavalue":{"value":"10.1007/978-3-540-71209-1_54","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5758141$FAA32E89-AA00-4E19-AEE2-A13AA098D220","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":"Q5758141$1AF7D077-9AFB-4FC3-AF6F-46134DB82622","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":"Q5758141$85B95391-2932-41A7-8853-CD4292BA6C23","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":"Q5758141$26D4E885-96C2-432B-968C-8700A8062EC4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0caef843b05c7cfb5667c1a8106613cbf61a6d23","datavalue":{"value":{"entity-type":"item","numeric-id":2894263,"id":"Q2894263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5758141$8580EF73-39A1-4E02-84F4-EB19432B7533","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d4ccb5809271d2f0bf96f65b85084aa847fe92ef","datavalue":{"value":{"time":"+2007-09-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5758141$7438A999-C30F-488E-9DCA-9F3B4BA4B4D0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5758141$3EA8A0F4-E541-4699-8AB9-242C161E6880","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5758141$4C60BED6-D8CC-4D92-91ED-906921A87B2D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"eacaed23ca4060b5a7a3e6cabb3573c2f029d7f0","datavalue":{"value":"5185816","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5758141$09DF5984-14D5-44A0-BA78-F4E983611DA0","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":"Q5758141$9A8EC10F-46A3-4BB5-8997-F651B4CCE006","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"88ccff3b7cb9b78364927d6d96e95592c77f06c2","datavalue":{"value":"https://doi.org/10.1007/978-3-540-71209-1_54","type":"string"},"datatype":"url"},"type":"statement","id":"Q5758141$63A87A60-6178-4607-B631-670296A2B15D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7b917fab3d29a774edc64877ba1338495464d6f9","datavalue":{"value":"W1853345069","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5758141$F59D7241-9F70-4D05-9EB1-3B924C1FAA6D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2315d081420cf730ee6a09ff88599038ab438289","datavalue":{"value":{"entity-type":"item","numeric-id":3636802,"id":"Q3636802"},"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":"Q5758141$F47A8FEC-57C5-4DE6-BBA4-EB251A0009C3","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":"7a877ff5067fe953ffa8b445dfd591cf4ecf7700","datavalue":{"value":{"amount":"+0.7792448401451111","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":"Q5758141$6F0A20FA-ECA6-4A93-B634-E0D2FF0CC28A","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":"3f1b7571d1229a835ceaafe5f26c5acc83194279","datavalue":{"value":{"amount":"+0.7601379156112671","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":"Q5758141$29F38702-E863-4295-8846-099BD088EDCC","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":"103875840047410a40f3a40d0f0629f4ca6a465d","datavalue":{"value":{"amount":"+0.7452009916305542","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":"Q5758141$A7A89608-8901-41B1-94E2-67C95F6DB68B","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":"Q5758141$19D4942C-7741-4968-B6B1-0B12CDC48403","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A Generic Framework for Reasoning About Dynamic Networks of Infinite-State Processes","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_Generic_Framework_for_Reasoning_About_Dynamic_Networks_of_Infinite-State_Processes"}}}}}