{"entities":{"Q2787684":{"pageid":2798422,"ns":120,"title":"Item:Q2787684","lastrevid":83249687,"modified":"2026-05-07T06:52:33Z","type":"item","id":"Q2787684","labels":{"en":{"language":"en","value":"Computing property-preserving behaviour abstractions from trace reductions, abstraction-based verification of linear-time properties under fairness"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6550335"}},"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":"Q2787684$192C92DA-28AC-4C79-B78D-E3290422F2C5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ef30bb7697883b9b20849da2315a565fb9e12740","datavalue":{"value":"1333.68180","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2787684$974698B4-0718-45A6-A81E-B987B75193FB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ba57f4be7ff724cc04307bd4e0462ccff754eb24","datavalue":{"value":"10.1145/383962.384027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2787684$EC2B4148-D66F-4A60-A825-1CBA5D2F23DD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"499099834b548281307503fc2d2df45390c5017f","datavalue":{"value":{"entity-type":"item","numeric-id":2787683,"id":"Q2787683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2787684$ED7588C7-5179-4866-834C-17EE8F3F2685","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3dcea5c1aa112c4c41bcb8a73cac9df067f482e6","datavalue":{"value":{"entity-type":"item","numeric-id":845907,"id":"Q845907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2787684$A1FC3A21-D56E-439A-BD13-9C1C57F80612","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"5cf5b9faa084b71d59dd7dcb55c4a475a41a9040","datavalue":{"value":{"entity-type":"item","numeric-id":2787665,"id":"Q2787665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2787684$7C7BFCFF-9287-4830-8CF4-0E37202BD08F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9baa329984daf997c3bf5a084a91839bc1428d33","datavalue":{"value":{"time":"+2016-03-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":"Q2787684$B0A41F39-5105-4BD1-84AB-D49549EC56F7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2787684$719CB297-381E-45D7-90B2-D01D43BF93F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ff42057022552eaa82447a5a1563ef3bf93acd","datavalue":{"value":"68M14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2787684$55D8BD97-7B62-4CAA-9A31-946D9FA18AA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2787684$F0176088-6602-41F3-A7C7-8CFD684A5059","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d8d24f557356c7f52056addd057152c2f4a49ad1","datavalue":{"value":"6550335","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2787684$C6E85472-1C60-47DC-B891-FAD9C7793982","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5f46f8960b22ce9546ee8c2fff9fc7ead235441e","datavalue":{"value":"behaviour abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2787684$A346978F-DFD7-4036-9D35-B0B4BF92CD69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5e3412754c819518b74467d9f82816d9209eaba","datavalue":{"value":"partial-order methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q2787684$C8109F8C-DD02-44CE-A4B6-D0EDBC2A79A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bbad2f02c9f67c03d0983395337725cb41d4ebd3","datavalue":{"value":"satisfaction within fairness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2787684$B7DF7289-3E21-4175-A013-DA753FC9CA04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e9e3719302e1ce016d5f1601a117d47888feedc","datavalue":{"value":"trace reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2787684$D1B5FA0E-7530-4226-85A9-9AEFBCD1204E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e8569b437dae07d56bd4c59df5541c1e1f07d9e","datavalue":{"value":"weakly continuation-closed homomorphisms","type":"string"},"datatype":"string"},"type":"statement","id":"Q2787684$369A02C2-3454-4867-A81C-4D370242B06B","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":"Q2787684$51669063-5E60-4C08-A54E-8EE063C18C58","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f110c3e920d8e2ad5ae88e15fab0ec419e762e2c","datavalue":{"value":"https://doi.org/10.1145/383962.384027","type":"string"},"datatype":"url"},"type":"statement","id":"Q2787684$84EAB905-8192-473E-96E9-2502B2EF1FB6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ea3efa2750fecc3b5440a9747dd96d96f998617d","datavalue":{"value":"W2023452603","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2787684$36568BB2-0DE8-4A01-A0D4-95985CC52D74","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"129e4f2ea655c30bb1f7f0336da7061bb359988d","datavalue":{"value":{"text":"Computing property-preserving behaviour abstractions from trace reductions, abstraction-based verification of linear-time properties under fairness","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2787684$394D4204-E655-4346-BE65-770A172F4571","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"431b6506e6814632b5e5ad0855d29524154441a1","datavalue":{"value":{"entity-type":"item","numeric-id":5308377,"id":"Q5308377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6353d34eacc5af7c1379b95a925d28c18ba3e8e","datavalue":{"value":{"amount":"+0.7548232674598694","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":"Q2787684$882D2247-63F0-4469-806B-47ACACFF1090","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20532c49d9d4d3ae8f294148a0e0a60cc9c87685","datavalue":{"value":{"entity-type":"item","numeric-id":1346649,"id":"Q1346649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95336f36fa57550efe6c052a04bcb9c43a007bab","datavalue":{"value":{"amount":"+0.7546796202659607","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":"Q2787684$5078CE9C-82C9-42AF-8C28-D68A6027F6F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5723273463618da154a6936ff7c82399166e700","datavalue":{"value":{"entity-type":"item","numeric-id":1736621,"id":"Q1736621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64dbaa978aebd5c428f3bff804fd2feb7275397e","datavalue":{"value":{"amount":"+0.7527412176132202","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":"Q2787684$F4797C71-AD97-4ED8-ADEE-74372F8B6B86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c11f0772c1208fd7ddf51ce4038b8f781a7ad79f","datavalue":{"value":{"entity-type":"item","numeric-id":3176371,"id":"Q3176371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3bf16c01c373048f6c585188a757d7e4df730393","datavalue":{"value":{"amount":"+0.7524967193603516","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":"Q2787684$9DA01166-4076-41CA-932F-3AC3FD7B854C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dce5cfd9f03d9a0ba61f291e4026b26bede70abc","datavalue":{"value":{"entity-type":"item","numeric-id":4823139,"id":"Q4823139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6dc7a750e24e6db7f97a04c475013735ce0d5197","datavalue":{"value":{"amount":"+0.7369937300682068","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":"Q2787684$C6FEF746-ECEC-4118-91FA-C28595FEF4B9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Computing property-preserving behaviour abstractions from trace reductions, abstraction-based verification of linear-time properties under fairness","badges":[]}}}}}