{"entities":{"Q4219039":{"pageid":6248640,"ns":120,"title":"Item:Q4219039","lastrevid":46700484,"modified":"2025-12-25T10:31:26Z","type":"item","id":"Q4219039","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1223723"}},"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":"Q4219039$1A641540-E6F0-4AEF-A320-932B2C7D5460","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"525910d093ba21d932edecf493121941d5f8c41b","datavalue":{"value":"0910.03020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4219039$B3D9E61D-BEB4-497C-80FB-7DA202F5490F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"598703f00d94fef55523c92c719be9981f1c620a","datavalue":{"value":{"time":"+1999-04-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4219039$A3AF6FB8-5BF2-4257-95A7-0FC9C7F0D950","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4219039$78030A15-60C0-4613-A01D-922EBF4191DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4219039$3BCD858D-123F-4AFE-92D3-210C58F8458A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"539d05420ed5e91eaa19c0cc48a5da3268364c12","datavalue":{"value":"1223723","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4219039$5C9562DF-5637-4536-928E-6EBE58000A23","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"000cae892649b86c08dfd4faa170d21befcdc840","datavalue":{"value":"process calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q4219039$D25BF5DA-8887-4DCC-AA57-E36CAF975C71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6318f5481658cac6dbf0860f3f3746e85046f7c0","datavalue":{"value":"weak bisimulation congruences","type":"string"},"datatype":"string"},"type":"statement","id":"Q4219039$03A623E7-F76B-4FBE-8860-39A3B6FCFAD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42e748ae568176b43d11da3c38811c2b86ba1f5f","datavalue":{"value":"finite-control \\(\\pi\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4219039$F91F38F7-72E6-41F6-99EB-2C7E1036C4B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc028f491ca3cd6c7521dd6f6f17a35cdad54a6d","datavalue":{"value":"proof systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4219039$8DB3CDAD-2861-4953-A067-590BE37F4589","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":"Q4219039$98572CE1-D98E-4E13-A399-87C30165406F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07490e1bce39583a5e0e8b2142a40bbd51002c14","datavalue":{"value":{"entity-type":"item","numeric-id":5096731,"id":"Q5096731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75759c8df324fa10716ac4c3504750eb471cbeb5","datavalue":{"value":{"amount":"+0.8549137711524963","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":"Q4219039$74D922BD-89E3-4A13-AEDB-8DDFC449E27B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"208526cb311498ca2890ff8bdc1ec6ee0e755151","datavalue":{"value":{"entity-type":"item","numeric-id":1974214,"id":"Q1974214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62749b4ad3dc7daefc92e34d4c78eeaeff311b97","datavalue":{"value":{"amount":"+0.8455279469490051","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":"Q4219039$87B63ECB-AE1A-4370-A4C2-E44268B5A12B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c314b3a0a9d619a61fe66f501a73b29f8ee0eb6","datavalue":{"value":{"entity-type":"item","numeric-id":1400579,"id":"Q1400579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"582067b663f1e085978539677089cfccaaf7ad34","datavalue":{"value":{"amount":"+0.8448284864425659","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":"Q4219039$8C7E53B9-B49E-44A1-A2AE-AEA36D6CC4C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d6901f415b773a96e611d02eb0fc7a059b52996","datavalue":{"value":{"entity-type":"item","numeric-id":3163886,"id":"Q3163886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31867e0a33625c7064591336724e595bdc2313fb","datavalue":{"value":{"amount":"+0.8151307702064514","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":"Q4219039$7B2920BC-E3F1-4710-B8E8-2CD1024BC668","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58b162a9f0ad2fee6d52d225eb9af6e82ca2d643","datavalue":{"value":{"entity-type":"item","numeric-id":615236,"id":"Q615236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"126bd8f5c249a9870c2166632eaa427c2ddc0e45","datavalue":{"value":{"amount":"+0.7870036959648132","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":"Q4219039$9E89FA25-66BB-45A6-A95D-DF64FB0A4BB0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4219039","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4219039"}}}}}