{"entities":{"Q5204347":{"pageid":7233918,"ns":120,"title":"Item:Q5204347","lastrevid":53609858,"modified":"2026-01-25T10:26:42Z","type":"item","id":"Q5204347","labels":{"en":{"language":"en","value":"Behavioural abstraction in TCCS"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7139661"}},"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":"Q5204347$A7CB131A-470E-47C2-A85C-464E8F1CB28A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1f513a11f1b534a28c55cfd1f81acbe69779b828","datavalue":{"value":{"text":"Behavioural abstraction in TCCS","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5204347$AF7D2358-1A22-4620-B56F-B6DB57FD4A6A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ba04a8f9bc8df2fdfb1ad29fddc189a47ab70ad6","datavalue":{"value":"1425.68299","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5204347$C7FC00A4-0869-4757-BCFF-72701C2E55D3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9c41a99d580cf3104216907a7612966dad8fffbe","datavalue":{"value":"10.1007/3-540-55719-9_104","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5204347$38F64B80-DDF0-4275-8843-AF5433530ED3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b35206703f13d65f73634741bdd21f6ff4941d38","datavalue":{"value":{"entity-type":"item","numeric-id":3012786,"id":"Q3012786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5204347$23E3BE1A-12AE-4A35-A4D0-10C0C2847350","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"332b7ab2f562de760e4211faf2f6e6ad840f3db2","datavalue":{"value":{"time":"+2019-12-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5204347$71602775-C511-4F4B-B4B1-4EDB5F5695AB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5204347$68D963C5-33D9-472C-88B8-110280E9F5DA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fe7a882daf2a83bcdb5253309db73b962839200b","datavalue":{"value":"7139661","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5204347$753A3C3F-7E73-4A83-B9D8-9EE006AC974D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d649755d7dec7fe8dd2722580b18ccd4bdd91b89","datavalue":{"value":"equational theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5204347$FEE1EE66-3568-476E-A9E7-FE754C6FB1F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5fcffff1dfdc5651927bba52666e7beaf2449242","datavalue":{"value":"congruence relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5204347$5C990F93-7D1D-4132-9ACA-12232C45106A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3d5cdb97fd5a3b3c0432be3e4be6fef4de77643a","datavalue":{"value":"computation path","type":"string"},"datatype":"string"},"type":"statement","id":"Q5204347$BAD89155-5A67-4A96-92B6-EA98F9897C28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5fb77dc530c874db6eb9d67eeb4177b08230fbbc","datavalue":{"value":"choice operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q5204347$316FE78E-6255-489B-A9C3-E1FE9ED0D447","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ca2a120efe94373d53aed15839d89371e68d1760","datavalue":{"value":"silent action","type":"string"},"datatype":"string"},"type":"statement","id":"Q5204347$5BB7A600-E75D-441A-BE31-5A65659B62C1","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"c3f410cfaa11a565e0e20f9f92daa84b451b175c","datavalue":{"value":"Q59557035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5204347$78E9E36A-15AC-46F8-A8EE-CB835E1DE868","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ce4c06e761dc26b3e41ce19450af68b5cc9744a2","datavalue":{"value":{"entity-type":"item","numeric-id":355064,"id":"Q355064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5204347$BF0FF5C9-5E9B-40D3-B267-C69B8F8D7C7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e00da781d91f62dace513f5f9ec72c9e03476f7d","datavalue":{"value":{"entity-type":"item","numeric-id":688414,"id":"Q688414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5204347$4978598E-6FF0-43E5-AF97-4E44F7BF68DC","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":"Q5204347$48E598A8-EBF6-4A71-B570-509AC18A9F5C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"febba222b6f5793b5104bd59425499093fba08ad","datavalue":{"value":"https://doi.org/10.1007/3-540-55719-9_104","type":"string"},"datatype":"url"},"type":"statement","id":"Q5204347$FEC3D149-9349-406E-B636-08DC4051EC6D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4496072a7e4f0de2e57b404759f8c5b195f548d7","datavalue":{"value":"W1554376394","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5204347$CDCD3907-7E52-4DC4-B4C6-0E1C4BBD9925","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"995e09e11031a81f0e8fcb1fd6203f3a1b4afe05","datavalue":{"value":{"entity-type":"item","numeric-id":2640341,"id":"Q2640341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5204347$9E336209-2ECC-4484-A25E-CF549A7B29C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40072e6975582b3863aaff2391bb7dac9c1aa38e","datavalue":{"value":{"entity-type":"item","numeric-id":3997501,"id":"Q3997501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5204347$09DE38C7-029E-463F-BEE6-450EC33F5ED9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05dea0129140e41c658532fe8120daa17e8e4adb","datavalue":{"value":{"entity-type":"item","numeric-id":1892877,"id":"Q1892877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5204347$5056B37E-D633-4273-BD97-C804E65D04C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f190ae2fde923a1f547028868c0453492060bbe","datavalue":{"value":{"entity-type":"item","numeric-id":1050111,"id":"Q1050111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5204347$B4D18AD1-FAF6-4F01-8E7D-59340FE42A44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5204347$598EA906-9B49-4999-8C91-2815ADB1D3E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61186dc5a1a66abba270342c28aed2589a260320","datavalue":{"value":{"entity-type":"item","numeric-id":5204347,"id":"Q5204347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5204347$A40EA0D3-4133-4724-9E1A-9080D824D5F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7dbb8895c77359a9a1c6dc087b7323ca4c58cfee","datavalue":{"value":{"entity-type":"item","numeric-id":3725534,"id":"Q3725534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5204347$D1CC26C3-3C4F-4496-BBAB-86B8D5D00BFD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"899e993ea444de89a246a3c63b9df0783861a904","datavalue":{"value":{"entity-type":"item","numeric-id":3761680,"id":"Q3761680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba21212b37bef74758597380d61f2e42d17375f0","datavalue":{"value":{"amount":"+0.7578187584877014","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":"Q5204347$B8218229-20C6-4560-A5CA-255653307309","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d195b79bc149c73111c732b53bbe4638280b448","datavalue":{"value":{"entity-type":"item","numeric-id":1067408,"id":"Q1067408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69bc015c3624ad3aa8e31568b31e9c28f5fb2a1c","datavalue":{"value":{"amount":"+0.7307946681976318","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":"Q5204347$9FE9581E-F79E-4A65-AE31-8F13F06351C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76e2298981b0a720680a3ae2496f762f5af9563e","datavalue":{"value":{"entity-type":"item","numeric-id":3030243,"id":"Q3030243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a7480f191fcc71c7cf6f88b0d528350c881de81","datavalue":{"value":{"amount":"+0.7270763516426086","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":"Q5204347$1A240857-0250-476A-A201-B0D35105D5AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21917d65f95de13ffa1b55b21d4be85bf81e6a7f","datavalue":{"value":{"entity-type":"item","numeric-id":4329001,"id":"Q4329001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87e76b2202954e6586bfe5706d3228b7fbe45fff","datavalue":{"value":{"amount":"+0.7265808582305908","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":"Q5204347$42647D8E-D8B8-4511-98AC-746169092D65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e1b00c852cd5f899ea83061e9fd2602cfc94c9e","datavalue":{"value":{"entity-type":"item","numeric-id":2381506,"id":"Q2381506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1032b3fb21866fbad627d79c54664830539639b3","datavalue":{"value":{"amount":"+0.7265511155128479","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":"Q5204347$B1BAE4BA-D4BC-4817-B9B2-F5F284CA4704","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5204347","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5204347"}}}}}