{"entities":{"Q3393397":{"pageid":3404100,"ns":120,"title":"Item:Q3393397","lastrevid":50749190,"modified":"2026-01-15T00:55:00Z","type":"item","id":"Q3393397","labels":{"en":{"language":"en","value":"Static Analysis of Concurrent Programs Using Ordinary Differential Equations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5597344"}},"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":"Q3393397$0FD3B790-AC23-49BA-8BDA-EDB0D05E6AE4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"54e6edcc84dfa1e4fb00f8a9eb6187787c13f084","datavalue":{"value":{"text":"Static Analysis of Concurrent Programs Using Ordinary Differential Equations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3393397$D45173D9-1127-48FB-AD17-4C0203C09EE9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cbc7e75505e97ba3411c0c5f3a3085bae0f3722c","datavalue":{"value":"1250.68090","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3393397$79A50671-EDAF-43D3-AB34-2577D70FB1C3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3dc066e9b3b8d706f037bbf40b85ab6c221ef083","datavalue":{"value":"10.1007/978-3-642-03466-4_1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3393397$EBAAD642-39E6-46B6-B115-42009345325E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"eab2fb15c9b93af32fa06584c147f6ef3ab99e56","datavalue":{"value":{"entity-type":"item","numeric-id":454906,"id":"Q454906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3393397$99CCE35F-AF1E-42E1-8B2D-4D55903608CB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"240c8acd5191d2bc1617f9caad166826b772af1e","datavalue":{"value":{"entity-type":"item","numeric-id":3393396,"id":"Q3393396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3393397$B9B23027-C5F2-4EE5-966D-9CED099850B7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0e37402ce5463f5ebaa93189340d9af4a5c60d29","datavalue":{"value":{"time":"+2009-08-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3393397$D93364DF-DF72-4878-AAB7-084C7730D9B3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3393397$ACF44B70-D813-413E-AD2F-7080CF081EC8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9bed5becd7d5fd0e9728fb8d42741bef62ef95d5","datavalue":{"value":"5597344","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3393397$E36CCE51-F080-4E48-BE29-BB6D1E3B01A2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"69b032c8ae9a34a58a67e6b239c3cf1914149e7d","datavalue":{"value":"concurrent program","type":"string"},"datatype":"string"},"type":"statement","id":"Q3393397$50C5A3BE-E8C3-45F8-B764-4642537DF8EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ab914e4b1ee636749aaff08903c675f2353b5ff","datavalue":{"value":"state explosion","type":"string"},"datatype":"string"},"type":"statement","id":"Q3393397$1886B4B9-CF8D-45C0-A02E-35A817A759EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef838135a71046e021dab2bdb277ad2a30c2ed30","datavalue":{"value":"ordinary differential equation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3393397$8EB8B9D1-93D9-41ED-8694-4989AA06E60B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cdc9d7903fd3ce12e3c243bd5820c9dadc1a9ebf","datavalue":{"value":"deadlock detection","type":"string"},"datatype":"string"},"type":"statement","id":"Q3393397$49222AC0-FE97-4CE0-A980-F9910F3593D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a8aff42a02f8e1f0e0f495b6402a389b22d84936","datavalue":{"value":"boundedness checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q3393397$C64446AF-1B3F-4282-8132-259D0AE499B3","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":"Q3393397$4FDB36B7-B0F4-4440-B86A-6D9DAADA3190","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a05319f541b8f47e946d08b8b195127ee0bdebf9","datavalue":{"value":"https://doi.org/10.1007/978-3-642-03466-4_1","type":"string"},"datatype":"url"},"type":"statement","id":"Q3393397$70434E18-90BF-49C7-99AD-808A5007753E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"199e81642b12234f5a32b4bd4498d56f74a1e595","datavalue":{"value":"W1516687475","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3393397$C752FB8B-7FFB-40E8-B642-BED882C7D879","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"641721da4a4f0f39677e5bd8e9ea9d97d184c9c9","datavalue":{"value":{"entity-type":"item","numeric-id":3455052,"id":"Q3455052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac572ebcc50a7087a4361b0dd125c98ed2052448","datavalue":{"value":{"amount":"+0.7396350502967834","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":"Q3393397$5A98D16C-8650-4EF8-9B1A-D378699080AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b61d67c9b07fceb710d39d8e2809be2ee5ba7fee","datavalue":{"value":{"entity-type":"item","numeric-id":4411946,"id":"Q4411946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"304837ec956c750360c5d95b6875980c36e17598","datavalue":{"value":{"amount":"+0.726764440536499","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":"Q3393397$02D3A844-1EA7-45BA-8A9D-F6A1AE91505D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be80bdc1978d2b4ffa7991ea350b7af105e7f93d","datavalue":{"value":{"entity-type":"item","numeric-id":2942913,"id":"Q2942913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72c276cd749d8795ba082da7f791f9ee11c71a12","datavalue":{"value":{"amount":"+0.7194750308990479","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":"Q3393397$8FE4F4D6-EEE7-4EC3-B0AB-FEAF8401F6C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f053beef2992a6eb6c8a6e7c69aa91d73e3bef7a","datavalue":{"value":{"entity-type":"item","numeric-id":5696926,"id":"Q5696926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f7f90f03b8d911496ff6afe0fa2f1879e5db7fe","datavalue":{"value":{"amount":"+0.7194749116897583","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":"Q3393397$85A7711E-EE54-432F-B877-5DAFFE146E83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a1418fc5e650a6799b744e016cbd5e607070ccd","datavalue":{"value":{"entity-type":"item","numeric-id":454908,"id":"Q454908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"296f41173492f8b44ddd0a456e28824d2469ac8f","datavalue":{"value":{"amount":"+0.7127706408500671","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":"Q3393397$44A8BC7C-6292-4029-85AD-87B274946DEC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3393397","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3393397"}}}}}