{"entities":{"Q3839057":{"pageid":5868962,"ns":120,"title":"Item:Q3839057","lastrevid":54497987,"modified":"2026-01-27T11:21:17Z","type":"item","id":"Q3839057","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1189284"}},"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":"Q3839057$3D29AC80-8809-45B4-B9DA-22C1B7FC5B3D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b25baeb4e23bd181068832f4b9c1145ab0d9bd4a","datavalue":{"value":"0903.08008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3839057$13EB8154-8AEF-429B-968B-C38BBA4B7A47","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"053dba02bd09ebc72c65d4ae91f0998a2a20fd83","datavalue":{"value":{"entity-type":"item","numeric-id":344533,"id":"Q344533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3839057$D4FF20C6-6B02-4557-ACE7-916AF5E42886","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0242670104436e5d67bbc443a08e2510a32032d2","datavalue":{"value":{"time":"+1998-10-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3839057$FECE6450-F712-4AF1-A33B-978AFA9E257B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"20bb5571a1bc4300de51d23c463eb631840cb343","datavalue":{"value":"08A70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3839057$A5D58795-CC8F-448E-9862-E67C36606390","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3839057$A3618951-94F0-41CB-BA77-7FD0C3B4ECDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3839057$40C6E458-4D3E-449B-AD53-2687E545393C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4c4dbceee9af8d455ee13c5f61893975c65adcf0","datavalue":{"value":"1189284","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3839057$F3C78775-6157-48F0-BBFC-87BF1EAACF4A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"07545e3190c10d222c4524317f97cc37cdf2b23f","datavalue":{"value":"behavioural equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q3839057$552DACAE-2206-44C3-BBA2-DA170BD9A4CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ace8bf4699cb64394d0b2677300163ec8dcbc25","datavalue":{"value":"observational equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q3839057$2AA7002F-3988-4EA6-9682-A01EF8CA8214","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01eb2b59ab7974a305e9f4bc97a3e6a03bbd722f","datavalue":{"value":"regular algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q3839057$D492EE2C-E7D0-488C-900A-2A94C4B6B791","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4232164ccb14df204d9f7f806e998db607ef1825","datavalue":{"value":"open maps","type":"string"},"datatype":"string"},"type":"statement","id":"Q3839057$74A4B476-03E0-4B6B-8798-01DE735D17C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"baf4e09664cab3aa054b87997d95161e50504631","datavalue":{"value":"models for sequential and concurrent systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3839057$E30F8736-23A3-4028-A338-720BDFC066E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52ba6d968a7617d9b56b80603a9b30974da2b918","datavalue":{"value":"determinism","type":"string"},"datatype":"string"},"type":"statement","id":"Q3839057$0D66D886-C804-459D-AB09-8A96D882DA7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"383866048a26e22585a016b5b82d272ceacd9c79","datavalue":{"value":"bisimilarity","type":"string"},"datatype":"string"},"type":"statement","id":"Q3839057$D57EDCF4-5DDA-45FA-9935-CB0DD9C61DC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"538a94fdd259d2465d50a0dc5cfaf67b7749522e","datavalue":{"value":"partial algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q3839057$04BFD75B-7345-4F2F-B056-2D9102297964","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":"Q3839057$12DB9AC4-3AD5-4F84-A9B9-826BCC2C37C7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9794d80d8ccb6af88900bac230bb34dc4e835c55","datavalue":{"value":{"entity-type":"item","numeric-id":1389441,"id":"Q1389441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70eeaf44247addf40c3d3ee68d8411710c48faff","datavalue":{"value":{"amount":"+0.8207924365997314","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":"Q3839057$D077D5DC-6E8A-46B5-99D7-0B1825B6CF74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66a2097ec4f0905c4b1e9fd107eb496e8f2bd443","datavalue":{"value":{"entity-type":"item","numeric-id":5878914,"id":"Q5878914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18fcc79febf5361be7f32f136d70194cda19f859","datavalue":{"value":{"amount":"+0.8179544806480408","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":"Q3839057$628131AB-E577-447F-8B4F-24EF0DFC364E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9fddea78b3b751d46b25a76f134818924a099218","datavalue":{"value":{"entity-type":"item","numeric-id":2956688,"id":"Q2956688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26a6edc4d9dc735d1819c86c403dee42659e9c55","datavalue":{"value":{"amount":"+0.8012047410011292","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":"Q3839057$E0006620-90C1-488A-A595-C2CCF5D8D381","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65cbb77fc5e2f06249d7a174239b08f05ef9ff95","datavalue":{"value":{"entity-type":"item","numeric-id":4247682,"id":"Q4247682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2763d10791e2d08b4aba8a30feb3291444ba81c2","datavalue":{"value":{"amount":"+0.8011767864227295","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":"Q3839057$EAEC7E31-0253-4CC9-BA21-285F556E01D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22790b8418f2b69ae0a71e2c3e165c05464513ca","datavalue":{"value":{"entity-type":"item","numeric-id":4219023,"id":"Q4219023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20826f2092f9cd3a9da85f890667a01712e025fb","datavalue":{"value":{"amount":"+0.8004389405250549","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":"Q3839057$AD8FC4B8-34F4-4FA3-AEC1-CE0C086138F5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3839057","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3839057"}}}}}