{"entities":{"Q3677164":{"pageid":5707070,"ns":120,"title":"Item:Q3677164","lastrevid":50023138,"modified":"2026-01-12T16:54:38Z","type":"item","id":"Q3677164","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3898224"}},"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":"Q3677164$01520D3B-7EB9-4888-B5AA-C526B807E73F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"524fc1f85b8f183a7e80ae80bc3ad25fa4dc0097","datavalue":{"value":"0563.68028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3677164$D79FACA7-4312-4162-A3E2-B4712758465D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"95f1f23f51d4a1ac9b264ee3b0678f8bce0c8fd1","datavalue":{"value":{"entity-type":"item","numeric-id":315295,"id":"Q315295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3677164$FD06AE62-4235-4D94-ABF7-61E4C7BCABD2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3677164$CCF7D47B-16BA-4359-9397-6EBDDC5117C8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3677164$43E69BB3-3D1C-49DF-9DC6-B66C0F374C53","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f17ff0b76afa12ab51ed3c86965c0432f9d4ca3b","datavalue":{"value":"3898224","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3677164$49329EB0-5A37-4CF4-9967-96550F76B0C0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c9e4aebefcd93b54c2986673ca2d67404565dedd","datavalue":{"value":"abstraction homomorphisms","type":"string"},"datatype":"string"},"type":"statement","id":"Q3677164$ABFD0789-EBA2-45A0-9C2C-B30F35003FDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3677164$36E7DDEC-EF6C-4C25-B9F0-4807A7D8D78E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af9523c24efa700af875ee817308c1bedf7383f5","datavalue":{"value":"labelled transition systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3677164$60F8416A-EB83-4501-A630-AA17B649855D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"98fd162604f826b27e3daf94dc1090951e67f4dd","datavalue":{"value":"nondeterministic processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q3677164$7575EBBB-53DB-40EE-B793-ACF39E6537FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"64eaf746f8323aca7f8e059d49fc382a5ad50bde","datavalue":{"value":"Church-Rosser property","type":"string"},"datatype":"string"},"type":"statement","id":"Q3677164$A2084B23-2F0E-4BD1-805B-5B548AD0DA8A","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":"Q3677164$796509B8-ABAB-4186-AADD-B4FC0D14E111","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ccdc897b623a6f8cef7ae042f1104ed9c4f267f","datavalue":{"value":{"entity-type":"item","numeric-id":4203808,"id":"Q4203808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec32c59b2b8cef46cab6b018e06047006492f653","datavalue":{"value":{"amount":"+0.836645245552063","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":"Q3677164$56EDCA8F-B131-4D33-85F1-0FCAB4B6C23D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27e8a7de1fe0f4b8dadb0b35797168eace0f711c","datavalue":{"value":{"entity-type":"item","numeric-id":3993423,"id":"Q3993423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"423ea084511408b5a3abf571e88ccc8917cf0c47","datavalue":{"value":{"amount":"+0.8278429508209229","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":"Q3677164$7C2476B7-C474-4536-935D-705CA289243F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ef81862bca1afbd34a6a39bb10b75740caa503e","datavalue":{"value":{"entity-type":"item","numeric-id":2506488,"id":"Q2506488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32d6d8a95ccfeb792c4226aa779c7e279e2b70a8","datavalue":{"value":{"amount":"+0.8212166428565979","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":"Q3677164$1E9F78E7-D33C-4FCF-89BC-5392D13FCC23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"667ccd1e9d3f9460033ac65546ef03a27df98f88","datavalue":{"value":{"entity-type":"item","numeric-id":4896928,"id":"Q4896928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c40fef9d853d9ce1fc8c949e78c79b37819b583d","datavalue":{"value":{"amount":"+0.8133484721183777","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":"Q3677164$089B627F-21B3-428E-9722-4772E605B586","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf58f55d5aecca1bbc6d4ca51438fba6991270a2","datavalue":{"value":{"entity-type":"item","numeric-id":1175940,"id":"Q1175940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87cdc9101f2e85a7a25afd6fff209edfc0a41bff","datavalue":{"value":{"amount":"+0.8130485415458679","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":"Q3677164$2759755B-D775-458A-A17B-70BC2F2F6751","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3677164","badges":[]}}}}}