{"entities":{"Q1892889":{"pageid":1903631,"ns":120,"title":"Item:Q1892889","lastrevid":73936146,"modified":"2026-04-14T17:47:21Z","type":"item","id":"Q1892889","labels":{"en":{"language":"en","value":"Split and ST bisimulation semantics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 767835"}},"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":"Q1892889$9475E145-60C9-4851-8816-2861D96E3684","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"71c600ff1ab828891965c0799c53194048782744","datavalue":{"value":{"text":"Split and ST bisimulation semantics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1892889$5E984C20-3122-4509-AAE4-4AE825C05AC6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5e946f2a9803bcd6d3591ebcd266f2ef392e4d1b","datavalue":{"value":"0826.68077","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1892889$A3E74AD4-055B-4E40-8EEA-211315F38613","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"eec51c07710be78560907d5497cf10b0b2c10907","datavalue":{"value":{"entity-type":"item","numeric-id":199202,"id":"Q199202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1892889$AA1ED0E5-A67C-4194-815C-D7C7650C09D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f4fe1735c78ca8836fdfaabad4ce3df9d1388e57","datavalue":{"value":{"entity-type":"item","numeric-id":493532,"id":"Q493532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1892889$621659BD-7372-4B48-8421-D400DD8434F7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1892889$9DD1A50A-C4D0-4ED7-83DE-EB4BA7EE169F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"68348d793c32038ea526d66d42ab35dbcd9b80ac","datavalue":{"value":{"time":"+1995-07-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1892889$A6440231-E86F-453A-9B1D-8C998344C65E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c3c6e9e4c81727709a6a8be04f0c4d6c78ba3148","datavalue":{"value":"https://semanticscholar.org/paper/986b42c05b80bcb64115215ef98d9f09c94f2b8f","type":"string"},"datatype":"url"},"type":"statement","id":"Q1892889$7D31D08B-4552-446E-9133-24011CA6A9CC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1892889$0A651BC0-27D2-4BDC-80DB-45F90BABDC96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1892889$3947034E-3E22-4267-AFAD-525843C48DD5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7935fe544a808bf5a06c4241e270f9ed12649148","datavalue":{"value":"767835","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1892889$34678BC2-5BA3-4560-9611-0FBB68943AAC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ba09415d670c23dcd02b64785ba3e941465f9bc7","datavalue":{"value":"action atomicity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1892889$5161B517-1369-4A3E-A1FE-0EEAC88625B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1892889$9F7B8638-C092-451B-8AE2-006FEC938AA7","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":"Q1892889$623D558A-E5DE-4322-ACEA-B84906907219","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"70611dabf983af11bf1be9c0931e5409a0281145","datavalue":{"value":"W1970071839","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1892889$8CF58360-F4A3-40CE-ABDC-F82388566C2D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"90aa800bac9642161fc6316df4d9a2ab88c65648","datavalue":{"value":"10.1006/INCO.1995.1066","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1892889$DFD342DA-A072-441F-BADF-4BF927199958","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51155bab6a0cdb6bee2d3168d4809a9d14739956","datavalue":{"value":{"entity-type":"item","numeric-id":4035238,"id":"Q4035238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2959b11686ed540168698edfb000a247e3dc773e","datavalue":{"value":{"amount":"+0.8179295659065247","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":"Q1892889$7EEAAA8F-B863-412E-B2F9-0E4AD49D792E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4e7a6e06e679dc64583429b60341ae45e8fabbd","datavalue":{"value":{"entity-type":"item","numeric-id":4035680,"id":"Q4035680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2d7b4c7540f44e3156c53be66f2be0211c65ed0","datavalue":{"value":{"amount":"+0.783747136592865","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":"Q1892889$EBE5AB68-5F9B-4F2C-821C-E0BFD4A1B358","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95f94e7d4fe61a281e7f9ae3c2b43e961ad3a030","datavalue":{"value":{"entity-type":"item","numeric-id":4223007,"id":"Q4223007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c41cd1c74ff4e56f24be6d93cc4388337508c77","datavalue":{"value":{"amount":"+0.7692640423774719","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":"Q1892889$47706FE2-2B9F-4D59-86E8-F8DD8C45E094","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Split and ST bisimulation semantics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Split_and_ST_bisimulation_semantics"}}}}}