{"entities":{"Q5431302":{"pageid":7460876,"ns":120,"title":"Item:Q5431302","lastrevid":96199955,"modified":"2026-06-05T10:39:45Z","type":"item","id":"Q5431302","labels":{"en":{"language":"en","value":"Mathematical Foundations of Computer Science 2003"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5218821"}},"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":"Q5431302$29906840-FC94-48C1-BC14-E3ED158A7489","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b605f9c962f86e966ad151f4c5682bf67fd7c0aa","datavalue":{"value":{"text":"Mathematical Foundations of Computer Science 2003","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5431302$456E64CE-9ED8-4BC2-B8EB-88CCA80F6E87","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"58f004f3e881ef58cdcdfc479df32bfae28c9929","datavalue":{"value":"1124.68370","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5431302$B97E807D-6C45-4EDD-B32B-E5A8148859D5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9d66928e7f941233a38d3104e0405cbb2b577305","datavalue":{"value":{"entity-type":"item","numeric-id":437034,"id":"Q437034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5431302$94DC7B8B-8288-4395-B5EC-BDB99C95AB9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6587fdd31c2d2b6b0dfb7e31f546481ef32f5a93","datavalue":{"value":{"entity-type":"item","numeric-id":171405,"id":"Q171405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5431302$1AC5A74C-A8CF-46AC-A01E-315BBFAAD136","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d5450522126073beebe5b41bdc84b794c874c239","datavalue":{"value":{"entity-type":"item","numeric-id":437030,"id":"Q437030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5431302$F69DEDBE-4231-4061-B902-07D81780F991","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5431302$3014BE81-5BD0-40A4-925D-34120679ABEA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3a1c51d5d4b4fb630e6d9bfc070c5e6ddf609a72","datavalue":{"value":{"time":"+2007-12-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5431302$712EFF81-E7D8-431B-9517-E098A4E994AC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5431302$FC93A2D5-0351-4F44-9B98-03A09DAB0E49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5431302$0079CDF8-D14F-4A05-8448-E0903CAF8975","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5431302$F17C3EDC-785F-4C00-BDB4-B0AFCC621F79","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"26e62fad62d90d6f07aed6983cbfb464797ca344","datavalue":{"value":"5218821","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5431302$03B6AD7A-183C-4CE8-87C4-1D7208435DE2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cbfba26cd0d561599f4c420130267c57e3061ba3","datavalue":{"value":"E-Unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5431302$1F232B57-92BF-4BD0-895F-008489676C95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5206d4dce6a163eafa029a63a1fb2a44925dc13","datavalue":{"value":"Complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5431302$5B99697F-14D2-4755-9B10-9F9337EC0A47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2fb7ca3525558a4b4d8fb8f7805f75f5269c3aa3","datavalue":{"value":"Set constraints","type":"string"},"datatype":"string"},"type":"statement","id":"Q5431302$BE38E4B1-ACC5-4B38-BC5D-A8403CC3B269","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14a5a511a70081ebff631f8fb66688d8f2c0ad26","datavalue":{"value":"Tree automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q5431302$960BE3FE-EAF4-4104-8C8D-7D89EAD75AEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d932f8dedeb1c045471d0d9a4b9a25cc6fa175f","datavalue":{"value":"Dag automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q5431302$8A5A319C-B560-4BC3-8FB9-981E88300F89","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":"Q5431302$116F6835-9011-4E54-9864-7DA07F6E7985","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a0f6add07ffe1c69a84f98c19e872b844183a8a0","datavalue":{"value":"https://doi.org/10.1007/b11836","type":"string"},"datatype":"url"},"type":"statement","id":"Q5431302$3FFB0AD9-2E24-48FF-A2C7-BA78A79B6262","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"72e34da507db8c9ca2948992ad066b5961d57806","datavalue":{"value":"W2495578842","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5431302$7238D826-78CE-49D0-98A1-4EEB3E0EE19D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3aa735e939555ae4cb416c369c1669b99c7d34c0","datavalue":{"value":"10.1007/B11836","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5431302$894B5286-F7DC-42D0-9E1D-8EFA1E5A77F0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae4f67592cf7c311b48fa4d87b98ca84e05c12ce","datavalue":{"value":{"entity-type":"item","numeric-id":1774555,"id":"Q1774555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d6506d8027c12f849c2f9276245680538183b6e","datavalue":{"value":{"amount":"+0.8604781031608582","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":"Q5431302$3A30FD4D-C651-480C-8340-B9A11E2F687A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5bb4afc175ef8e7b41ce467192bd6110a48eba28","datavalue":{"value":{"entity-type":"item","numeric-id":5900732,"id":"Q5900732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7172cae60bd75a0a72bcf49993987662d8e00a6","datavalue":{"value":{"amount":"+0.8325588703155518","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":"Q5431302$DF65FCDB-E47F-4889-B946-F867A68B336B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84b0cfb29b8b177089ff6f479a90fc8a60a6e65f","datavalue":{"value":{"entity-type":"item","numeric-id":5139274,"id":"Q5139274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d2ef5e9cc3da8a42c2780cda5bba50cd05f448d","datavalue":{"value":{"amount":"+0.7990820407867432","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":"Q5431302$8783B99D-7A0F-40D9-9AE6-56CA4013777F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94a3013126c88788e1f2abca5dc5b703dde202bb","datavalue":{"value":{"entity-type":"item","numeric-id":3805960,"id":"Q3805960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f872c21ef9470e3c58588ec308b8364bfb8cb27a","datavalue":{"value":{"amount":"+0.7893114686012268","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":"Q5431302$8F6FFADD-1CA7-411C-9345-8A5AE5A0765D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"215137121412e0b1f51567744bea8f32970209cf","datavalue":{"value":{"entity-type":"item","numeric-id":5096305,"id":"Q5096305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96073c43f579624909b6c9a5192ee0823f689da4","datavalue":{"value":{"amount":"+0.7780395150184631","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":"Q5431302$AF88A29E-1405-4947-8CC0-8F8A516FD2CD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Mathematical Foundations of Computer Science 2003 (scientific article; zbMATH DE number 5218821)","badges":[]}}}}}