{"entities":{"Q2871828":{"pageid":2882548,"ns":120,"title":"Item:Q2871828","lastrevid":51900503,"modified":"2026-01-20T12:19:20Z","type":"item","id":"Q2871828","labels":{"en":{"language":"en","value":"Bi-inductive structural semantics (extended abstract)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6244357"}},"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":"Q2871828$C44DF418-2230-4AE3-8601-41BB7A37FB21","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fb354316e4ec9ee8f6d70ffda892282a08dbb01a","datavalue":{"value":"1278.68141","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2871828$57DEDD37-C2B9-47CD-9654-58A72777701F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"66475c89deaa1b82e2a733011ec9769bb2327168","datavalue":{"value":{"entity-type":"item","numeric-id":655408,"id":"Q655408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871828$FF61FE55-9137-4EBD-BA26-C4C3A71C3F11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"aabe6d988e05fe3a7b00666b4b0ee76e06b180c4","datavalue":{"value":{"entity-type":"item","numeric-id":655409,"id":"Q655409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871828$25390332-4219-4761-8C80-0B299B63CB73","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":"Q2871828$4DF72200-9551-4C56-A029-1543A4D5544B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2c704b287c68a3d4d8361a025642d6eba13574eb","datavalue":{"value":{"time":"+2014-01-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2871828$991032D0-A4D6-495C-9096-1232CD3B7D47","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2871828$CC807D9F-6045-494D-AE34-57093B0FD628","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2871828$4E6DA1D9-37F8-4BA2-9AF4-FB10B65BCA03","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"43c748c772969dd2256fe3e52a7001dac1fece7e","datavalue":{"value":"6244357","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2871828$E5D403A2-07E4-4A3B-AFEB-9860433EBB61","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e053c5386229c8eb59215f60c0edcc8e38d6db7e","datavalue":{"value":"fixpoint definition","type":"string"},"datatype":"string"},"type":"statement","id":"Q2871828$3C3E1476-EFCC-4EFC-B5D9-EBECD52A1C57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ba29bc695092e1012b615eb49ec43774f5b5c42a","datavalue":{"value":"inductive definition","type":"string"},"datatype":"string"},"type":"statement","id":"Q2871828$630931B2-76EB-408F-B790-154515C17888","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"920cb1b4ac9b01d41fdbadd7d1457883a55fb3c3","datavalue":{"value":"co-inductive definition","type":"string"},"datatype":"string"},"type":"statement","id":"Q2871828$288E836C-13C0-43CA-BE77-A588B239DBD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"916c09020756b7dba09402949f2f626e582a64aa","datavalue":{"value":"bi-inductive definition","type":"string"},"datatype":"string"},"type":"statement","id":"Q2871828$D9D2A085-3719-4B22-BA22-5F2958A8DD0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eff752cf670ff5db0f5f83bc555b8adabdac80cb","datavalue":{"value":"structural operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2871828$5D3F452C-DE47-445D-AC0C-1BAB1010AE84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4324238f0be75d07e5d4832d32c1b460c1e1c0f8","datavalue":{"value":"SOS","type":"string"},"datatype":"string"},"type":"statement","id":"Q2871828$3A6835F2-AB4A-451E-8792-F7BC07E09747","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e9f76983631ce055ac17bdfc33897c5e163bdfa","datavalue":{"value":"trace semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2871828$C43CB967-5A4B-44A7-BDE1-7FA63FE69854","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"31d2faeb57b57f360251067fd610e199173399d9","datavalue":{"value":"relational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2871828$C4C61019-3B1A-46D5-BBF0-1D88479723A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6e0844ef240e4441240d555db59921800e44368","datavalue":{"value":"small-step semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2871828$1F9D7F36-D955-456F-8DBE-716DE50F1333","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7faeb5d0135023e1eb500475334c837141ddc600","datavalue":{"value":"big-step semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2871828$0823C1ED-AF8F-4D4D-AA64-4CBBF94F9F58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3bc077132c920f8bb434eca022753e0cdcb1eaf8","datavalue":{"value":"divergence semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2871828$E4776AC2-173D-45F0-955E-7718E89EA2A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e404e0d47002bfb1532cb42cfe324606a2151619","datavalue":{"value":"abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2871828$A3E32084-14E2-4F3A-8335-7351EBE2EEA0","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":"Q2871828$841BBEB8-8EA9-4142-8D8F-1B5843BFE5BE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"85c9f70f63d4c726a5ac3bcf185e680d0c88376c","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2007.08.015","type":"string"},"datatype":"url"},"type":"statement","id":"Q2871828$C62B35B4-5732-411D-9154-7841B4391DFA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5bbc7179683897f2dcecd5872dded4b16a2895bc","datavalue":{"value":"W1974512609","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2871828$C06740B9-EB21-4B55-88C5-5797990CF143","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"42d5b4a8113b914146778f9cdfb24fb2524be9eb","datavalue":{"value":{"entity-type":"item","numeric-id":1605224,"id":"Q1605224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871828$191213E5-2418-4EFC-94D2-867D72B1F6E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1dcaba85eaf9b02283987ee8f5ec2f8f6402ce65","datavalue":{"value":{"entity-type":"item","numeric-id":689297,"id":"Q689297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871828$63DB6BD6-DAF7-4AFA-996B-72FF20EF3A8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3109868eabc348164df54dfbc4d510999bf50764","datavalue":{"value":{"entity-type":"item","numeric-id":5285987,"id":"Q5285987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871828$63B0FE1A-D895-4629-9240-EAECE29E4292","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"323dbd6fd6973b3663055cf97da83be885dd9ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5569944,"id":"Q5569944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871828$7C0EA475-AF02-4708-8FB7-3508843FF5F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e17794c4bc319199b07780fe8daa9724755f28e9","datavalue":{"value":{"entity-type":"item","numeric-id":4355684,"id":"Q4355684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871828$02FC5201-E771-4C2A-ACD2-D6B622310229","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"573c6c41ed26aa070e75225c6352a26e064dd624","datavalue":{"value":{"entity-type":"item","numeric-id":3774923,"id":"Q3774923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871828$3B928C12-90AB-4D31-9EE0-470FEFAE4658","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b45878fd4eb67e5421fec78b7ae9befc0923926c","datavalue":{"value":{"entity-type":"item","numeric-id":1878714,"id":"Q1878714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871828$FFF95599-2167-45F1-AEDA-AB02CB94FDA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1351befa2028ba977e467354519543f1a286b27d","datavalue":{"value":{"entity-type":"item","numeric-id":2866314,"id":"Q2866314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871828$B4374992-206C-4938-A208-84BCF2A7FC2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28c2ae8be4b89d81897f7354ac0f78793fccdfef","datavalue":{"value":{"entity-type":"item","numeric-id":5899008,"id":"Q5899008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871828$9E794EE0-748F-4E3D-A098-FE3868D15B29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e615632ea08fe7f0a323e35cb632d59ded1f542","datavalue":{"value":{"entity-type":"item","numeric-id":4385545,"id":"Q4385545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871828$41AE41AE-DABD-411C-BFA5-9B1D17C64F1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ce34cbbccb9cd5eb24a450616dc2e119bb503a1","datavalue":{"value":{"entity-type":"item","numeric-id":4385537,"id":"Q4385537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871828$F8247B36-C20C-43E7-91A1-B6A111C523FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"488617a7b77a34e7047203bf2a3aae32481a3b77","datavalue":{"value":{"entity-type":"item","numeric-id":3875320,"id":"Q3875320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871828$274D5860-0D69-4233-9DFD-1C2E6C7926AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61f346e63dee789653d6bad4df7ae6e151140655","datavalue":{"value":{"entity-type":"item","numeric-id":1878710,"id":"Q1878710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871828$08488147-0C45-4783-A20D-99F0C24845A1","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":"Q2871828$C2D3A429-645A-475A-97EB-476E504569E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e98a7868470ff575c450bc5bf1ed5f0ae6ca7d9f","datavalue":{"value":{"entity-type":"item","numeric-id":5941193,"id":"Q5941193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871828$CE290EA3-6CD6-4DB4-BEE2-C481B2C04F51","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"20c9cb2a8a659a8c8aed7fb2208916643947282e","datavalue":{"value":"10.1016/J.ENTCS.2007.08.015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2871828$0132C9F5-76EA-4D63-9613-CFDC792BBBBE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dc4d5f096b788c8bf78ad2788c45b78c24300705","datavalue":{"value":{"text":"Bi-inductive structural semantics (extended abstract)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2871828$C838256B-0905-42C0-9C85-081D68BAB15E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4049e7cc6a821dac13d7ec0fd4eb1d29e360b5f9","datavalue":{"value":{"entity-type":"item","numeric-id":1012127,"id":"Q1012127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc6af01f4c3b28d6f348b3fef86a4bb0661ffaed","datavalue":{"value":{"amount":"+0.9859277606010436","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":"Q2871828$9A4BC72A-8D70-455A-AC8F-A172878D8E8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63151ed46874ccece56eaacc3e40d1bbdc8a366d","datavalue":{"value":{"entity-type":"item","numeric-id":5899008,"id":"Q5899008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9921d65b7dea4f7ee9f38b3069fdfb4713736a8b","datavalue":{"value":{"amount":"+0.7631208300590515","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":"Q2871828$03A2313F-EA0B-4941-9AE8-F1C4FDA572C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c069075daa3b74cd7029c25a281cee99aaaa0251","datavalue":{"value":{"entity-type":"item","numeric-id":1012129,"id":"Q1012129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61b3f852efac95f29c68146846e2c072fc558497","datavalue":{"value":{"amount":"+0.749890923500061","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":"Q2871828$8A84F74C-957F-48A6-8E9E-3BD9563BD026","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f11d2cc288a3be67e5555c897fd4877436ce85a","datavalue":{"value":{"entity-type":"item","numeric-id":3183540,"id":"Q3183540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32590892d7a280aedddd59f67defd0d74655d503","datavalue":{"value":{"amount":"+0.7342085242271423","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":"Q2871828$0E516A73-A9DE-4DE0-AF45-23E36E8E3B7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f51d1f32e7941ce3a983b025e8fc6ea29cc9d5b3","datavalue":{"value":{"entity-type":"item","numeric-id":4963901,"id":"Q4963901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9489452ed621e6a3d932b70e2ad45198b742ef5","datavalue":{"value":{"amount":"+0.72724848985672","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":"Q2871828$5696AECD-ABC3-4B9D-A243-206ED256AD30","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2871828","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2871828"}}}}}