{"entities":{"Q2842096":{"pageid":2852816,"ns":120,"title":"Item:Q2842096","lastrevid":79462913,"modified":"2026-05-06T13:58:01Z","type":"item","id":"Q2842096","labels":{"en":{"language":"en","value":"Modular semantics for transition system specifications with negative premises"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6197891"}},"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":"Q2842096$E59BD4EA-A6FE-432B-9B34-9326260F3CF8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"12dd6b1116c1d50aab2170aa5271811c795eb990","datavalue":{"value":{"text":"Modular Semantics for Transition System Specifications with Negative Premises","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2842096$CE793B62-A24A-45EA-ACC3-D73B08D4D48A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0478e7f42fbf2534bd24805bc3a38c3b45fec791","datavalue":{"value":"1390.68465","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842096$E7472427-BD1B-4F6D-98A3-38B70E37D1F5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1277dbf26f21d4e02306838d082ee3f8645b77e2","datavalue":{"value":"10.1007/978-3-642-40184-8_5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842096$26659CC2-6081-4905-9923-990E2F354AE7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"db927feaafe5bc875445304e04b561e8a58d8f93","datavalue":{"value":{"entity-type":"item","numeric-id":388202,"id":"Q388202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842096$72D85C42-EC18-453B-B1DF-7E77812A72A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"73fae7aa6d0c7c2cab5ae77c738df9d6a0e9e85b","datavalue":{"value":{"entity-type":"item","numeric-id":516040,"id":"Q516040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842096$AB41BFD7-6926-4E60-9BA0-B945F6E3D03F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cf76af684c94ba691719fb8f21bdf4957141647e","datavalue":{"value":{"entity-type":"item","numeric-id":835033,"id":"Q835033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842096$39E7C3F7-288C-4BD1-8D79-4B0DD8012BCC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c2be6a3088c84110bcf5fd8aea373200c5bd18e3","datavalue":{"value":{"entity-type":"item","numeric-id":2842094,"id":"Q2842094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842096$19D8B208-9F77-470C-9D21-E7BFF3E233EE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f821b5a4e1b97d333daa587d84e241971425051f","datavalue":{"value":{"time":"+2013-08-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2842096$039775C3-E6FA-417D-9C5D-D728442A7CFE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4d2f63ca5ad13775a5bbe077bc647df85102b588","datavalue":{"value":"http://urn.kb.se/resolve?urn=urn:nbn:se:hh:diva-23495","type":"string"},"datatype":"url"},"type":"statement","id":"Q2842096$5371C010-79C4-49A2-930F-F7E5C5AEDD7E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842096$83ADEAA8-57F3-4350-9036-F0120173737F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842096$9E695784-A1B5-4E31-B140-081D76130EBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842096$7DB5B297-29F0-42C3-B7E9-B4D48D937174","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"db46df58dad48210720687aa10abe94741836dba","datavalue":{"value":"6197891","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842096$7AE60B01-8C78-47DD-B480-336B4B6487DE","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"20cea50b4c48a07437e6579abc8b8ce36a23b415","datavalue":{"value":"Q57745527","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842096$EC969811-10C0-412B-AA7A-F457F2D80E19","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":"Q2842096$06754926-D809-4920-99AB-76DB6C154F80","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c35631fc046c9044b05ef72f43cd5a4b0a126130","datavalue":{"value":"W2164405914","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842096$CA9E5C9C-D512-4676-A8B1-641C2F50B330","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"3c263d731e53148f2408ec1c59a6623e351c34f6","datavalue":{"value":"conf/concur/ChurchillMM13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842096$6B9A4C61-0A67-4B1D-8D12-3761746245E5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc33ecbc1c6e5a703a8a60228e15fbea9bf7760d","datavalue":{"value":{"entity-type":"item","numeric-id":4036587,"id":"Q4036587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9b436542c4184cabac5e0c553a560821635914a","datavalue":{"value":{"amount":"+0.8432109355926514","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":"Q2842096$3FAFDD40-A395-4A23-86A0-93551A24C669","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51b6ece8bcc7816a4788e66092ed565d648f8f5a","datavalue":{"value":{"entity-type":"item","numeric-id":1198952,"id":"Q1198952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9b436542c4184cabac5e0c553a560821635914a","datavalue":{"value":{"amount":"+0.8432109355926514","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":"Q2842096$4726FD2E-AB94-4264-A318-8D228BBC52AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a79cfd5ce6f676936d2f408b6bfcf12ed96b367","datavalue":{"value":{"entity-type":"item","numeric-id":4371690,"id":"Q4371690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e83211b8cc8e93ff8f75206aac9a644a5e034878","datavalue":{"value":{"amount":"+0.8428916335105896","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":"Q2842096$ABB8CB28-6B9A-4097-A668-BD8F2092E0BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1655a405f30d122c6917e53b6eeb063b6564e3df","datavalue":{"value":{"entity-type":"item","numeric-id":1012119,"id":"Q1012119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e83211b8cc8e93ff8f75206aac9a644a5e034878","datavalue":{"value":{"amount":"+0.8428916335105896","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":"Q2842096$D6344DDB-575F-4F5E-98D0-CAF4CF3744C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb6adc8b9747e62a64cce16a04092089c9f58134","datavalue":{"value":{"entity-type":"item","numeric-id":1878713,"id":"Q1878713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"081824e0f8d0d2b338f447a1c7881cf9c58bacbf","datavalue":{"value":{"amount":"+0.8411918878555298","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":"Q2842096$4C717405-132C-4679-965A-FD0DC445778E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Modular semantics for transition system specifications with negative premises","badges":[]}}}}}