{"entities":{"Q6588076":{"pageid":14199233,"ns":120,"title":"Item:Q6588076","lastrevid":55726732,"modified":"2026-02-17T21:46:13Z","type":"item","id":"Q6588076","labels":{"en":{"language":"en","value":"Imperative process algebra with abstraction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7897380"}},"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":"Q6588076$C6FC9B72-7074-4A6B-BC08-90B1F2B1378B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cea4805ff94c487e989a3f4488ff1140177f144d","datavalue":{"value":{"text":"Imperative process algebra with abstraction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6588076$92795B51-3141-47E1-8E63-5079A74BF02B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dbb33a3073e5d10e801461d02e59acd59cd450c4","datavalue":{"value":{"entity-type":"item","numeric-id":175864,"id":"Q175864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6588076$DE8C10D0-BEAF-49A3-AF94-F69F8602474A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"28f1c5b29888d205254bb73c58fdc8777ff4112f","datavalue":{"value":{"entity-type":"item","numeric-id":4621157,"id":"Q4621157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6588076$3330925B-D7CD-47C3-8706-8E646167EF8E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4c5bff37f7f9c7ee2e9efb4be809422c70dc245d","datavalue":{"value":{"time":"+2024-08-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6588076$F3331DD1-76DE-4D60-80A5-065234E66098","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6588076$A246AF5B-3683-4ECD-9D06-F23364363289","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1e5037a737610188db71630fb91baa75d934f781","datavalue":{"value":"7897380","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6588076$AB71969B-246E-46C1-8858-3AB097F6652D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba18d9e062b62584bb4ef83e21d4ea4e5124d2c","datavalue":{"value":"imperative process algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q6588076$9906A56A-5FE6-494C-B0D5-4A3AA23437E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e404e0d47002bfb1532cb42cfe324606a2151619","datavalue":{"value":"abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q6588076$E47E6CBF-96E9-4A19-A779-08F85129DC42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0bdcb6c6a7e0b4c9bdfdd4689583b799e2a826f4","datavalue":{"value":"branching bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6588076$5C95539F-066F-4655-BA22-F3C5D930CE06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93d6cc8232847450343c8c65d76c74d832cd6d1d","datavalue":{"value":"information-flow security","type":"string"},"datatype":"string"},"type":"statement","id":"Q6588076$24BFCE6D-CA6E-40FC-AC8F-AAEBBDF013E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"64c975cf7004e2b479344b1d74ca723ada8d179b","datavalue":{"value":"data non-interference with interactions","type":"string"},"datatype":"string"},"type":"statement","id":"Q6588076$0C3854DA-488F-4882-B2C0-D6171135D23B","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":"Q6588076$CD6CF223-9D8C-4331-9875-500AA5EFF333","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"008b99d472537556122fdce4977a39f735f348ee","datavalue":{"value":"10.7561/SACS.2022.1.137","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6588076$55018640-1E68-43FA-B3C2-77B774C7D395","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8fca1f6a853198b042b354faaa979f06ad3cdd0","datavalue":{"value":{"entity-type":"item","numeric-id":6580081,"id":"Q6580081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc3c275bde4281f4317c4d13d22df8e255730558","datavalue":{"value":{"amount":"+0.7791008353233337","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":"Q6588076$148FDE29-3E55-4332-9927-AC3C51051488","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4e6b641ee4574590a7c55ad230fbb718c19078d","datavalue":{"value":{"entity-type":"item","numeric-id":1575260,"id":"Q1575260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae31887bb5f27caab594dde42e618e2cea5d49ff","datavalue":{"value":{"amount":"+0.7381789088249207","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":"Q6588076$39B35404-6CD5-4403-847B-7629DD31979E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a00ce9b3b80cc74ad823d6bfbcae77f013f12fd","datavalue":{"value":{"entity-type":"item","numeric-id":4791835,"id":"Q4791835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10518196366d16e4465ec5d283be7f47723a17a4","datavalue":{"value":{"amount":"+0.7317153811454773","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":"Q6588076$F25C0233-5F5E-4D67-9E71-8E0F4E6480D9","rank":"normal"},{"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":"ff977821399ffd24203bd6057e9ba27f43decea1","datavalue":{"value":{"amount":"+0.7245702743530273","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":"Q6588076$2CD95BDB-43A4-4B8B-9DA1-25B6A26E6B2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"def56ff7c15415f0399aa283662b750d1d384ad4","datavalue":{"value":{"entity-type":"item","numeric-id":998092,"id":"Q998092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6ea4182e8de8e75c7a9c5b2b7c4f79a44bdc548","datavalue":{"value":{"amount":"+0.7212775349617004","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":"Q6588076$49CA7F10-BCF8-4AB6-A4FC-4E2AD0404F80","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6588076","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6588076"}}}}}