{"entities":{"Q4371690":{"pageid":6401289,"ns":120,"title":"Item:Q4371690","lastrevid":46984131,"modified":"2025-12-26T00:05:28Z","type":"item","id":"Q4371690","labels":{"en":{"language":"en","value":"The meaning of negative premises in transition system specifications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1106129"}},"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":"Q4371690$668498C8-EFF2-4BAC-9614-BAC1EF1775F3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f270684a2e9fe8f122f2126caafbd24719d5f686","datavalue":{"value":{"text":"The meaning of negative premises in transition system specifications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4371690$9BDAFCEE-A90D-4617-B12E-F93851DE29B4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fa9254b68ef34bd595ec63772b24bdcf862b0602","datavalue":{"value":"0889.68113","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4371690$B471B60F-EE91-4BA1-9320-498316925C84","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e4dd7bea1b4d1e45d019bed68f3c17211d980512","datavalue":{"value":"10.1145/234752.234756","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4371690$929C8ED5-DE00-4EC0-A291-1D07132A55E1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9bfdc48a476a11696af46ca3d91472b4be06847c","datavalue":{"value":{"entity-type":"item","numeric-id":1177922,"id":"Q1177922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4371690$16F65D9C-9E92-45DC-AFC8-E62B9D4107DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b4d54284fa63e7ffb6f80344c0baa18d8a9790f7","datavalue":{"value":{"entity-type":"item","numeric-id":169680,"id":"Q169680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4371690$2C3FDC42-6053-480F-A56C-9E3E83A56C8B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f12bfc80fe4a431c556e028f5134a217234a7cc4","datavalue":{"value":{"entity-type":"item","numeric-id":63915,"id":"Q63915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4371690$60D45488-9634-4613-83C3-36F73108285B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d3669eb6a950eb8b7e2a30d8a8d1d225ebc1eee0","datavalue":{"value":{"time":"+1998-01-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4371690$0080532B-27AC-4B15-AABE-9E8A9B5E4160","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f246cd224b7f645a21609279da7a6f5bf69b5bcf","datavalue":{"value":"https://ir.cwi.nl/pub/1339","type":"string"},"datatype":"url"},"type":"statement","id":"Q4371690$AC8D6070-DC14-43FA-B01F-34B5136E36EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"48a86c28032fa1c6d2fe2332380507de41c2e669","datavalue":{"value":"http://www.acm.org/pubs/contents/journals/jacm/1996-43/","type":"string"},"datatype":"url"},"type":"statement","id":"Q4371690$ADB58F3B-9DA6-4E99-828C-D6A8D2ACD907","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4371690$C4295FC6-565A-450E-B907-95AD0B5B32A5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d2c049c180adc878786555c29b5610061dc4ff9a","datavalue":{"value":"1106129","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4371690$559560AE-9AF7-4101-90DC-87CA53E9FF62","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1d66bf2a1b1e1bbbf069d7f47610759328f5c326","datavalue":{"value":"transition system specifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q4371690$D7511CD2-0061-4012-B2AF-1F43027AE331","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":"Q4371690$6EF011B3-F9C5-4839-927C-9E476F446135","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"eae007e745812ba64560d7ab36be0cc5c40f3d1a","datavalue":{"value":"W1969947545","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4371690$25726DD1-E890-4502-923F-245458CA35C8","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":"3fd2c29d7320ddd2a3f24c61f9232212876e4324","datavalue":{"value":{"amount":"+0.9944581985473632","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":"Q4371690$E8299C49-7103-46EE-9FC3-22516A3679D0","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":"ab150e335482954d28228fe43aab93372520eac5","datavalue":{"value":{"amount":"+0.907261610031128","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":"Q4371690$35500391-7A93-4B29-B991-F31C86526997","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa51d4bbce1467f559aded066b604455f663f137","datavalue":{"value":{"entity-type":"item","numeric-id":4818861,"id":"Q4818861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97dcffc7a4c54ddf9b1671318595837a9f8efe21","datavalue":{"value":{"amount":"+0.873045027256012","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":"Q4371690$B2D58F6A-4B86-44E4-BA2B-30EE8EE6F5CB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4371690","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4371690"}}}}}