{"entities":{"Q1878713":{"pageid":1889455,"ns":120,"title":"Item:Q1878713","lastrevid":69065181,"modified":"2026-04-13T04:19:26Z","type":"item","id":"Q1878713","labels":{"en":{"language":"en","value":"The meaning of negative premises in transition system specifications. II"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2099287"}},"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":"Q1878713$BEAD8763-BC6B-40A0-9D55-7511FE1F2D0C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"31c83c68bc832378f27dda1b4e8a4964fd93d4aa","datavalue":{"value":{"text":"The meaning of negative premises in transition system specifications. II","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1878713$799715AE-3423-43CF-8631-338C1814B254","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"259aa5ff92505d843c16791a82146f35b7c68c22","datavalue":{"value":"1072.68075","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1878713$AFA3972D-CE13-4A4B-AFD4-E403596DB00B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"786ecb874cd758b218aa4cf99a475aee0b3588ed","datavalue":{"value":{"entity-type":"item","numeric-id":175862,"id":"Q175862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1878713$E281F99B-108B-4A07-8E84-222F27750C28","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f2131ab0fa6a717351ae1e3ad21854c6ca6be241","datavalue":{"value":{"time":"+2004-09-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1878713$13CE44EA-F70C-4BDB-8F24-F5DDEB596FE8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1878713$ED3AA680-10FA-4B9C-BB49-23A66B9DC9CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1878713$D04A577F-03F0-494D-85C6-55852512508A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1878713$2981991E-51B3-45A8-98B6-78E9043C703C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1878713$D8520B9D-93C2-4BC1-851C-A0D2E4A558E1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f0db3ec7adb011782fb2b2b0e9afb1488add9d1c","datavalue":{"value":"2099287","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1878713$81323F24-FEA2-40B3-BBAB-27D663379E4B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d9c2e1f00facc619242af9af43a4aae006f38ad","datavalue":{"value":"transition systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1878713$356C826B-6503-4BAD-94F3-C2FC1F1A950E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47511de611e7ca7c7f052290389ebfdae4c32892","datavalue":{"value":"specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1878713$B25F82F3-6C72-4C15-886C-B9559C202A34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d621f562f1b93dc712c0fb38e66b6b2ebc7f6576","datavalue":{"value":"semantics for logic programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1878713$C4F489C0-96F8-41EB-9FA6-50B96021368F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f107a74a1e1c64c94230a71c5504892f32efa126","datavalue":{"value":{"entity-type":"item","numeric-id":287371,"id":"Q287371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1878713$835D8326-2A11-4328-8A7C-7C92677AF140","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":"Q1878713$793DB007-18F8-46AF-8939-306A9BB6B062","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1ba45d6595d387654b12e32552d4c00888ed0c25","datavalue":{"value":"https://doi.org/10.1016/j.jlap.2004.03.007","type":"string"},"datatype":"url"},"type":"statement","id":"Q1878713$AD85B7F3-F678-4353-B0E5-7B96BD063A73","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3f47f22efc434feb64b0a3f1c663c752aab81391","datavalue":{"value":"W2109146692","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1878713$97F7AE6F-B271-4273-922C-107DBAC8026E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"02eeb10cb50a02d090ad395a3c2c363c71340d2e","datavalue":{"value":{"entity-type":"item","numeric-id":4305624,"id":"Q4305624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1878713$F8303E27-AA20-4A5B-9FC3-72782F28234B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40f635a48afb14e9e530c9ca5f3f09f5973a7e4d","datavalue":{"value":{"entity-type":"item","numeric-id":4369863,"id":"Q4369863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1878713$249343ED-3526-4235-9EFF-387D7DCBD246","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef2460002d0adbe8417dfc0562899200f110b197","datavalue":{"value":{"entity-type":"item","numeric-id":4371690,"id":"Q4371690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1878713$20163298-0F34-4C8E-A96F-EEDF77218660","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1eceb7b97dcc82d60974e861e87df10d0134415c","datavalue":{"value":{"entity-type":"item","numeric-id":3983046,"id":"Q3983046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1878713$2038D504-2F4A-4ED5-B34E-E0B2BA08BE9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8d6f3eb14281aa9811c325e47a64655f213d9bb","datavalue":{"value":{"entity-type":"item","numeric-id":4302849,"id":"Q4302849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1878713$1A4FDFA3-FED5-4BAE-83D0-969A4A66D19E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bcfd5d986a476d287890338f885cfd01a0953f2","datavalue":{"value":{"entity-type":"item","numeric-id":1917088,"id":"Q1917088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1878713$B859A1C5-945D-4D14-AF87-43FE078B587E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e73c058e3df5c701e63f0f6d9f39f2b9e12c36e","datavalue":{"value":{"entity-type":"item","numeric-id":685387,"id":"Q685387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1878713$EF856BF4-B8ED-4064-9B4B-68CE8D0C5B33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c244d38ee46ac3009494995484e3d10a5bd05e28","datavalue":{"value":{"entity-type":"item","numeric-id":1198952,"id":"Q1198952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1878713$C2418921-8D8A-47E3-AC75-54379B5AB539","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"430c55748ea798d0b94070d5f52c91e59b4fa220","datavalue":{"value":{"entity-type":"item","numeric-id":3348437,"id":"Q3348437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1878713$34EC2D95-A319-4358-A4AB-3515ADA33625","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0857e8878bcf78132758435c76b6420a8b1c319","datavalue":{"value":{"entity-type":"item","numeric-id":3486858,"id":"Q3486858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1878713$EC227C66-2D64-4663-9391-955388DCDD85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16a0cdcfdba2cb7be20b3ff60a87448ba5f273bd","datavalue":{"value":{"entity-type":"item","numeric-id":4847024,"id":"Q4847024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1878713$75434BFD-6721-4DD4-AB5E-40618B4E3A39","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"675b5d30d363985148c31a4688a802d4dada27b3","datavalue":{"value":"10.1016/J.JLAP.2004.03.007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1878713$690B7F75-3494-4151-A614-15EBB0DE942D","rank":"normal"}],"P1643":[{"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":"332c7eb74715cc643ee24b7b9fd67b32d9934e14","datavalue":{"value":{"amount":"+0.9825406","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1878713$71C97191-0F3F-4BF9-99D0-35E4F780A91E","rank":"normal"},{"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":"332c7eb74715cc643ee24b7b9fd67b32d9934e14","datavalue":{"value":{"amount":"+0.9825406","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1878713$EA315112-86E0-4661-9C3C-5D7C2749BA64","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":"e52e088457206a3f09ce60809b4ff7a3fde256e5","datavalue":{"value":{"amount":"+0.98133904","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1878713$32B15780-C513-450A-81AF-07F6E1B3C85F","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":"255c716305cea94cc29bcd22add6e52bfc7e770d","datavalue":{"value":{"amount":"+0.9316868","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1878713$057D2EA9-AE4D-4133-94CC-58321E3E176B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6efffbe588a0ff38ae921504ea9bd98b792418bf","datavalue":{"value":{"entity-type":"item","numeric-id":2842096,"id":"Q2842096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9d034610cdc125772a5b1fea6ebcfb14fb20e94","datavalue":{"value":{"amount":"+0.8648314","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1878713$1EA45911-9108-47FC-A4D8-C71BAFD6D2F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"142eeebcba941ec7904227a6e0d4159dc110e9a0","datavalue":{"value":{"entity-type":"item","numeric-id":3385651,"id":"Q3385651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef5fc7d60e98310d5f8881459adea64cb9f8e0c2","datavalue":{"value":{"amount":"+0.8438594","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1878713$B42D088B-F9ED-4110-B55B-AE658CC6E757","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dca9b05ed1988ee87deb32aaf767643cec451a63","datavalue":{"value":{"entity-type":"item","numeric-id":4986263,"id":"Q4986263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e599a0071ddb4571997661cf00e278833d7be60","datavalue":{"value":{"amount":"+0.79942155","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1878713$9D1B2919-9236-41CE-BD74-FCDEB1F47A2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7eb30fdbef74cfdd40dbb05d194a68fad456055e","datavalue":{"value":{"entity-type":"item","numeric-id":1682296,"id":"Q1682296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64f79a917d531c4fd23d49a8b3a23545a2639aff","datavalue":{"value":{"amount":"+0.79462206","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1878713$E7F0223C-2761-46CD-86BB-1F3EB9F8BD5F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The meaning of negative premises in transition system specifications. II","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_meaning_of_negative_premises_in_transition_system_specifications._II"}}}}}