{"entities":{"Q3051663":{"pageid":3062379,"ns":120,"title":"Item:Q3051663","lastrevid":55922254,"modified":"2026-02-21T04:27:46Z","type":"item","id":"Q3051663","labels":{"en":{"language":"en","value":"An algorithm for computing simulation on finite labeled transition systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5811489"}},"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":"Q3051663$8177D070-4B33-4A07-99AD-B5749CF2E63E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5777ece18f1e5d53c8fc6ff484998e03f77b3684","datavalue":{"value":"1212.68098","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3051663$7278C91B-E854-4558-AC43-04170E63D069","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"664a3d02c9703975151ac3c0abc215b301b6606f","datavalue":{"value":{"entity-type":"item","numeric-id":989470,"id":"Q989470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3051663$C6E1AB7E-F7B4-444E-97F4-6F4E91A5278E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fc42ae3f0baa7fb58194da2d83c3f7462d812813","datavalue":{"value":{"entity-type":"item","numeric-id":3051662,"id":"Q3051662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3051663$12BFECEB-2D4A-418A-876F-B1DE53AF641C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e207171999d8bccd08779f13059dd3836085b46a","datavalue":{"value":{"time":"+2010-11-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3051663$0E0F0B91-0A49-4199-9D40-A570D07D7EEA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3051663$5EAD4874-0760-4BF0-8CE6-EEDF82511577","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0e40b847cfa456e95c1c964a8cd9df72656b7c29","datavalue":{"value":"68U20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3051663$DD3556F2-6417-45B9-9430-CFC7BA0D8AA4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"db22bcfe8b7de3171bb17963d728127f1c38f826","datavalue":{"value":"5811489","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3051663$C81207DD-24DA-4281-B77E-7BC9239213D7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87c2e88f1ff3493066f8b573f5861a8c1effa7d8","datavalue":{"value":"process calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3051663$3E14A1A3-EE5A-4FD1-B6BB-424405919628","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5eb7f00ee7fdadd911515b91bdfee9f839c293b4","datavalue":{"value":"concurrent system","type":"string"},"datatype":"string"},"type":"statement","id":"Q3051663$3B9F242B-7A05-432D-8509-DDD66DE04E08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f828563fee5a57e5f16da87a79378ac587cea3ac","datavalue":{"value":"simulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3051663$726BBC4A-632A-4A91-8EBA-337ABC744A05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4c0c081abc8eda38858901e1fd627902a9a4a0e0","datavalue":{"value":"labeled transition system","type":"string"},"datatype":"string"},"type":"statement","id":"Q3051663$FC30EF58-1333-4C7A-9256-E6352C396677","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":"Q3051663$A29EF0D9-4874-4461-86BE-47B35445B26F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25dcdfefd89e6d88c85773a9c774e54f956b3424","datavalue":{"value":{"entity-type":"item","numeric-id":2771063,"id":"Q2771063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1a54a222c6ff0e64bcb633c5bfa2c593c2f89ee","datavalue":{"value":{"amount":"+0.8235294222831726","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":"Q3051663$73BB1CA2-6C1E-419F-95DE-480CF0F9CA6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ebe66424f65cba7e0c9fd0adccf43f0959b93b89","datavalue":{"value":{"entity-type":"item","numeric-id":5144615,"id":"Q5144615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d200c598ad75c7d8d9911c312d9e9ccbd539bf27","datavalue":{"value":{"amount":"+0.8123782873153687","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":"Q3051663$93C3EFD2-6117-4BE1-ACBA-15B3D868097A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"892394453526a814225f5640ee704f116822b08b","datavalue":{"value":{"entity-type":"item","numeric-id":1049401,"id":"Q1049401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5cb8429a604028635d525ff2972da45ae69f243a","datavalue":{"value":{"amount":"+0.7904950976371765","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":"Q3051663$6FEBB132-4124-4B43-BF6E-089297DDE6C5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3051663","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3051663"}}}}}