{"entities":{"Q792080":{"pageid":793928,"ns":120,"title":"Item:Q792080","lastrevid":64372869,"modified":"2026-04-11T19:25:17Z","type":"item","id":"Q792080","labels":{"en":{"language":"en","value":"Characterizing specification languages which admit initial semantics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3852397"}},"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":"Q792080$F5D4613E-5F1C-4285-99ED-D0EEF79A6953","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cf7e3a6f961d3a2de85201f8cd6ad1084ce46b73","datavalue":{"value":{"text":"Characterizing specification languages which admit initial semantics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q792080$D8A3B362-D35A-42EE-BADE-8555AC99F183","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"82305eb17286cf798f0e17d9f850b11c0239d58a","datavalue":{"value":"0536.68011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q792080$6BB1D449-2E1B-4DA0-B538-851E6A3EB9BF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"de004f7c70d8698314654a3b01b9fc73d4edd2a8","datavalue":{"value":"10.1016/0304-3975(84)90125-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q792080$8813CC39-745A-47E2-AEA1-32E3E1D18CEF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q792080$17D93E57-D753-4C67-82CB-906450616326","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q792080$34BCD0CB-85CD-435E-A474-8BA7B140719C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q792080$4DF96A71-3526-444F-B22E-E4B88F96B461","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q792080$3ECCB46A-DA43-4E75-9DD7-09CDF319E9C9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"47d5266222bbd5edf63e75bc985799a080bc77fc","datavalue":{"value":"3852397","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q792080$1282A0B9-2C5D-42DE-8CA5-C941419022A2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e1daee68cedeeadccdf496f924561e3065e4444","datavalue":{"value":"abstract data types","type":"string"},"datatype":"string"},"type":"statement","id":"Q792080$4361D863-3501-41A4-BE6F-B8D8A17CCD64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b0bc1cc50e8d4b517f651118878724606a4faacd","datavalue":{"value":"reducibility","type":"string"},"datatype":"string"},"type":"statement","id":"Q792080$1C591346-908A-4336-AF12-36421F331521","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5f080b22ac194cf7585a56b63883129b1a17549b","datavalue":{"value":"equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q792080$7C067A37-9595-4B71-91CD-538067A029B1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6b5f3b70fba88d3a973068faec54efc2792c3462","datavalue":{"value":{"entity-type":"item","numeric-id":1158951,"id":"Q1158951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q792080$62977296-A33C-4671-B366-05E946095EE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"32ead6a624fee23dc1dc37cfe2dcec3766470899","datavalue":{"value":{"entity-type":"item","numeric-id":452475,"id":"Q452475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q792080$6C7B9E3D-162C-4D26-B5D9-2DB71A6CB1EB","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":"Q792080$9CAC17BF-E5BC-4167-BFD5-2A0E11E09ADE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ab5a690222c40f89fe2947571829a927842a8f54","datavalue":{"value":"https://doi.org/10.1016/0304-3975(84)90125-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q792080$4F9DE7C5-D5D3-4BF9-8941-74CBB1E71710","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"08bf771e3b320957315becb9734c8e8e66257ee5","datavalue":{"value":"W2002486184","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q792080$96F9A49F-EE66-4184-BB64-83E0A75A30B6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1174921d2198a7a0d271408b7f7ffece05cb14ff","datavalue":{"value":{"entity-type":"item","numeric-id":3666908,"id":"Q3666908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q792080$70BDD232-FE7E-4E53-88ED-D7BCF1B89D35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6919ba84c94face972c4fcbaccdc5058745cefc","datavalue":{"value":{"entity-type":"item","numeric-id":3906394,"id":"Q3906394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q792080$54307900-EBE8-456B-BCDD-8D6505A799F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df78e87fac3bc29a9432355ad3ae1c01f7435c0f","datavalue":{"value":{"entity-type":"item","numeric-id":4111746,"id":"Q4111746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q792080$714E8092-4564-4D90-9F66-A36CAF563810","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce55656d21d5b61018d20fd360948cf534ed9f5e","datavalue":{"value":{"entity-type":"item","numeric-id":3853107,"id":"Q3853107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q792080$8D031AE1-A445-4C40-BA27-28DAE6CDACDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adce2a39656eea86a6cf0f992655d6cc8cd82a77","datavalue":{"value":{"entity-type":"item","numeric-id":4074877,"id":"Q4074877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q792080$B7EEFA3D-7C74-4C88-8779-2AF4526939CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc94c0f267a5b105d4bb294ed6fcdf2ef2281a90","datavalue":{"value":{"entity-type":"item","numeric-id":3667921,"id":"Q3667921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q792080$D08CB136-193C-40EE-81A6-99F51649224B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f512d3044d87913829cd345dbca09d60481c7fa","datavalue":{"value":{"entity-type":"item","numeric-id":5572358,"id":"Q5572358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q792080$428D746F-EF38-4862-AFC6-6B8B921F0DEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da55f2ff32b2ea90fdf9f29fcab245ef26632cb6","datavalue":{"value":{"entity-type":"item","numeric-id":3956380,"id":"Q3956380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q792080$67C45969-8CA1-4123-B263-F80CD5AF064F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d544365c02a91ca2b6961867fb58b0670dc18e3e","datavalue":{"value":{"entity-type":"item","numeric-id":3673087,"id":"Q3673087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q792080$81A027FD-B465-42FE-98A2-E93EB63DB8BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d019c0c1326ab2182eae34b441d1ef2a9c9f024e","datavalue":{"value":{"entity-type":"item","numeric-id":3216138,"id":"Q3216138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q792080$D6AC4016-E3C0-49AD-91F8-FB8A1276971D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9378587a1115a0250a2395ebd434016b1bcd6dd","datavalue":{"value":{"entity-type":"item","numeric-id":4124795,"id":"Q4124795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q792080$593329BA-18C5-468D-8475-45979E137313","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"348c3cca13d6350ca59547312259f123bcbd1b05","datavalue":{"value":{"entity-type":"item","numeric-id":2556880,"id":"Q2556880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q792080$957D4EA6-0F67-4585-8833-F0A0FD7E44CA","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"2c9dc457a102be285c9e6cf5328377164a301b49","datavalue":{"value":"Q127840246","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q792080$5A07EE5B-5D66-48E5-9A24-0B419B314A11","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16185d9dc59c298034be5a201f6d0b6f61bc7f79","datavalue":{"value":{"entity-type":"item","numeric-id":673181,"id":"Q673181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2f9fff3ae9d1b57e543d9be0edea94b43ec5408","datavalue":{"value":{"amount":"+0.7481057047843933","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":"Q792080$ED98313C-53CA-4D0D-BA4A-48E52ACEFD24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9fb8241685e70cdcbfbeca781c92f8de55bf8c6c","datavalue":{"value":{"entity-type":"item","numeric-id":1272765,"id":"Q1272765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2bdfa045e7868feed8e5646f32287f9272a112a8","datavalue":{"value":{"amount":"+0.7450687885284424","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":"Q792080$C88C1BCC-4A6E-4769-B46B-AEC9B5E5FF17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b10dd6efcad95784ec5416d36b9a1b91b05b756","datavalue":{"value":{"entity-type":"item","numeric-id":3707381,"id":"Q3707381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f8e348236ee7cb1c0047566788bb52c7e887624","datavalue":{"value":{"amount":"+0.7343292236328125","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":"Q792080$F04F8FFE-8119-4BB3-A3FF-AADC423D2EAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98dc4fb4f8470bf3139adb0da9242cfdc057ad56","datavalue":{"value":{"entity-type":"item","numeric-id":1098613,"id":"Q1098613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1702b494dce6ff941ba5a5206a5b60f0bf589873","datavalue":{"value":{"amount":"+0.729319155216217","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":"Q792080$4D6C00EB-D319-41EF-B564-C52F57997A7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf478011c9e08dd09f491ddb07a93553038cfffa","datavalue":{"value":{"entity-type":"item","numeric-id":1908358,"id":"Q1908358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0af1ad3173d3f2a059127d8546ce6ee05664547e","datavalue":{"value":{"amount":"+0.7247694730758667","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":"Q792080$CD4F1B42-ED14-4C3F-A169-B6D411ED32CF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Characterizing specification languages which admit initial semantics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Characterizing_specification_languages_which_admit_initial_semantics"}}}}}