{"entities":{"Q3453753":{"pageid":5233153,"ns":120,"title":"Item:Q3453753","lastrevid":52404761,"modified":"2026-01-22T14:03:40Z","type":"item","id":"Q3453753","labels":{"en":{"language":"en","value":"A verification technique for reversible process algebra"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6514793"}},"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":"Q3453753$1F06BC2B-6ABB-46BC-806A-2CC357D11075","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7817079579f2fe85cef3f93e7f838c35c87dfbdd","datavalue":{"value":{"text":"A Verification Technique for Reversible Process Algebra","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3453753$3CD27124-7C15-454A-9CE3-91D2319A3F19","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9fa869e0b34e6f1a1c65e6691a1c101ce090341a","datavalue":{"value":"1451.68177","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3453753$E34F9CD6-D96C-4B09-A291-9B0AD776B6BE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e2a6678f22a17f5d6468fdbe774edbefc7efae6f","datavalue":{"value":"10.1007/978-3-642-36315-3_17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3453753$9758EB06-7442-420E-8512-41A4A69DE4A5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"766696e0f2a55332b28b86d8d6b2d952816bbc9d","datavalue":{"value":{"entity-type":"item","numeric-id":953540,"id":"Q953540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453753$7F60240D-896F-4665-8F93-CB30C86959A2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a717b5be1a91222f4c61369f09045de11793bfc3","datavalue":{"value":{"entity-type":"item","numeric-id":2822486,"id":"Q2822486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453753$3253C8A8-2DE5-4188-8158-0C81D7C2E3B8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f261325ffd8a7002c41f97c89cfd5db2b7a922a9","datavalue":{"value":{"time":"+2015-11-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":"Q3453753$66702BC9-10B5-4601-8C58-8ABFC1B71D27","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3453753$C0A20A48-2D98-4D55-8D51-A887C8F5845D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3453753$3D1241B3-EAAE-48C5-81BB-E212D1B8BC3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3453753$76DC194D-7C04-4176-8B40-69953F8ACCF2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"014b19441324d13047dec9326031fc5a31dd92a3","datavalue":{"value":"6514793","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3453753$908FDEF2-D093-4CF7-8CF2-BD59E791C52C","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":"Q3453753$5066E61B-D724-4B95-9FE1-3EA65341E582","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"25d5dd54323ca1d0c165cb0579adb20e07895c95","datavalue":{"value":"https://doi.org/10.1007/978-3-642-36315-3_17","type":"string"},"datatype":"url"},"type":"statement","id":"Q3453753$88F5C421-A949-4AA3-902C-B1BDFCEF1F0C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5313f99b54c9059b2c312064b5d7850b30dc3522","datavalue":{"value":"W942901085","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3453753$7D21D421-C302-4AD5-A555-0C596DE61979","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3ac06e566439d7db26c136ff61e754b90fb7270","datavalue":{"value":{"entity-type":"item","numeric-id":1884941,"id":"Q1884941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453753$DD2D4B1A-9942-46D9-A35F-40E71FBD0195","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9dedafceedf1e7e3e6aeaf0d89ffb8906869964","datavalue":{"value":{"entity-type":"item","numeric-id":2866313,"id":"Q2866313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453753$CBB812CB-B7FA-49CC-B153-9B15051BCEC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97937b6fbcb19180a54e27203f6c8574e53be171","datavalue":{"value":{"entity-type":"item","numeric-id":2871832,"id":"Q2871832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453753$53ECE531-3B50-4632-A97B-C9C155D47711","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0239a5cb6fe7b2df7f0c9a2c61f9b1afb238ce62","datavalue":{"value":{"entity-type":"item","numeric-id":3584950,"id":"Q3584950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453753$C54E0843-2BC9-4C89-B9A8-71D86747539D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38069c6a0bea035a9b76a94cf920575b5d5c6dd3","datavalue":{"value":{"entity-type":"item","numeric-id":964488,"id":"Q964488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453753$80AC3B43-F52A-4D5E-9D36-FE45792F0A44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46c45d830275a4a379c3d68f31c25ab39d3810a9","datavalue":{"value":{"entity-type":"item","numeric-id":3090837,"id":"Q3090837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453753$C70C315A-2EB6-4F0C-81E3-5DF619EE05D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7aa09dff0509644d89689b413adab7fb2179c738","datavalue":{"value":{"entity-type":"item","numeric-id":2892773,"id":"Q2892773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453753$369A8077-3FB6-4133-B970-4F75F1E7F61C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99557215988aed1340ebb29c3044545df58872e5","datavalue":{"value":{"entity-type":"item","numeric-id":2760254,"id":"Q2760254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc861a9cbe3b19d3c2114128990f82d6f62575f6","datavalue":{"value":{"amount":"+0.7525383234024048","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":"Q3453753$B65CE8E9-F186-42FB-81B3-BC45A639A9B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21094922331cdcb7af8df158c52c67afe2d7acb8","datavalue":{"value":{"entity-type":"item","numeric-id":960505,"id":"Q960505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01513e29e6648d0b2499dffdc8a090f20a4af7dc","datavalue":{"value":{"amount":"+0.7407987117767334","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":"Q3453753$C5D5E5B6-809E-469A-9C32-53249B8934D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a94e17fc81ea7a9f45597b0cf471b6cf4d09c5cf","datavalue":{"value":{"entity-type":"item","numeric-id":4517043,"id":"Q4517043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e1f0456f7f45cbc15b54d415b402e50aa08cb19","datavalue":{"value":{"amount":"+0.7349944710731506","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":"Q3453753$DC091FF5-F3E2-470D-A0CE-2863B65B9E3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4ef3308bff0526aa02500c3bb954da456a6d2b5","datavalue":{"value":{"entity-type":"item","numeric-id":5311480,"id":"Q5311480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a320aef9d25c2842886d09e30bed105cfc501a7","datavalue":{"value":{"amount":"+0.7259336113929749","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":"Q3453753$95D19AAC-3E42-4660-92B7-42E892DDAF85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6adc5b070698e5862d99d42f282a3b5f3015838c","datavalue":{"value":{"entity-type":"item","numeric-id":4532076,"id":"Q4532076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a175f76282266c51870ed98fb4de582fb541a450","datavalue":{"value":{"amount":"+0.7078332304954529","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":"Q3453753$71651A1C-3F1B-4987-A4F5-59AC1DBC5299","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3453753","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3453753"}}}}}