{"entities":{"Q4986263":{"pageid":7015840,"ns":120,"title":"Item:Q4986263","lastrevid":58390614,"modified":"2026-04-05T00:30:29Z","type":"item","id":"Q4986263","labels":{"en":{"language":"en","value":"Tree rules in probabilistic transition system specifications with negative and quantitative premises"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7339677"}},"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":"Q4986263$024E106D-17FD-47B0-BCCD-C61FA41BB917","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"73bc50093c7ef1e923974728e6c43fd81bd3a3f8","datavalue":{"value":"1459.68147","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4986263$FA139166-87A7-4460-B614-C2282A5D3EE8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7b6ee79c459e72baf24abf4180a3c75000dba8d9","datavalue":{"value":{"entity-type":"item","numeric-id":2093148,"id":"Q2093148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4986263$6D0E6B37-4ABC-4EDA-AF1F-DE52799EB827","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"720d2ca687b1dbefe07531061c55846f1312faae","datavalue":{"value":{"entity-type":"item","numeric-id":1660765,"id":"Q1660765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4986263$2AD435E4-EC18-4D6D-AC77-E9B327F625AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"44fbc514ac4414d1f77b758348bbf20c72a9d00a","datavalue":{"value":{"entity-type":"item","numeric-id":1391790,"id":"Q1391790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4986263$00976AD6-4283-4E3E-940C-437BBAC49B33","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"661f4d8ef06d99d35e1e7e7ecc507a8b7968b768","datavalue":{"value":{"time":"+2021-04-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4986263$10F78113-12A4-42BF-B555-F2F975B6A197","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"eda9f777e2841dc1c8e7d333a72374473553716f","datavalue":{"value":"https://arxiv.org/abs/1208.2752","type":"string"},"datatype":"url"},"type":"statement","id":"Q4986263$429F511F-4B7E-4424-A037-64D81EA50BB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"1bd8aeb62ae5cb039993d6e854f058d35b046298","datavalue":{"value":"http://eptcs.web.cse.unsw.edu.au/paper.cgi?EXPRESSSOS12.9","type":"string"},"datatype":"url"},"type":"statement","id":"Q4986263$BF1DA5BD-E8B2-4ADA-94EA-4C93B319C342","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4986263$26EC98D5-458F-4E5E-B83D-49A6C35D8E7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4986263$6FAFFC2E-1998-48B0-9FFB-E42CB8C71AAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4986263$B7CA2649-07F8-410A-81F3-DB1105F49FCA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a5cff45eb2ffe3ff2b7142492d0a1e0f33756261","datavalue":{"value":"7339677","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4986263$AB3A4B99-740A-493A-AB87-A039E23F92B1","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":"Q4986263$DB5FFDF5-8281-4939-957F-00CAD5A6D5C5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"efa28cf266b343f5d69054f1fdc2cce485bea109","datavalue":{"value":{"entity-type":"item","numeric-id":5013870,"id":"Q5013870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"afca8b4eb82a22f52a4d9690a1491fa57a9e4b1c","datavalue":{"value":{"amount":"+0.8162405490875244","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":"Q4986263$E3C9B22F-EC7F-4257-8BC4-F9D09D8FD817","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"776c55c4b11213a5948a033b2fb5f94aab200162","datavalue":{"value":{"entity-type":"item","numeric-id":2629851,"id":"Q2629851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6828b93a74c01ec4afb5e6123d377d043120cd01","datavalue":{"value":{"amount":"+0.8106134533882141","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":"Q4986263$BEAD0A60-42CC-4E8E-A3EA-7534A285D29B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a0d741e4dac94536d23ef8297ef05175a5e3c05","datavalue":{"value":{"entity-type":"item","numeric-id":2892789,"id":"Q2892789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b93e77645d085fdf4d0f55a59429c7e3e9504aba","datavalue":{"value":{"amount":"+0.8086069822311401","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":"Q4986263$D78E79DC-E3B6-4C64-B894-1D736EC5FF47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d09e9f351229d6d6203dc7f7bd4b5780c7f4ece6","datavalue":{"value":{"entity-type":"item","numeric-id":2842551,"id":"Q2842551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56762968b1dd6f81a7b6e5c96b02bf2c6479869e","datavalue":{"value":{"amount":"+0.7945889234542847","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":"Q4986263$07E0BBA7-D12D-4644-B2C5-1AB7F438647F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9e254d3dc28128dd2a1604d4dfe58be0130aa8d","datavalue":{"value":{"entity-type":"item","numeric-id":685387,"id":"Q685387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af321d52f71f1fac1fbd8591f8b1b5f8c4929be9","datavalue":{"value":{"amount":"+0.7869748473167419","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":"Q4986263$65C3D4D6-03D6-4A55-9974-C7B48162407E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4986263","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4986263"}}}}}