{"entities":{"Q5431325":{"pageid":7460899,"ns":120,"title":"Item:Q5431325","lastrevid":50230352,"modified":"2026-01-13T14:26:25Z","type":"item","id":"Q5431325","labels":{"en":{"language":"en","value":"Mathematical Foundations of Computer Science 2003"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5218842"}},"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":"Q5431325$E49A7FE0-083B-496E-AA5C-8356B647A6A8","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":"Q5431325$85D941E2-7382-4FD5-8D03-563FB8EB21ED","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4320d8cae5bb1b4af7b21f0ba7f18103d4a46bff","datavalue":{"value":"1124.03313","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5431325$F83146DE-BEF5-4D25-9173-A965A3A3D833","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":"Q5431325$D1F24814-0C18-435C-A44E-02A66DA6ACEA","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":"Q5431325$10D79D58-285F-40A5-8962-D5A53A5DDC04","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5431325$F0D27525-F971-450E-854B-CCE62D25A67E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"21699a423435669f291d1bd1ba3da28fa1465b3f","datavalue":{"value":"03D03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5431325$2433E8DA-5F08-43E6-887A-DC8356578966","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5431325$3BCC88FB-1ABC-4B1F-93AD-C672132906C7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a6d78d8ec7f0003b7ee0c6fbc2bde62a35fcce2a","datavalue":{"value":"5218842","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5431325$7E8E67C1-4400-42D3-BE30-CA73345A46DE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"84a59c985dd3aa9be5ee556ed3da954f03c5904f","datavalue":{"value":"string rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q5431325$37D8FD9E-E898-42FE-A86E-98EF815D8CA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7121d53cbfd197961e641a9ea096c7dd96cf09bf","datavalue":{"value":"monoid presentations","type":"string"},"datatype":"string"},"type":"statement","id":"Q5431325$28055823-6CE1-4976-A348-43FF2DC2E665","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"55118d9d1bbc13007a4b8d4da1af3e6fb042ce73","datavalue":{"value":"transitive closure logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5431325$A5A0C3F7-C3C3-425E-BB39-05D1BD184C35","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b013e0a377968b50560c02375f9e34ca33b0233f","datavalue":{"value":{"entity-type":"item","numeric-id":418879,"id":"Q418879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5431325$5E1A95EC-A5DF-41D4-BE8D-A2AF3BF146B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"efec1e7065f99212811d548ab767d361f5a520fb","datavalue":{"value":{"entity-type":"item","numeric-id":590634,"id":"Q590634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5431325$50781AC6-0450-48DD-998C-CD7CBCCDC763","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"35582b2d12e4fcf9395271544100e8ad7384bb8a","datavalue":{"value":{"entity-type":"item","numeric-id":1747511,"id":"Q1747511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5431325$1CF0718E-52D2-4518-B7BD-B8A597854E0B","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":"Q5431325$F5A3C8C2-E71B-46E7-9A87-378F0CFB5533","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":"Q5431325$F1F43BB2-47ED-46E5-80D2-5C972FE75571","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"72e34da507db8c9ca2948992ad066b5961d57806","datavalue":{"value":"W2495578842","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5431325$A2472157-9E32-479C-BBB9-D351356AAD67","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3aa735e939555ae4cb416c369c1669b99c7d34c0","datavalue":{"value":"10.1007/B11836","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5431325$1562321E-3F29-4430-A2BB-6E7AFE41D6BA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f7ba01af5f2271584e2bfa63cfe8d42ea087175","datavalue":{"value":{"entity-type":"item","numeric-id":5311254,"id":"Q5311254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"401d2dd1aae271bb0a1b8147fbbfaecf110f34df","datavalue":{"value":{"amount":"+0.7230210900306702","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":"Q5431325$749AAF67-CB24-45C0-9C9E-84CCB4DDF3EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"774ef65a46726415f894b24305c68bc0ab61c093","datavalue":{"value":{"entity-type":"item","numeric-id":4202939,"id":"Q4202939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"663496c5e8d3b148077194ab66153adcfd99e1e7","datavalue":{"value":{"amount":"+0.7196957468986511","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":"Q5431325$917DB3CE-83A6-44EC-A696-EAA23493951B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1794f4d181ff9292adc21e3e99cb9b0446c1496","datavalue":{"value":{"entity-type":"item","numeric-id":4635613,"id":"Q4635613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53cc8c7255cb339fb32981f735aae9dc1e5d506d","datavalue":{"value":{"amount":"+0.7148466110229492","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":"Q5431325$0474B9F4-9D95-4640-860B-A9F35FB5755B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"301c905d5f0ecf7ca9236ff3cb5993068bee04ac","datavalue":{"value":{"entity-type":"item","numeric-id":4035666,"id":"Q4035666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"984b38dd4fef599928cf7a713b3543fd93dfd48a","datavalue":{"value":{"amount":"+0.7058843970298767","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":"Q5431325$7930C368-0FE6-4F20-B893-BCBAA5D71EE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7fb86a15fcf3e6eefe4d78b5481670a6e1519546","datavalue":{"value":{"entity-type":"item","numeric-id":4472500,"id":"Q4472500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06634967f3a6e3a1e4f2896f392ed4d5578278ea","datavalue":{"value":{"amount":"+0.7041625380516052","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":"Q5431325$FD3D20AA-7D94-4742-B10E-93F97E4CEE41","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5431325","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5431325"}}}}}