{"entities":{"Q5890064":{"pageid":7919614,"ns":120,"title":"Item:Q5890064","lastrevid":37511878,"modified":"2024-07-31T23:39:12Z","type":"item","id":"Q5890064","labels":{"en":{"language":"en","value":"A complete axiomatisation for trace congruence of finite state behaviors"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7680656"}},"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":"Q5890064$1EFAA5E2-DF70-40C1-86A2-DF031AFE0F0E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4bd3c11e7c84eefa52384be0fb54a06e22c5d591","datavalue":{"value":{"text":"A complete axiomatisation for trace congruence of finite state behaviors","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5890064$FA5FDD91-E942-4B1E-8236-0AB20D116255","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cd912e53876fd4c4ede1348f8f9e1f8c3580957c","datavalue":{"value":"10.1007/3-540-58027-1_25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5890064$AF66B07A-9F14-441F-829F-DFCB3F00B1D0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"91a6d5b55b11b7c5072badc33d9b23eaf1c7a459","datavalue":{"value":{"entity-type":"item","numeric-id":259067,"id":"Q259067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5890064$DBE62B09-8514-4663-A462-7F86545D580D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5890064$0E56FAE5-8043-446F-9C11-8FFF890934BF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"30bf4c979a904132ac28909e79b707831f730270","datavalue":{"value":{"time":"+2023-04-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5890064$59D30A12-6A20-4ACD-85AA-6D60A56553BE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5890064$A756597D-E004-4955-A026-6F8A60DAA2BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5890064$AED689CE-014B-45CE-8D11-1C4329D7BABA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"82ddc1398e71ea51fbaec47337f5f52d592d58dc","datavalue":{"value":"7680656","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5890064$3C1D84DB-7ECF-453B-A820-68927DC124ED","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93cbbe3aacb0282d348cb5e7d78e394a1a6097ce","datavalue":{"value":"inference rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q5890064$949C41FB-E30C-4F2E-9285-35517BF516A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b4369065edf6d8d2db82064ebbf82bc692ed5b6f","datavalue":{"value":"regular expression","type":"string"},"datatype":"string"},"type":"statement","id":"Q5890064$D0911A09-A0B3-4E3D-8134-C1214D0ECF09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14a0dd3e1b83404196449aa90cc83aae915af1cf","datavalue":{"value":"proof system","type":"string"},"datatype":"string"},"type":"statement","id":"Q5890064$B405F723-DB56-45A8-A125-CA8D4898996F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"49c8c7c3b796a462e52ef8b3ac9387d3a7de49cf","datavalue":{"value":"deterministic system","type":"string"},"datatype":"string"},"type":"statement","id":"Q5890064$29F98DAD-0769-4BA5-AC94-AB3F7E0AD0F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00ebe6049a8eb5b001bdb777b77fcb1ed5ac41bb","datavalue":{"value":"successor action","type":"string"},"datatype":"string"},"type":"statement","id":"Q5890064$45676796-1694-4408-996F-A2890A2B75F7","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":"Q5890064$B732C8B3-7210-425A-937D-BEBC013056FC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7253336ba20854b4876f614aedda49951c37d40e","datavalue":{"value":"https://doi.org/10.1007/3-540-58027-1_25","type":"string"},"datatype":"url"},"type":"statement","id":"Q5890064$8FE5F8B9-42E0-48FC-B4D8-9953221862B8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9a24f4ef97aef13f3b89f31558c3c09a2541d67d","datavalue":{"value":"W1562756344","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5890064$86E24D5A-9757-4E75-B0BC-4F421FBC00A9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf8ebc11e5152a7aaca233f3b6037de5f36fc738","datavalue":{"value":{"entity-type":"item","numeric-id":3766826,"id":"Q3766826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5890064$A40B6A5E-BE82-4579-A5CE-A13EBA72847D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37011f2d1f562172b8f9857d6459d11fb09eac21","datavalue":{"value":{"entity-type":"item","numeric-id":1057072,"id":"Q1057072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5890064$749A5140-116B-4860-8A86-2B149FD3D549","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d630e5ecd91a4bf839fd44e533fa25f1b0e8d02e","datavalue":{"value":{"entity-type":"item","numeric-id":1263984,"id":"Q1263984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5890064$F11E39B7-131D-46FA-A3C0-3F0E840DCDCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b1e20aa27e3c87de1be2013b4394841d8c404dc","datavalue":{"value":{"entity-type":"item","numeric-id":5528648,"id":"Q5528648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5890064$C96910E4-3619-473E-9B90-A67ECDE09065","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5890064","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5890064"}}}}}