{"entities":{"Q1383156":{"pageid":1393896,"ns":120,"title":"Item:Q1383156","lastrevid":68591511,"modified":"2026-04-13T00:46:57Z","type":"item","id":"Q1383156","labels":{"en":{"language":"en","value":"Proving properties of dynamic process networks"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1138501"}},"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":"Q1383156$A790C89F-B437-45D7-980E-D658E2A94B70","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"59e151717354ee5c11b8b80ba72fad48bc32eeca","datavalue":{"value":{"text":"Proving properties of dynamic process networks","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1383156$EA303326-7251-4A0C-ABF6-E401B85C46C3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a8a8a5a5219c7b15e393a69539f45b59f0740434","datavalue":{"value":"0892.68034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1383156$A628EA5D-2923-4E4A-A9A3-E40F62E54BE6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6786702c945efafa0740aa01768ef3c300be6d14","datavalue":{"value":{"entity-type":"item","numeric-id":931114,"id":"Q931114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1383156$7360F0B4-CE8E-47E7-B057-F9ED16E27B36","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1383156$47A4360A-4B65-469D-963C-E0714607CD85","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4de95bc96b4e2e5082861c521f5e9db542e1cc66","datavalue":{"value":{"time":"+1998-04-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1383156$2FCA959C-7DA0-4F14-97F7-B1FBAC7A5DDB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7f9abae3007df3fb7f6767e1cc5d3f13e5d6c1ab","datavalue":{"value":"https://semanticscholar.org/paper/51691df44a4a06820fe79719e7782182e3d5bf40","type":"string"},"datatype":"url"},"type":"statement","id":"Q1383156$61480284-D93B-4522-B33F-15F8B4EF9AF8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1383156$BC2721BB-3F28-4F57-B847-9CD99B4B287A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"06c99a7d477eff87d2d202c06556d7d5b9ff5a0e","datavalue":{"value":"1138501","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1383156$2E7C312D-5577-41A8-8060-9B0D81BE1A66","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ce8456807fee050c0285ed7f96877fcbf74da80","datavalue":{"value":"compositional proof system","type":"string"},"datatype":"string"},"type":"statement","id":"Q1383156$AF79BBC4-59E7-4234-9D51-45ED8BFB5354","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":"Q1383156$1301AD61-0FC2-40AD-84FD-E09C80BB3774","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"91214981e9053117daae05a48e90b8f38b261432","datavalue":{"value":"W2063277731","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1383156$19C7C601-4B0F-4646-BBB0-5C039938DDDC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd36197f8fd279b619e4ed6eeb98e09a53a656e7","datavalue":{"value":{"entity-type":"item","numeric-id":4187288,"id":"Q4187288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1383156$23895DD6-6644-443D-8D00-F735AF9C59F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ced64537c4a2fe23173b170b0f0d0e9f46c3676","datavalue":{"value":{"entity-type":"item","numeric-id":5096732,"id":"Q5096732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1383156$A935C390-C507-45C3-A53A-52E54DA66E86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c4d26544d22a30513dbdddd63598022e33eb3f4","datavalue":{"value":{"entity-type":"item","numeric-id":1190489,"id":"Q1190489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1383156$58162561-3616-4FC1-8C24-9601D7D0E4D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c4261c45eb0bdc31b98abbe6dbdb3be8211dfa8","datavalue":{"value":{"entity-type":"item","numeric-id":1122572,"id":"Q1122572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1383156$E3305213-43E1-4144-9EBC-33421D01834A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23e6a970ef833d1f16c56166519e7e5cabfc785e","datavalue":{"value":{"entity-type":"item","numeric-id":1325848,"id":"Q1325848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1383156$E0BBCC32-1575-48CF-9597-14DFC6E5C9C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c7f6243e8c1e019fa7573e1043f7114ec98acef","datavalue":{"value":{"entity-type":"item","numeric-id":1920224,"id":"Q1920224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1383156$0BAF621F-984D-4175-9DE6-6F4E0A9CA4F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f5a45904f81b6a39ede475e2e86ab18eb54c04e","datavalue":{"value":{"entity-type":"item","numeric-id":801893,"id":"Q801893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1383156$C8EABEDA-4055-4A02-AF25-406CC4D371D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a2a6bbb40f25f4db3104def630456b503e1dceb","datavalue":{"value":{"entity-type":"item","numeric-id":3988057,"id":"Q3988057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1383156$799AE5BA-CD09-4DAF-A671-09EA5B999E0F","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":"Q1383156$2FBF49F9-1035-4E6D-B131-E0B2D3448325","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aff9a0e3f0f2bb5379481e2506c1ed09265b0350","datavalue":{"value":{"entity-type":"item","numeric-id":3700812,"id":"Q3700812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1383156$273113E1-6464-494F-84A6-34987C2D4611","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0ccb1bb6972c34ba87ead8253e3bd450b22dfe2","datavalue":{"value":{"entity-type":"item","numeric-id":1107518,"id":"Q1107518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1383156$2D4B6A13-C04B-4F7D-A6C3-B7D593E23F0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa4614c3d7786f0db16d6ca3adbca9b075e1b1ff","datavalue":{"value":{"entity-type":"item","numeric-id":1177939,"id":"Q1177939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1383156$2BD8EF4E-A181-4BE0-BE6E-C8443F0326D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6adb1e48aa7d82b462397e04de8ae48c530c0de9","datavalue":{"value":{"entity-type":"item","numeric-id":1119630,"id":"Q1119630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1383156$DEB998C5-A2EE-4CDA-9BBA-A2117486C21D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e82cf9bb4f5bde68e99ec2bc8ae649afd63e8d93","datavalue":{"value":{"entity-type":"item","numeric-id":1176250,"id":"Q1176250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1383156$EC61DD0D-89F2-48F5-8FD0-3E00ED5B23C8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9997dca93ae961cc274ab9f74c4a114dee42d472","datavalue":{"value":"10.1006/INCO.1997.2680","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1383156$FF5F8DAA-52D4-459E-A5B7-337CD222871D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71f19e6e014291f8fe3438ec97e9e4949c888ddc","datavalue":{"value":{"entity-type":"item","numeric-id":4440827,"id":"Q4440827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5fa00b5ad83f87d9b42fe0261ce03b0ce01b1b6","datavalue":{"value":{"amount":"+0.8225409388542175","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":"Q1383156$AA004E43-298D-4B54-A1D2-1B0967846BCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c7687b7b6ef1f4839bff889d4f7b64ce91af7da","datavalue":{"value":{"entity-type":"item","numeric-id":3347278,"id":"Q3347278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f57e950112c3b381024515b6a34014135c7c581c","datavalue":{"value":{"amount":"+0.8215669393539429","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":"Q1383156$C5AFFFA0-2E47-41CB-A82F-31736008F268","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03e3ac5ca6e1b44fb4371853c64f5542f8dfd0c8","datavalue":{"value":{"entity-type":"item","numeric-id":1285661,"id":"Q1285661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aaeb7192960cd6ac05ce08ac35c81e25ac8ddbd6","datavalue":{"value":{"amount":"+0.8142550587654114","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":"Q1383156$BC249F4E-BA78-4680-833E-62B3F771CD7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec14e4901ea245bd8ce158b1e1e23774b01fe852","datavalue":{"value":{"entity-type":"item","numeric-id":4511273,"id":"Q4511273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"198ff1d7c813a70699671b2c3cb069f3bb9aa94b","datavalue":{"value":{"amount":"+0.8070282340049744","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":"Q1383156$A76B7C78-2443-4E97-ADF6-C8A96D5B3096","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"876f6995aee1337445bbc34a648175b32643c560","datavalue":{"value":{"entity-type":"item","numeric-id":4296305,"id":"Q4296305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"666c9d861a1be7c90ee75730398fac8cec307475","datavalue":{"value":{"amount":"+0.806847095489502","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":"Q1383156$BB87BD78-E3E0-4436-86A9-1CEDD2144B60","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Proving properties of dynamic process networks","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Proving_properties_of_dynamic_process_networks"}}}}}