{"entities":{"Q2847412":{"pageid":2858132,"ns":120,"title":"Item:Q2847412","lastrevid":51820469,"modified":"2026-01-20T05:19:05Z","type":"item","id":"Q2847412","labels":{"en":{"language":"en","value":"A symbolic procedure for control reachability in the asynchronous \\(\\pi\\)-calculus (extended abstract)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6207126"}},"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":"Q2847412$6126104E-7011-4CED-9043-4A58A0374D8F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ce5ec988ce18a072fff32357af4ecf33ac058e1f","datavalue":{"value":"1271.68179","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2847412$D588F212-23EF-4937-B7E7-5E272C799443","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f7b90d9553e24a1f43d2ac6e846cb604300bf898","datavalue":{"value":{"entity-type":"item","numeric-id":198013,"id":"Q198013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2847412$6AEC3C3C-4370-45F9-AD1B-729BB15F106B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6e8c017497806797f217f1d658e3d224a2498206","datavalue":{"value":{"time":"+2013-09-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2847412$E4B1E931-CC93-4390-906F-B47F10F49795","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b98f87200bbe5c0aa9a867561ba348b8f7d73550","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S1571066104050534","type":"string"},"datatype":"url"},"type":"statement","id":"Q2847412$0E915E1E-AD13-43B4-BCC2-4BE293C133BD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2847412$781796E6-DE5A-4F40-9F38-9814AD251BAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2847412$134CC883-DA3D-44A5-BBAC-F3C6584CB770","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"90d15d734206a404ec2501ba713d66a14ce6d6e4","datavalue":{"value":"6207126","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2847412$340E2AD7-DC04-486D-8967-F9B622166AED","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":"Q2847412$1B61D005-2D5E-4672-84C7-69B18BD2BB4B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9bb07ac4b6b48de9d2e90a2bbce1d24ba6858392","datavalue":{"value":{"text":"A symbolic procedure for control reachability in the asynchronous \\(\\pi\\)-calculus (extended abstract)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2847412$D47C9E8A-C5DD-4AF5-A505-29C81AE04CD2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d2ac00035bff00d8ae119912bcd2e320b8a4ccf","datavalue":{"value":{"entity-type":"item","numeric-id":3150203,"id":"Q3150203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58d025ae71122216dca890a0e8478f7ad7629837","datavalue":{"value":{"amount":"+0.8252564668655396","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":"Q2847412$033C0754-BD2C-4E37-AB17-56E8879928F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"efb0ce59f4acdf7219238aeb4281a191e9c8cb0f","datavalue":{"value":{"entity-type":"item","numeric-id":4917084,"id":"Q4917084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4064302015d19440bec38ac8f0244ee01b32b7d","datavalue":{"value":{"amount":"+0.7917171120643616","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":"Q2847412$77746B41-FD94-4109-B341-19B0082B4A5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd7846dadae0b164b32671f49d694e75e29f6fa0","datavalue":{"value":{"entity-type":"item","numeric-id":4508309,"id":"Q4508309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da6e29154bcc611a14a8a11a08e364e962aea549","datavalue":{"value":{"amount":"+0.7557516694068909","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":"Q2847412$118BEA68-F92B-4320-AAB9-E9D3DC7E8FD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7653e51cb6d4f34fe1dbf28fb53525947178c88","datavalue":{"value":{"entity-type":"item","numeric-id":4219055,"id":"Q4219055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff5781831100e78bc363ff4c1818d9636674d0ef","datavalue":{"value":{"amount":"+0.7458049058914185","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":"Q2847412$7858A2A9-E34E-458D-A1FA-5AB81A8B9136","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b83eab07f99b3497e5a368027cf2c94b5b71ec25","datavalue":{"value":{"entity-type":"item","numeric-id":4370286,"id":"Q4370286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"504b4a1c3aea55e90c6077f54996102f8d3668f0","datavalue":{"value":{"amount":"+0.7439714670181274","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":"Q2847412$9F1318C1-5513-4406-9B18-4E3F8A525BEB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2847412","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2847412"}}}}}