{"entities":{"Q1426872":{"pageid":1437612,"ns":120,"title":"Item:Q1426872","lastrevid":67419834,"modified":"2026-04-12T17:31:01Z","type":"item","id":"Q1426872","labels":{"en":{"language":"en","value":"Formal foundations of operational semantics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2057343"}},"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":"Q1426872$248CA3FB-281F-4E19-8F55-B272003E287B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"52cd3dd5ccf22547b91391cc8738676647e0c01b","datavalue":{"value":{"text":"Formal foundations of operational semantics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1426872$5154DF5C-84D3-47F9-BA55-117A0756D295","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"15959b9934f98ad62e3e1a41948dbfde5a87b48a","datavalue":{"value":"1074.68033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1426872$F24D46A0-5E67-4FEB-B692-C25FCA51E649","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"296b74fd659d305e98439ca9ee04c4cfb44546e7","datavalue":{"value":"10.1023/A:1025689206562","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1426872$64DB8047-D806-4DE2-9391-167124ABE5E8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ac8c6eabefca3d35d5f1648d88c6967d233b4dd2","datavalue":{"value":{"entity-type":"item","numeric-id":1426871,"id":"Q1426871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1426872$A10FAC3D-8AD7-4ABA-A17B-609D2890ABE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e92b917b4b1f15c6d190a36e7f0ba33b1c478458","datavalue":{"value":{"entity-type":"item","numeric-id":688569,"id":"Q688569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1426872$80C848FA-73CF-495B-BE47-F83945725951","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"64a3a07e604cd8e480c16efc452d3568f025ae86","datavalue":{"value":{"entity-type":"item","numeric-id":162338,"id":"Q162338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1426872$F4B36289-ED23-4F77-8D34-FB5D9FBE7395","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"47829e28918d048336111de08a0f0c93aec92d0a","datavalue":{"value":{"time":"+2004-03-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1426872$4F668B07-A56E-4596-825B-E18EB1B707E7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1426872$D0A82EF2-D13E-48C2-B37E-5033ED8B2236","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1426872$1E5384CB-150C-4A90-B004-1151D9296C63","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5d31bf40142a021d272edab6f188cd6b0c60543a","datavalue":{"value":"2057343","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1426872$808AB4B4-FF54-4142-BD06-13880FE3836F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96125518bbd73c679654439d2a0c9178b4d2695c","datavalue":{"value":"\\(\\lambda\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1426872$F063B637-475B-428D-A276-3C1F3ED929FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0ae35e3f0c0581443c3dbdf431aaa5a7a9a83634","datavalue":{"value":"contexts","type":"string"},"datatype":"string"},"type":"statement","id":"Q1426872$C042F82B-E902-4638-832C-BC7E89D582AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d15a5b88457b15e43f49d0900c124a1c1adc72df","datavalue":{"value":"operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1426872$35844B64-3FFC-42A3-B526-2AB8DD45CF27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q1426872$9E278F37-46FB-4A34-BB10-63CC67F223F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b3d3d0d2409011411be91984a4137a1c90ca04ff","datavalue":{"value":"PVS","type":"string"},"datatype":"string"},"type":"statement","id":"Q1426872$DAF7ED4D-C44D-4C09-A049-BF4350A1A45D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c46d84e301480ba8a5854ea89c3d27b865a03eb9","datavalue":{"value":{"entity-type":"item","numeric-id":16016,"id":"Q16016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1426872$CE653DFC-936D-4C2F-9BF9-E2DF87B8B364","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":"Q1426872$64A34402-C635-4406-8A3D-886717E4E3CB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fbfe9e4ff220a6041d18623cc79543cdd02470d1","datavalue":{"value":"https://doi.org/10.1023/a:1025689206562","type":"string"},"datatype":"url"},"type":"statement","id":"Q1426872$D56D3238-8E68-4E87-97B2-A93F4A4A9ADB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"13ae66d4a443ca59f4bda39e403571e98298a783","datavalue":{"value":"W110471181","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1426872$D2E5DBF0-51E7-45BA-A59C-66982038EB48","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bfcc7220636820bbf5e281645c4f3848d2aa24fb","datavalue":{"value":{"entity-type":"item","numeric-id":4945216,"id":"Q4945216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4efdc8818afe65af5ffbe961c64331e565eebe26","datavalue":{"value":{"amount":"+0.9376151","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":"Q1426872$704F7A03-494A-4E9C-A417-5E5937B40E35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9cdafea6af4deab4f191af74f60f2b00bfa1c2bd","datavalue":{"value":{"entity-type":"item","numeric-id":4982629,"id":"Q4982629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c094747e89087acc5f32754458797f43bc85e62","datavalue":{"value":{"amount":"+0.93724155","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":"Q1426872$C8BA86DF-7DCC-44F5-B889-4473ACEE2EF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd8ef178d2e5ff5721088d140512ce06e0451a75","datavalue":{"value":{"entity-type":"item","numeric-id":1878719,"id":"Q1878719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0b2375f63aa1833e01737da78d7dde6433f43a3","datavalue":{"value":{"amount":"+0.9253428","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":"Q1426872$F92417D2-20D2-4C96-9EB8-43E1CE65BB42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2a511fba0a73accd9494027616f5df13a6f2249","datavalue":{"value":{"entity-type":"item","numeric-id":5262970,"id":"Q5262970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ddcf271ea34d4a9b2c98742429a0f1ef3ed24847","datavalue":{"value":{"amount":"+0.92134583","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":"Q1426872$9FE6B68C-A75A-4FF8-87CF-B8F1BCD0CB14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2b6fe2ea66041cf5df76aa375fa5f440359ba46","datavalue":{"value":{"entity-type":"item","numeric-id":4012880,"id":"Q4012880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd70861ae612ac988b263b16fb0ee2eefef2b4fc","datavalue":{"value":{"amount":"+0.91548115","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":"Q1426872$36404C3D-229B-42BF-A8EC-69C0E5F14460","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9bdf349ed7d4a7746387b0bd782820ad90dc2100","datavalue":{"value":{"entity-type":"item","numeric-id":2043812,"id":"Q2043812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a9743b21b48e5aaa8263a2f6960bf4ee20792e5","datavalue":{"value":{"amount":"+0.9148443","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":"Q1426872$899006C0-9411-4BB0-AC18-96078D0F8A75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"128b3f8db1bf46c9964dacc99396474dea05345e","datavalue":{"value":{"entity-type":"item","numeric-id":2843732,"id":"Q2843732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6cfbe56b53834f6413bc2d2b8573fba4d59815ba","datavalue":{"value":{"amount":"+0.9129987","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":"Q1426872$26AE8A36-3B5F-4C26-9AEB-69A3776CD5C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de6fbeabea128eb12d393b647fd6b5d36df653e4","datavalue":{"value":{"entity-type":"item","numeric-id":3613396,"id":"Q3613396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"612801dd69746883d66d8c942f70df3347d7f6b3","datavalue":{"value":{"amount":"+0.91034746","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":"Q1426872$C4225248-FAB7-456E-A527-596C3A285770","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d5c915451936990a23a750cd6ff3d101356a126","datavalue":{"value":{"entity-type":"item","numeric-id":2810690,"id":"Q2810690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e4464a5ceb807bbf5aac507276cea547337d3f6","datavalue":{"value":{"amount":"+0.90365183","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":"Q1426872$FCD59850-649B-4D7A-901D-61EB22FDF5D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7ce829f233080f5de765d723a36c54953e5bc56","datavalue":{"value":{"entity-type":"item","numeric-id":2704330,"id":"Q2704330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71e2611e3f3c69876f0834043e45ae00398b6309","datavalue":{"value":{"amount":"+0.90262055","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":"Q1426872$09AA5F27-13C7-43BD-A617-7E02B8C8D0EF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Formal foundations of operational semantics","badges":[]}}}}}