{"entities":{"Q5311128":{"pageid":7340702,"ns":120,"title":"Item:Q5311128","lastrevid":100742159,"modified":"2026-06-05T22:59:53Z","type":"item","id":"Q5311128","labels":{"en":{"language":"en","value":"Mathematical Foundations of Computer Science 2004"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2196799"}},"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":"Q5311128$31CD8A25-8725-4E28-AE1C-6F374F091D5B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8f665f85ac2aae13c22c0f17617622c6c923de1b","datavalue":{"value":{"text":"Mathematical Foundations of Computer Science 2004","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5311128$3DFCF565-81AB-49CC-81AF-F7F49B9C6AB2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"456a0b072cce2cd8d1534273a7c18a58a907d99c","datavalue":{"value":"1096.68093","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5311128$E8A6E5D9-C3F2-481F-AE3E-E9C0283AC83D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1f80f277dc8a20b98c8aa3219e3ddd5809e10104","datavalue":{"value":{"entity-type":"item","numeric-id":1415526,"id":"Q1415526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5311128$D9DA0600-F71F-4FA4-9BA1-ACC165B023F1","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":"Q5311128$6C466FF2-FBAD-4F2F-8DF9-64888F47761B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1dd83e30b5291de8829d091c1ba44aab3df736da","datavalue":{"value":{"time":"+2005-08-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5311128$1448B414-4D55-4E8F-B15F-840B09F9D06B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5311128$28352A15-A933-42A7-A497-31BEE77A6367","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5311128$1FCE8819-96D3-4FB7-9706-560A47E0E896","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5311128$ED35F4C5-A466-4B21-B3F4-B01C03FD4787","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"390893eebba1d857ed37422fb8d0eea0f4137885","datavalue":{"value":"2196799","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5311128$C9989DB5-970A-47CE-9727-E316B80418B9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00129da2859194d631608ae482950e8e1ce3f29b","datavalue":{"value":"Compositional Verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5311128$79C8FB0F-CB89-4967-B396-326564CAA525","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f65e0d6c323a437b9e784d4dea184486366295e6","datavalue":{"value":"Tree Automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q5311128$ED9D78FB-8F95-4A6E-943D-10E3E3C4A3F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d7a8b1ae575997a4ac87af0e155eef90db91f150","datavalue":{"value":"Monadic Second-Order Logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5311128$16EB52D7-C930-480B-AE9F-D07BD4C184EA","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":"Q5311128$D82E1E54-3838-444C-BCBE-ED648F3F67F9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"34f7a0615602149851a7f9206520b7271140d8c0","datavalue":{"value":"https://doi.org/10.1007/b99679","type":"string"},"datatype":"url"},"type":"statement","id":"Q5311128$ABC6DF19-455C-47EC-908F-920036CFE26A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a859c61ea0984951da05548e5c59ff8d6a2f01e3","datavalue":{"value":"W2488008928","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5311128$6A64F0DA-6B02-4D65-84D0-8C885A120084","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b74d4b224f9781b2c9d6ff0aa730f6de2bd89c8a","datavalue":{"value":"10.1007/B99679","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5311128$E57884F0-3B27-409D-892F-D42CCFA93AD5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b5a259d70a73af340682efdb2e31ac3ccb4e804","datavalue":{"value":{"entity-type":"item","numeric-id":937300,"id":"Q937300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d0fbab221d1f262a6d2387ffd1a10e441655a9b","datavalue":{"value":{"amount":"+0.7752298712730408","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":"Q5311128$EEC58403-3199-422B-A93B-D481E3000FC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72150ea846ba6dd6bfca912e6aa04c8f4f420d70","datavalue":{"value":{"entity-type":"item","numeric-id":671992,"id":"Q671992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"edcc943506caf4dd1b7c95e0555a11b1d722f9bd","datavalue":{"value":{"amount":"+0.7346720099449158","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":"Q5311128$66E2883C-3C1D-4780-A74E-B2ED0EB236A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c6fce314e733b3027b8c687cae62d58882d8b13","datavalue":{"value":{"entity-type":"item","numeric-id":2117269,"id":"Q2117269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73e0a07236d0b9e2311091c489e2589050a341be","datavalue":{"value":{"amount":"+0.7334011197090149","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":"Q5311128$C88E9B5E-66BE-4B00-A2D9-355D78E1B826","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21ff330da66855980d1d48fbe00981574ec91c56","datavalue":{"value":{"entity-type":"item","numeric-id":4036556,"id":"Q4036556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac2bfcc86de109b3efaddeaaf0e9eeb9b1cffd41","datavalue":{"value":{"amount":"+0.7322917580604553","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":"Q5311128$7EB0EA83-5C0F-4345-A586-C86CD7CFABDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b6ad1cb74c851c5ccbf77ee50e27b9083d6dad6","datavalue":{"value":{"entity-type":"item","numeric-id":5277769,"id":"Q5277769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2fe46bcec39cace61278f8c7a3951d11e69c4bb4","datavalue":{"value":{"amount":"+0.731778085231781","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":"Q5311128$60EBA14D-FEDF-4CBA-859C-94AAA7B92372","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Mathematical Foundations of Computer Science 2004 (scientific article; zbMATH DE number 2196799)","badges":[]}}}}}