{"entities":{"Q4222918":{"pageid":6252519,"ns":120,"title":"Item:Q4222918","lastrevid":46608996,"modified":"2025-12-25T05:01:22Z","type":"item","id":"Q4222918","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1231597"}},"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":"Q4222918$DE46308F-B433-45BC-8F68-50698394A7CA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4b65676ddce9e43fb63cf7c9087f0b8c48a013ec","datavalue":{"value":"0911.68054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4222918$4E4075CF-84A3-4BAA-919B-DCEE1EC7C300","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"871f5114b9fd5b5c276cdcb1d03031e525e4530c","datavalue":{"value":{"entity-type":"item","numeric-id":4222917,"id":"Q4222917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4222918$4B2E3CC3-C69C-43D4-8343-F8308E32838F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"89238439472c677fdc6823725c455d61dc5d1d2e","datavalue":{"value":{"entity-type":"item","numeric-id":865622,"id":"Q865622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4222918$639BECE9-A550-4A4B-99A7-82F111DED51F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"00f4c1f8a4ada69a14fa109ca3981a5e4b5b2b3b","datavalue":{"value":{"time":"+1998-12-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4222918$6B847B84-D34F-4DCE-8C4A-06FB6B62D691","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6c74255fe9aa2c742318cc3527a520e1ea7a4923","datavalue":{"value":"http://www.elsevier.com/cas/tree/store/tcs/free/noncas/pc/volume7.htm#gehrkerensink","type":"string"},"datatype":"url"},"type":"statement","id":"Q4222918$C68ECD6C-D6C1-4034-9705-852C80C721EB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4222918$B500F19D-78BC-4928-96B8-A733192A8424","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"79b35019db10980ea6b1a9eeae0e982605023e37","datavalue":{"value":"1231597","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4222918$B395FBA7-C8F0-452E-8431-AA50EF487736","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87c2e88f1ff3493066f8b573f5861a8c1effa7d8","datavalue":{"value":"process calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4222918$87CB9AF1-92F1-4D6B-8201-602795476E3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d3c924f356cbb5347bdf86b2d80a09e159df93e7","datavalue":{"value":"bisimulation equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q4222918$CD82A2BF-5FC4-404D-BBB8-68DDF810E325","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"29b8415bb4c295a269f9dc8fd3592af051b33888","datavalue":{"value":{"entity-type":"item","numeric-id":20682,"id":"Q20682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4222918$635392AF-9663-46CD-A6D1-4C9FF497D6E7","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":"Q4222918$C9CD2623-BE6D-408C-892A-16E287CBB6C3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4dd8012adc7b64157dd5aaa4afe8436d1f9a2ee4","datavalue":{"value":{"entity-type":"item","numeric-id":1198548,"id":"Q1198548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77f88d7cbe77032da19a81091f9af1d1629ee0de","datavalue":{"value":{"amount":"+0.7808377742767334","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":"Q4222918$8723CA0F-0E7F-4FC7-B540-704FEB57E824","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ae388d398e7bee4b5cd6d35d62cc80a7b433986","datavalue":{"value":{"entity-type":"item","numeric-id":2986830,"id":"Q2986830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d9795085c9a6fb7429eab6fd06f1ea98cd7d8e6","datavalue":{"value":{"amount":"+0.7716832756996155","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":"Q4222918$C672C165-CE45-49E3-BC09-A9D132047667","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2aa57038bb9ab4ba54c6bc0ec1b766b12eb99839","datavalue":{"value":{"entity-type":"item","numeric-id":1898459,"id":"Q1898459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ee4b96b84cbe22499a80784d17cdb0405f13ec3","datavalue":{"value":{"amount":"+0.7516495585441589","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":"Q4222918$376A5B8B-2A15-4DB3-BFC0-FD9D445AB578","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae8e2b3ee68ed2829d2ca7004b3f41d9f550ce97","datavalue":{"value":{"entity-type":"item","numeric-id":671684,"id":"Q671684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc603271551a73f6489aec4bab62fdb1dc41d304","datavalue":{"value":{"amount":"+0.7483275532722473","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":"Q4222918$98AE04E1-5E97-4A54-83B4-06DD760F3D89","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4222918","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4222918"}}}}}