{"entities":{"Q5712430":{"pageid":7741984,"ns":120,"title":"Item:Q5712430","lastrevid":48617164,"modified":"2026-01-05T09:53:29Z","type":"item","id":"Q5712430","labels":{"en":{"language":"en","value":"Relational and Kleene-Algebraic Methods in Computer Science"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2240527"}},"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":"Q5712430$A3FAB9EB-E8CE-4E77-B66D-236AFD0C081C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bee0f9715a73c43a88a3e5eac02007a7ed1b81d1","datavalue":{"value":{"text":"Relational and Kleene-Algebraic Methods in Computer Science","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5712430$B55608C7-40C8-4B14-A0B5-9D07CC2BB379","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"02a649541ba1dd244a7f95d80b2012f8f30c0b6d","datavalue":{"value":"1093.20029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5712430$C54DD2D0-2336-4776-B895-7C92B363F8D9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e1e5f98c1dbd5d88c97c48275c3781739042d20b","datavalue":{"value":{"entity-type":"item","numeric-id":299203,"id":"Q299203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5712430$A13C0A56-0A9A-4A71-8C41-35E3D895FF63","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":"Q5712430$9873E230-D2EC-488E-AD12-CA39D5E58DF6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"17dc618a5d162b46bae90491d12c35966ac89444","datavalue":{"value":{"time":"+2005-12-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5712430$4BE34C2E-605B-4F58-BF08-6FD0D109EC1D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5fb4697c93e6483e0ffbb93428a373e0646b68d","datavalue":{"value":"20M07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5712430$9B4A27F3-E870-4712-96C7-6061D8A171A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"eadae2eb6bbadf82bbbb96425466d50c2adfbaee","datavalue":{"value":"20M14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5712430$1CBD2980-648E-44EF-9D25-671A98EF867B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0a110c7416e1228fed50bb2e0832c21a254df2cc","datavalue":{"value":"20M25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5712430$577AAAD9-F31B-4BC6-9F39-7769D272F6F4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f8b34b9862811ba75fdc2c84fca1e6c9c1ea9c00","datavalue":{"value":"2240527","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5712430$26C5FC35-A35D-4560-B5BA-15C657D3BE43","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e51e251ff3ef2d171fa9c2c1fddd641cddebbf63","datavalue":{"value":"varieties of commutative semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q5712430$D794AA90-0FAF-4DB0-8592-809931A69E02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"90763addb930f8185d70e1fd8ee19e5c73f3c137","datavalue":{"value":"infinitely based varieties","type":"string"},"datatype":"string"},"type":"statement","id":"Q5712430$5D4BC167-BBAE-4B76-913E-EDC5487F906E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"099a621aa5d6e636204f39344caffe330ef5799c","datavalue":{"value":"commutative Boolean semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q5712430$1E29FD83-C265-4531-9C4D-B61802DB491F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39f7b6000cdb9654550cd3cc82708b0426d9b3ad","datavalue":{"value":"complex algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q5712430$1818EA22-691F-49C7-8BB0-2CC8D51A6DF9","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":"Q5712430$A96C7DCA-FEB8-4A16-9AA1-59D981128D9C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"70b111118cfdf4c299bfb965398914a4cc43ab75","datavalue":{"value":"https://doi.org/10.1007/b98117","type":"string"},"datatype":"url"},"type":"statement","id":"Q5712430$8BC5C9C5-EC36-4DFF-8BA1-90D73038CD3B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c2cac9573bcd58d3b1a484c6cafb6fd10df57574","datavalue":{"value":"W2476951070","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5712430$DA256F8E-1384-40E3-92B9-24FE66951CE5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cade917550b43bc716fcc3921ded66149ce8450a","datavalue":{"value":"10.1007/B98117","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5712430$50868F4F-A1B0-494F-A878-ED7243E64A41","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6208346f474eecd9667f2cea26af3ef83728fa36","datavalue":{"value":{"entity-type":"item","numeric-id":953273,"id":"Q953273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dfcfc2233fa475a3bdf103dd6bf69d916d559fd7","datavalue":{"value":{"amount":"+0.7887817621231079","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":"Q5712430$B98C27DF-5D17-48B0-B90A-8BF9043A40EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7919c1b4c70d59502cd57593726924af01781da","datavalue":{"value":{"entity-type":"item","numeric-id":4586414,"id":"Q4586414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72012ed1da09b4d17d8fd5e5ac516c63fb619dc3","datavalue":{"value":{"amount":"+0.7818207740783691","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":"Q5712430$4D9C3D79-1166-44A8-8E3E-F0F49ED4D621","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16aaafc82dd71a7ba65f8e229ce886c5e3526953","datavalue":{"value":{"entity-type":"item","numeric-id":3807431,"id":"Q3807431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a3171f4dcd2adf04d166efd40f49eb53ac0142f","datavalue":{"value":{"amount":"+0.7752766013145447","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":"Q5712430$AEA554EE-937D-4B6A-8769-B29C050F7F43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30fac7839b6c13301e77083ac78f61521924a464","datavalue":{"value":{"entity-type":"item","numeric-id":4286389,"id":"Q4286389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"971ba9905e2f600097038999bffe95aa31c9909c","datavalue":{"value":{"amount":"+0.7752642631530762","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":"Q5712430$77EC0842-9A65-4396-B239-442265D458F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4403b2cabaa13e532e512967be7308adc74a2ccb","datavalue":{"value":{"entity-type":"item","numeric-id":431656,"id":"Q431656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"933e4ee060f19cf0f3f1a4df6fce33454525f097","datavalue":{"value":{"amount":"+0.7743989825248718","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":"Q5712430$5E6F501B-1812-4317-AF76-F2617D331A86","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5712430","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5712430"}}}}}