{"entities":{"Q1878716":{"pageid":1889458,"ns":120,"title":"Item:Q1878716","lastrevid":69065208,"modified":"2026-04-13T04:19:27Z","type":"item","id":"Q1878716","labels":{"en":{"language":"en","value":"Axiomatizing GSOS with termination"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2099290"}},"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":"Q1878716$933213E1-D7EF-4839-A2EC-3C2AA6F6ED49","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ae885052afa8e3ed5253dca4d22e4510a9fb3895","datavalue":{"value":{"text":"Axiomatizing GSOS with termination","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1878716$C9981F0E-2664-4955-A85F-89CE45FD3F02","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"99ff09f04eea4fab4794b5b89d6726712010de8a","datavalue":{"value":"1072.68058","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1878716$643FF3A0-655A-48AA-A67E-9B7B8921FBAA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"24a50c23c3978492e58521f1c41f776352eabb0d","datavalue":{"value":{"entity-type":"item","numeric-id":541684,"id":"Q541684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1878716$CF3C1A93-17A4-404F-AC00-08BA67B7D8F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d20fc068db4ead04187daa6b8252b30a410683b6","datavalue":{"value":{"entity-type":"item","numeric-id":393088,"id":"Q393088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1878716$C1FA6F78-2BCC-4EB7-BF71-CF790A435763","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":"Q1878716$A88EBE54-ED17-4B0A-BB62-987062C9467E","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":"Q1878716$1AE5048C-1678-4C33-998C-BC622DF7875E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1878716$F91AB345-D2F2-4CA4-9B0F-95E4D0976A12","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4613cbdeb5a0460f138d1e08bb4557ad4766b8f4","datavalue":{"value":"2099290","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1878716$397D5460-DB97-4E2D-86F7-C534BF034019","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eff752cf670ff5db0f5f83bc555b8adabdac80cb","datavalue":{"value":"structural operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1878716$10A1F89E-555B-468A-8015-32C65AC2EE8E","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":"Q1878716$DF2B599C-17BD-4AB0-9153-4E65BC8A9EA1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f175ab44b8280ddd7b568b17cfe42eadb8b13425","datavalue":{"value":"https://doi.org/10.1016/j.jlap.2004.03.001","type":"string"},"datatype":"url"},"type":"statement","id":"Q1878716$7516AAEE-7F0F-4E10-BC26-76BC17C6F1A5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d9601c61d3bb5f9225203f57ec65ac202f8369d4","datavalue":{"value":"W2027519864","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1878716$B27F710D-89B5-4D33-8C3F-CF555047A7ED","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fe703542a77b0dc5e0b564742fb1d6fe55ad9d4","datavalue":{"value":{"entity-type":"item","numeric-id":1327393,"id":"Q1327393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1878716$1818CD67-0564-410E-9B4D-1D027090B486","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4a96493c7b77b8338a8aa19e96cffaf76fbe4c7","datavalue":{"value":{"entity-type":"item","numeric-id":2760240,"id":"Q2760240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1878716$9E094410-9E47-4135-A0EE-2A41A051038D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b051b8ebcaea223cbf9c88b09ce39b707e765529","datavalue":{"value":{"entity-type":"item","numeric-id":4302821,"id":"Q4302821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1878716$364B1AC9-9208-4FAA-BD75-C961BF4ACC97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0cb3346e0185c1da292aeff371bc111936059633","datavalue":{"value":{"entity-type":"item","numeric-id":2506486,"id":"Q2506486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1878716$F97D1B75-135E-445C-A39D-E959219F343D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7441cb24e46cc1ba89b9823401220dd782aef12b","datavalue":{"value":{"entity-type":"item","numeric-id":4461215,"id":"Q4461215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1878716$81886C31-9E10-4F88-8E42-07F97A232FC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aebf22b5e0b208fa4dfcfcf742bcaa1a2f4f64d3","datavalue":{"value":{"entity-type":"item","numeric-id":3404131,"id":"Q3404131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1878716$CBDA8EF4-B349-4D85-A7D3-E0CE7207B6EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"924f9d45e7c4bf8a47eecb690915286b469226fe","datavalue":{"value":{"entity-type":"item","numeric-id":1106660,"id":"Q1106660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1878716$50169B7D-5453-4118-A6A7-6A236600484C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5fcd254ec8f657762d462bbc49ef06ba594d598f","datavalue":{"value":{"entity-type":"item","numeric-id":4727412,"id":"Q4727412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1878716$6070F10B-0414-4109-8E58-3EF4D81E49A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"505ed0ccd70e9dac58c0d9145b209425580f86f4","datavalue":{"value":{"entity-type":"item","numeric-id":4857386,"id":"Q4857386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1878716$B29869BC-3ECA-491A-9BF1-7958029F14BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5be20bcaacec13dbd2e6917fdb7ce145bf2056f","datavalue":{"value":{"entity-type":"item","numeric-id":4736873,"id":"Q4736873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1878716$C63436BA-6213-44DF-8E68-DD0C8323CC36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d38f7db503657d991df255a6f2cfd8e438a30f5","datavalue":{"value":{"entity-type":"item","numeric-id":3999164,"id":"Q3999164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1878716$08D1198F-C205-43B4-842A-19B2657AE0CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0759fc85373bb23ed9bfa8dbe3c6f4db309f2fa","datavalue":{"value":{"entity-type":"item","numeric-id":4373409,"id":"Q4373409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1878716$AB6EA07F-32CB-4E80-AB2D-762BE59FA027","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0223e77bbb63d3c4a170868420904ca6d59df30","datavalue":{"value":{"entity-type":"item","numeric-id":3731022,"id":"Q3731022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1878716$C997A154-632A-4BE8-8E7C-B7A6C39265C5","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":"Q1878716$1109482B-A6C8-4146-868D-6066781336C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d58a703e8936343bea87d96256553262d3d4460","datavalue":{"value":{"entity-type":"item","numeric-id":4415996,"id":"Q4415996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1878716$D7CF9FB5-03CA-48DC-8375-CB376CA03A29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf2e3e648818be39b3c59a90032e219f77df63bc","datavalue":{"value":{"entity-type":"item","numeric-id":3765233,"id":"Q3765233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1878716$594ABBD5-9436-4FFD-BDCF-2EECCA07D38A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a513c45897b31ffec63e5469a25464b2be8ac4b7","datavalue":{"value":{"entity-type":"item","numeric-id":4941495,"id":"Q4941495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1878716$E2583CB5-C346-43DB-AB0A-7AEAB1CBF443","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7029317a5f94cc73979296e01633b9e1b95a332","datavalue":{"value":{"entity-type":"item","numeric-id":3753475,"id":"Q3753475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1878716$100D5D5D-5CB4-4EBB-974C-6CE937AB5DF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60da585cac100a31c125360c9cbd2d207cbfe7df","datavalue":{"value":{"entity-type":"item","numeric-id":1148667,"id":"Q1148667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1878716$4F6E5924-BD0F-42F3-AB13-50F10480C8DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1878716$4D009454-E1BA-4CF5-A49B-F4A069B157CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59fedeaa1673af7bf11539505ca38c04f5218c0f","datavalue":{"value":{"entity-type":"item","numeric-id":1583483,"id":"Q1583483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1878716$0AFDBD34-A7BA-4003-853B-4EEF65F79D76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d2b6ef7829b1f1653c38a19e4d033bd8c87449f","datavalue":{"value":{"entity-type":"item","numeric-id":1575273,"id":"Q1575273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1878716$30DB38DE-C133-4361-B98C-7219F35BB5DD","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":"Q1878716$D1D2DE58-6290-4EC4-9CF2-A65D0062E2BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13020f5b89b5e428e4485847f99d0bec0bc65558","datavalue":{"value":{"entity-type":"item","numeric-id":1391788,"id":"Q1391788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1878716$48BAD8D3-57FC-4F33-892D-922B1FC1CFC5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7861a7b1e8db1db442d7ca069422eeba501c6364","datavalue":{"value":"10.1016/J.JLAP.2004.03.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1878716$26025226-5254-47B0-BD7A-4430D4546D57","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3df7469fd4b6c75916ba7f5d92ca1cc77277afb2","datavalue":{"value":{"entity-type":"item","numeric-id":4736873,"id":"Q4736873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c06038b4106e522ce1fcc4f3620a9656deec9fed","datavalue":{"value":{"amount":"+0.9943783283233644","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":"Q1878716$5272AC40-3D9F-4B67-B0E4-CAE050E991B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"93b62d37896109220969a3ef180734609968c215","datavalue":{"value":{"entity-type":"item","numeric-id":4965820,"id":"Q4965820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0958ed8842d85b6d0eba861d1cb29b8339af0dc5","datavalue":{"value":{"amount":"+0.8254126310348511","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":"Q1878716$D62544CA-83A5-4F98-A80C-0BBBD8B463CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77f8ea1dfd053415b7370f78dba2f7da59f4082c","datavalue":{"value":{"entity-type":"item","numeric-id":4490741,"id":"Q4490741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9e8e612e9751d6572b5af017904c4bf553cb531","datavalue":{"value":{"amount":"+0.7695857882499695","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":"Q1878716$4357F80F-28EE-4087-AD67-7CF28BFF0A12","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":"d9e8e612e9751d6572b5af017904c4bf553cb531","datavalue":{"value":{"amount":"+0.7695857882499695","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":"Q1878716$7059AC27-E7ED-4A85-954F-2D1E84EDD9B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49629b2f9ad7b70d661e2ce8700245e2b2d6b7f3","datavalue":{"value":{"entity-type":"item","numeric-id":1327393,"id":"Q1327393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e20ae2a1c506508a82fe5fe1ae3cf83bb475f85","datavalue":{"value":{"amount":"+0.7514859437942505","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":"Q1878716$2F05EBBB-AC0B-45E2-89A3-5BA3BFF4EC04","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Axiomatizing GSOS with termination","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Axiomatizing_GSOS_with_termination"}}}}}