{"entities":{"Q3178250":{"pageid":3188959,"ns":120,"title":"Item:Q3178250","lastrevid":52573400,"modified":"2026-01-23T00:23:30Z","type":"item","id":"Q3178250","labels":{"en":{"language":"en","value":"On rule formats for zero and unit elements"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6602808"}},"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":"Q3178250$6DFDDF1C-2592-43DC-ADF0-25EBA5A55F9A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0efd36e1cc06d9ea2694df4e9f502b97f10921ec","datavalue":{"value":{"text":"On Rule Formats for Zero and Unit Elements","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3178250$2760020C-F3ED-4997-8F5C-5235A73AF4B6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"89ece8547df20193f4938de5314efba7837b52d2","datavalue":{"value":"1342.68189","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3178250$1367EA6B-B8C6-4752-845C-BC91DC587D60","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3178250$E22319EA-03EB-43DA-B730-E5E5C266CC11","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6d94d7fb93a112f04dcda84d3b27e1ba4f782c3b","datavalue":{"value":{"time":"+2016-07-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":"Q3178250$1103DFDB-0B72-4870-B82E-1CFB48E8C475","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3178250$3ED6BB9A-A9C5-4628-AC76-C65CB57E5657","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3178250$B1E06361-4940-4FBA-9692-5C81C4561135","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ada3b4fa8edf274984161d2c1503643d5d6ecdf4","datavalue":{"value":"6602808","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3178250$18D2E08F-B4D8-4481-9C6E-CF1C7BA60A6A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25b2ac82eaf9b989ba67f87812e2035aef9ddfaf","datavalue":{"value":"structural operational semantics (SOS)","type":"string"},"datatype":"string"},"type":"statement","id":"Q3178250$65D412B2-5760-4114-9312-31EAAEEF975E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4863919050ad9ca40df9e59fc9b78bceee167c85","datavalue":{"value":"GSOS format","type":"string"},"datatype":"string"},"type":"statement","id":"Q3178250$78D4B95F-9EC4-4315-92AB-DB63CB59B437","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d3c924f356cbb5347bdf86b2d80a09e159df93e7","datavalue":{"value":"bisimulation equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q3178250$82A583AE-33F4-46BB-AB01-2B495DD4FDB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ee7ffbc7b0043cfe14ef419fdf79aa9645b3f49","datavalue":{"value":"zero element","type":"string"},"datatype":"string"},"type":"statement","id":"Q3178250$2F79BE7C-1A81-47A3-89E3-6D03A37602A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"70a1ea96ec0cbcee2273e19474ba650c35206e3f","datavalue":{"value":"unit element","type":"string"},"datatype":"string"},"type":"statement","id":"Q3178250$A0363DF3-4A45-43E6-84B2-0180D9BB458F","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"79a573967bc9d537cae0a0ec4b96198167ab1894","datavalue":{"value":"Q57745631","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3178250$D5516AEB-36F2-44EB-9C4E-23437D8F0A0A","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":"Q3178250$44453464-1DDE-4A18-B0A4-88EA6C593699","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8f51a4b551d70e7685c3453330c5fe02a68be748","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2010.08.009","type":"string"},"datatype":"url"},"type":"statement","id":"Q3178250$A3A70BDD-595D-4887-9B28-7BC821759407","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e042f91a2abef8d8f52e39157fde2c060c7f4010","datavalue":{"value":"W2126737785","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3178250$A8BF2519-7AC8-4072-9DFD-C21E236B4166","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4762668855aeb786ee816a1add847585f15ed5c0","datavalue":{"value":{"entity-type":"item","numeric-id":3400918,"id":"Q3400918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3178250$4C638E2E-0B64-431F-BE30-543385DC33EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6b4c191603f86f2d033542ff23f094356a9e1b2","datavalue":{"value":{"entity-type":"item","numeric-id":5150127,"id":"Q5150127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3178250$C35944D2-C5E1-4514-8852-DB9916C931A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b139fd6a0b804098ce957e48865721df41ca737f","datavalue":{"value":{"entity-type":"item","numeric-id":3178250,"id":"Q3178250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3178250$FA3DEF8D-16B2-4DD9-8537-68BD38CB02DD","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":"Q3178250$A4237650-E424-4B3C-B779-6D39704E21BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e32ac49a2720a0d77ecc7e1c15f95bb8cb18336e","datavalue":{"value":{"entity-type":"item","numeric-id":3401088,"id":"Q3401088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3178250$DC0BD797-DCA1-4B1B-806B-56D74C54532C","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":"Q3178250$146F1648-0D7E-4520-926D-C421A12779DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd9d64b884e9d9cc0f3addb629ebe46d62b6bdc5","datavalue":{"value":{"entity-type":"item","numeric-id":1847280,"id":"Q1847280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3178250$88296051-B9DA-40EB-A2DC-672C61980E84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9f0ed55ca82a6b76d718088bf211773ccfae2cd","datavalue":{"value":{"entity-type":"item","numeric-id":864506,"id":"Q864506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3178250$AEDD2A2C-0813-4D71-AE10-3224FB8B3B82","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":"Q3178250$C1A99D40-78B6-4479-A824-FE083068D55F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a29df81be396667e1ac225019fdaa141771e4b0c","datavalue":{"value":{"entity-type":"item","numeric-id":3541037,"id":"Q3541037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3178250$1B1A6930-F5E5-427D-ACCC-8F3B70259215","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf8ebc11e5152a7aaca233f3b6037de5f36fc738","datavalue":{"value":{"entity-type":"item","numeric-id":3766826,"id":"Q3766826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3178250$4625E5D8-5B92-427B-BDDA-3A1A701A89F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"004642c985382b5c70e78b542aebcb6240614609","datavalue":{"value":{"entity-type":"item","numeric-id":4162644,"id":"Q4162644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3178250$087B1BD0-857A-4BEA-A23E-7F9308D2DDA1","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":"Q3178250$B9B1BE07-F7A0-4336-A03F-8220144611D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf192563f527ade8c2368e8f0414369630b0312a","datavalue":{"value":{"entity-type":"item","numeric-id":835035,"id":"Q835035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3178250$6AE37572-FB57-4E73-9648-23A7B905BD9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e608391d5fff20267259ee8e0ce0bb8fd94bb4f5","datavalue":{"value":{"entity-type":"item","numeric-id":877025,"id":"Q877025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3178250$320659E8-F7B1-4CA7-B5B6-8E119C3629F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8090368e0e1c2bca919f00e317d355cf1aa8d484","datavalue":{"value":{"entity-type":"item","numeric-id":3907077,"id":"Q3907077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3178250$E18B6B16-EB72-44B9-A0E1-B03111E3F297","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66d102eeedc0eb3199ce5808a637283d2af0ab5d","datavalue":{"value":{"entity-type":"item","numeric-id":1878719,"id":"Q1878719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3178250$415B2190-8EFC-4071-A743-91D2BEB38BA3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7d87d3dd5976795198c12fce0422ffc5b5be5c52","datavalue":{"value":"10.1016/J.ENTCS.2010.08.009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3178250$83BFD0FF-AE99-4488-AED9-D4215995487B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a32119ced4d1eec76e57200053499b2fad00177","datavalue":{"value":{"entity-type":"item","numeric-id":549170,"id":"Q549170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2240e84ea9e348356827f7adcc968f396d133806","datavalue":{"value":{"amount":"+0.9649635553359984","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":"Q3178250$D4D50354-19D4-4E56-A080-CE67A37F0D01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42ece358a5a9473a876a73ea822872cc2cef640d","datavalue":{"value":{"entity-type":"item","numeric-id":3401088,"id":"Q3401088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3712d2987ac625375383d3732353c5af0e99a664","datavalue":{"value":{"amount":"+0.8603813052177429","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":"Q3178250$A2F3582F-10F1-43E9-9335-06F034D05EF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bfd43ac385ee2dfef0490c42029011b84d948587","datavalue":{"value":{"entity-type":"item","numeric-id":3004568,"id":"Q3004568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ef3d434ace2d0bc53f29865f9b829134c067e00","datavalue":{"value":{"amount":"+0.7715077996253967","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":"Q3178250$4B5D96A5-EA78-4AD1-A3E0-0F18AC105106","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff90a1ff66d93167f46a5e06efa773835201a662","datavalue":{"value":{"entity-type":"item","numeric-id":1758150,"id":"Q1758150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4e527363c8ca9a5d0dedd7494154a3fa111b5cb","datavalue":{"value":{"amount":"+0.7694690823554993","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":"Q3178250$BB19884E-17A4-4EDE-96F1-B6D1C212784A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5cc26424a009eec0e4399b81f1b80ab95e31b186","datavalue":{"value":{"entity-type":"item","numeric-id":2927637,"id":"Q2927637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95ad402fbe75df8f41aa9178064520e16d79a080","datavalue":{"value":{"amount":"+0.7151287794113159","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":"Q3178250$2B0406BA-C7D4-42CF-B2EA-6C3BC56BADBB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3178250","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3178250"}}}}}