{"entities":{"Q5428832":{"pageid":7458406,"ns":120,"title":"Item:Q5428832","lastrevid":50223392,"modified":"2026-01-13T13:55:40Z","type":"item","id":"Q5428832","labels":{"en":{"language":"en","value":"Co-Logic Programming: Extending Logic Programming with Coinduction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5215590"}},"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":"Q5428832$D24E7A7C-8093-45D2-9BF6-87BB04BFC30C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cddf2a0214d9bb94a43041feee0b612762335f8a","datavalue":{"value":{"text":"Co-Logic Programming: Extending Logic Programming with Coinduction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5428832$72C840F8-5BE3-42AC-ABC4-CEEDE2351272","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2509644f60b3ca45205782cf67e1601ff6db7174","datavalue":{"value":"1171.68404","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5428832$CE66E26A-EA5D-4C11-9879-793422E22FA3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3c9f004cbf99fcd4e4f81c26a1c287c391a01558","datavalue":{"value":"10.1007/978-3-540-73420-8_42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5428832$C1FDA2CF-80C2-42A7-B6ED-C5AF38F11CD9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7ec5a0f3d4cfde7799fcb4cf912f5d378ad52fa4","datavalue":{"value":{"entity-type":"item","numeric-id":3392928,"id":"Q3392928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5428832$8053EC1A-FC9B-4580-8FF6-DCFCCA681CBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fb71d9ab45292df705a097b13edc13214e0d7fff","datavalue":{"value":{"entity-type":"item","numeric-id":3608643,"id":"Q3608643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5428832$E4274533-3B96-4326-BA0E-A3B1375E5E9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c18d896a86f4c50cbb7d6452d17209ed125e407e","datavalue":{"value":{"entity-type":"item","numeric-id":3608644,"id":"Q3608644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5428832$B5B55CF6-41E5-4C89-BD4E-B20B620D14D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8d1065bf5a79a6e3399944e23126deafc1dd756c","datavalue":{"value":{"entity-type":"item","numeric-id":1209355,"id":"Q1209355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5428832$21F53E63-2E92-4AFC-88D0-404802BCAAFE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b35206703f13d65f73634741bdd21f6ff4941d38","datavalue":{"value":{"entity-type":"item","numeric-id":3012786,"id":"Q3012786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5428832$2BB4AE16-7DAC-4B64-93FA-178777DDDE98","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f07a6e02313146619eb76647232125f099011046","datavalue":{"value":{"time":"+2007-11-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5428832$AC0508CC-97E7-47A8-B6AE-50CDF221ABF6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5428832$BA617B8D-4C3F-4F70-8946-DB25D18B4E17","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"48effc1b14a561984f60c967e922d058c97e0aa6","datavalue":{"value":"5215590","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5428832$7ED29817-3705-40D7-9C6E-15E10B44DFCD","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"77263c8b87dcdf4b5cd3179005e949596b9b5133","datavalue":{"value":{"entity-type":"item","numeric-id":20977,"id":"Q20977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5428832$DD474833-084E-4DBA-83F2-E0CD8A7B7CAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f8696d7930b5efdf5e5ef005f36ecab4f0d6d568","datavalue":{"value":{"entity-type":"item","numeric-id":25794,"id":"Q25794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5428832$609B0F61-B892-4CD5-BF67-12FE2C4F6F85","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":"Q5428832$6265CB6D-014D-4DFC-9B8B-A73865BCA30A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f988551ecde70e7518cc6dcea8b5281452f5efc9","datavalue":{"value":"https://doi.org/10.1007/978-3-540-73420-8_42","type":"string"},"datatype":"url"},"type":"statement","id":"Q5428832$535207E0-8955-44B3-8106-2EE76FDED1D0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"efe0f0c5c03695e21b58732728dcf7aa09b57c88","datavalue":{"value":"W184244794","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5428832$F11D90E2-C7C3-4A1D-AF1E-3C814E8AE0FB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b97095a387083d4829b242d2a1a3f0b04cdcbd7","datavalue":{"value":{"entity-type":"item","numeric-id":3608645,"id":"Q3608645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e2f412a6eb955b764f1a226b7466270f389e317","datavalue":{"value":{"amount":"+0.8743671774864197","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":"Q5428832$EA3435E2-65C8-49BA-B41B-220544439191","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1bb4f9903314155d75bff5f10a98dba7de75733","datavalue":{"value":{"entity-type":"item","numeric-id":3090859,"id":"Q3090859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b031993ce5c1b31d44c9b7f6346d9984a3819637","datavalue":{"value":{"amount":"+0.8647310137748718","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":"Q5428832$289C7B07-B836-4422-A944-169EC3E9AD82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27ea50ed238d6385ede59d152c882c0dd3c710dc","datavalue":{"value":{"entity-type":"item","numeric-id":2900266,"id":"Q2900266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0fa2fd62ce37d93e82b674e67f0db62fb2a8fcc5","datavalue":{"value":{"amount":"+0.8609960079193115","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":"Q5428832$9A03F21B-00A1-4720-9EA2-147EAA23D687","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7b07a054effb01c4406dbd2e9ac3080413faeeb","datavalue":{"value":{"entity-type":"item","numeric-id":5449611,"id":"Q5449611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b2875954ed8136a0adca95aed608156352dba3a","datavalue":{"value":{"amount":"+0.8525880575180054","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":"Q5428832$BD28E316-01AB-4C81-B858-93DA8ED974B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf88cfc35e5dcaa218d3febd94ae9d922c036703","datavalue":{"value":{"entity-type":"item","numeric-id":3453651,"id":"Q3453651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c802798fc0ad14d8ebd25ca863b74169e83461c","datavalue":{"value":{"amount":"+0.8420570492744446","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":"Q5428832$078CC8EA-5FB6-4F54-99F4-2EE8CD8DA648","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5428832","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5428832"}}}}}