{"entities":{"Q5712445":{"pageid":7741999,"ns":120,"title":"Item:Q5712445","lastrevid":48617194,"modified":"2026-01-05T09:53:30Z","type":"item","id":"Q5712445","labels":{"en":{"language":"en","value":"Relational and Kleene-Algebraic Methods in Computer Science"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2240542"}},"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":"Q5712445$0616CA40-CF9C-4A81-8C55-2E482326B913","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":"Q5712445$8D1F103F-7562-46B1-8A54-22DE67A475E0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7887ba69cc18d86c1e93cb11ed1a48460eab731c","datavalue":{"value":"1088.68104","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5712445$A4FB4296-36A8-4322-AE39-7E605ADFC7E4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4e5e0806de5ee4186b467b007530d48a61d8fa76","datavalue":{"value":{"entity-type":"item","numeric-id":406466,"id":"Q406466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5712445$A8CE29AE-2C80-48BB-8CCE-0040683B0A52","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":"Q5712445$ABAFBF32-0699-4BEA-B408-1F7414B942C3","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":"Q5712445$553FB41F-8D7E-41AE-93C8-CD411E6FA881","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5712445$A4461258-1AA2-4B43-893F-9E229A61BF9B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"648966b7346db5fa1a57897eba6ef9e6f3daa853","datavalue":{"value":"2240542","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5712445$2776B2B7-D123-4FC8-8765-273CC7286067","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"44ffdf2435ffdeeb8ac96ad768b58a3f3e830848","datavalue":{"value":"Probabilistic relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q5712445$872A1058-1046-456A-B3FF-5212C659C657","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"07ac461eed0937aec72b22722563fbdb215d30c7","datavalue":{"value":"specification techniques (nondeterministic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5712445$90829251-FBA0-4ECC-8AA0-440261F3E86E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b8df00af2064814bdecb81e84800cb4b1f8cd30","datavalue":{"value":"stochastic)","type":"string"},"datatype":"string"},"type":"statement","id":"Q5712445$6A22263D-85D4-47CD-93B8-1CF52D580C3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"19d16b992e95459af77702a97b813de464d2469c","datavalue":{"value":"representation theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5712445$BCF94620-35A7-4F16-8D53-139FDAE58048","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":"Q5712445$37ACA069-2AC6-4E3A-9AF2-68EDC65FC513","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":"Q5712445$9B840E70-BF84-4C1F-89D1-1B399E211B2B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c2cac9573bcd58d3b1a484c6cafb6fd10df57574","datavalue":{"value":"W2476951070","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5712445$19344451-94AB-4865-AB05-CD280B87AD61","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cade917550b43bc716fcc3921ded66149ce8450a","datavalue":{"value":"10.1007/B98117","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5712445$51FFDBA5-6A48-4433-B0AA-54C88D3B229E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ade1084179fe621da49f9659718a08ae60f3be3c","datavalue":{"value":{"entity-type":"item","numeric-id":5472855,"id":"Q5472855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d88916bdeebf49a6eecba4242eddde1a7021d75c","datavalue":{"value":{"amount":"+0.99996817111969","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":"Q5712445$BAC0397D-A3A8-45CF-B72F-76B94B3DE968","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8506e7be8349de1fdba58475aa8a2abaf1b107e","datavalue":{"value":{"entity-type":"item","numeric-id":1764800,"id":"Q1764800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1f6a59bfac872364421bd36289e399046555194","datavalue":{"value":{"amount":"+0.7388855814933777","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":"Q5712445$085E00AC-B73D-4581-8DDF-F68FCE1A7A73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"109f73d2d72c3a1071d1facc4e48128c04668130","datavalue":{"value":{"entity-type":"item","numeric-id":4417862,"id":"Q4417862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c209af9b4a32eaf5eeddceef9963a781afe7cc0e","datavalue":{"value":{"amount":"+0.738403856754303","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":"Q5712445$874B1199-B897-4262-AC56-0F441C948061","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb98f4f5601711e9682e4b03355c64db8a06e5a7","datavalue":{"value":{"entity-type":"item","numeric-id":1798789,"id":"Q1798789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3fa90dec88b05c46eb537c7c1ad76bbcfcffd82","datavalue":{"value":{"amount":"+0.7327396869659424","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":"Q5712445$D95E8FC1-56AF-40ED-B675-79B777EA89FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d56da46397d025d960a09858b579aacd91787e1","datavalue":{"value":{"entity-type":"item","numeric-id":2253178,"id":"Q2253178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fdd2b138fd6a55075ab812228cee38559786d79c","datavalue":{"value":{"amount":"+0.7304946780204773","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":"Q5712445$5202946A-1788-496E-92EC-B74115DFB526","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5712445","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5712445"}}}}}