{"entities":{"Q2852049":{"pageid":2862769,"ns":120,"title":"Item:Q2852049","lastrevid":51838625,"modified":"2026-01-20T07:17:29Z","type":"item","id":"Q2852049","labels":{"en":{"language":"en","value":"Graphical verification of a spatial logic for the {\\(\\pi\\)}-calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6213661"}},"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":"Q2852049$544EFC91-3BA4-4FC3-BF54-A9849F554C78","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2ab229eefa741db6ecd98007426cd8fc36b3b4ee","datavalue":{"value":"1273.68259","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2852049$158606B1-9A08-4613-B39E-236CC330AB0A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3e3445d7abc4eee928243e03ab31bdb8317e366c","datavalue":{"value":{"entity-type":"item","numeric-id":344544,"id":"Q344544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2852049$29CFB2EB-55E3-45A4-8C66-C8E4DD34BC47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a48df084089efbad17e99837a84945e27512c4e4","datavalue":{"value":{"entity-type":"item","numeric-id":832280,"id":"Q832280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2852049$2E014A0C-8E00-479E-8F2E-7D63EC40DB58","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6ec762bb41974652953ff67ca8f6c9675abce28a","datavalue":{"value":{"time":"+2013-10-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2852049$3A4D534F-0427-4419-A7D5-3ED62757947C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4056b243ef0985496b5bf3e972252f6f2eb3b9aa","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S1571066106003112","type":"string"},"datatype":"url"},"type":"statement","id":"Q2852049$76CC50CD-9DB7-48C9-9E99-AC60BC115AC3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2852049$EF6E97D9-7835-4B76-BB65-EF42205C7072","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2852049$F9DD0050-EF19-428B-B73B-4AB57131D380","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a3b7b1f80c58f33fc1367dadb41b081a3c62efa4","datavalue":{"value":"6213661","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2852049$7E2F9895-1097-4E7B-B1EF-BC475812815A","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":"Q2852049$A053B1AC-C478-412F-8E06-6CCD1C5E5F79","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a6fdf2cc724924913d61199771cb2818f77fba9d","datavalue":{"value":{"text":"Graphical verification of a spatial logic for the {\\(\\pi\\)}-calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2852049$C50EA1D5-13CB-4DAF-8296-C33DD3464395","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a8239914df2877dbdde802e2b474cf0173005f2","datavalue":{"value":{"entity-type":"item","numeric-id":3612492,"id":"Q3612492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"720e87141769571804f56c93f3c14aaea7fce698","datavalue":{"value":{"amount":"+0.9456949830055236","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":"Q2852049$7D21BD7C-7BD3-4DB6-B52E-01E9BF036CCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c95c6614bee45c86a78b02d4a75df71a30459171","datavalue":{"value":{"entity-type":"item","numeric-id":3599092,"id":"Q3599092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f2c60ff769e384975d22f17bce34162de571457","datavalue":{"value":{"amount":"+0.7993238568305969","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":"Q2852049$35A6E797-C800-4635-8879-1AA7A8B7B01D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"62b59294aad1c9c6f6822a771a956d4abc203753","datavalue":{"value":{"entity-type":"item","numeric-id":866088,"id":"Q866088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f557c51fb348ec3cc4b325d9720750d6d4e16464","datavalue":{"value":{"amount":"+0.7823078632354736","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":"Q2852049$F6C2B61A-6598-4583-8AA0-C51ABC3E7222","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2cf888c9cbdd1ca8863b343b33f00a8dd680c5f","datavalue":{"value":{"entity-type":"item","numeric-id":5308443,"id":"Q5308443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96ed5316ac280f5460a5c41aca52832611228174","datavalue":{"value":{"amount":"+0.7777124643325806","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":"Q2852049$BEC7A88E-FF65-4371-BF14-5C4ABAB0A749","rank":"normal"},{"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":"8f974713a43cdd07d020ab14a8a60bbb54486996","datavalue":{"value":{"amount":"+0.7733885049819946","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":"Q2852049$14C80548-F1A5-4E9F-9366-1704D4459911","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2852049","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2852049"}}}}}