{"entities":{"Q3817574":{"pageid":5847480,"ns":120,"title":"Item:Q3817574","lastrevid":81147815,"modified":"2026-05-06T17:50:38Z","type":"item","id":"Q3817574","labels":{"en":{"language":"en","value":"Logic and functional programming by retractions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4090766"}},"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":"Q3817574$E10671C4-3D86-4164-94DE-634869D88718","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"df7934a2f0ece317f6b6f502d61b206d522806b1","datavalue":{"value":{"text":"Logic and functional programming by retractions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3817574$C1560B5E-E202-4BDE-B7A9-7AB17C54BA54","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7f9c963b7859ee53fe3edf467811a55a00b81970","datavalue":{"value":"0666.68011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3817574$1556B9DB-1080-4F76-9B7D-86DBF5908D79","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"cb11a7d64aa2e2ac6f5f0a641dfeb8e0525b889d","datavalue":{"value":{"entity-type":"item","numeric-id":2720405,"id":"Q2720405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3817574$DF37B0BC-213C-4565-A005-4C44EBA594E0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3817574$91826714-71BE-4160-BE33-E55021E02F24","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"78e6b7c05145969cc603913609cea7dab2ea1d20","datavalue":{"value":"https://eudml.org/doc/92309","type":"string"},"datatype":"url"},"type":"statement","id":"Q3817574$C95B6112-BA8D-43A7-A6FF-26EA30DD4FEF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3817574$3B39A3A1-B09E-41AF-BB24-1AF605D46E67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3817574$3A797FBA-7EE8-4DBA-80E8-BC1CCEC9DC45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3817574$06BA6272-8DA9-4161-A117-A2FB7F502519","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9a5ebb36a5a95d93fa694e176c4e057f6100bfb2","datavalue":{"value":"4090766","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3817574$B66B589E-1DD7-4FB6-9540-7D63B8E0A725","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q3817574$C861BB09-5F22-47C6-8F7D-077C28A38BE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00b76a2e54f8798fe172effecd557ced03e2f904","datavalue":{"value":"functional programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q3817574$9EFD161F-3DE0-482D-A8FF-EA0FA052E548","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b28556cc87db6d65020982562b393f6fbdb98277","datavalue":{"value":"Herbrand universe","type":"string"},"datatype":"string"},"type":"statement","id":"Q3817574$A5E3DA42-5922-4A18-BDC0-586B1CE5550A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cec1fa9639b260843e1fca6b1603058e2c5159ec","datavalue":{"value":"combinatory expressions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3817574$C013CEF6-4FCD-47B1-98A4-7B2BD59D8F3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1791b50a879e3575b6d4bdab7da0b746e6182a3","datavalue":{"value":"retractions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3817574$55BFBBE0-B77A-4F59-9542-74AE685EA6F3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff498ead29e6093651a0979ef13cc28ccb207b4b","datavalue":{"value":{"entity-type":"item","numeric-id":5973903,"id":"Q5973903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3817574$79BF4FD1-B0E2-4149-B436-495326F4C46C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19f32365b7a322b24cf5d5cb10fef31efa05053a","datavalue":{"value":{"entity-type":"item","numeric-id":4162630,"id":"Q4162630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3817574$3024A24D-8F34-47F6-95CB-743CBE13DC9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"787e8787fc0800d23d78fddfd9bf35254e758553","datavalue":{"value":{"entity-type":"item","numeric-id":801050,"id":"Q801050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3817574$A9B96996-2587-47B2-913F-B5632D24AB0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff4f5c649d6997030aa2756de294a13f22a936e3","datavalue":{"value":{"entity-type":"item","numeric-id":3735058,"id":"Q3735058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3817574$AA8BE222-27A4-408D-9742-49FDE5A9C9B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc782070f7c5907f52d5b2d96ce881c84f436ad4","datavalue":{"value":{"entity-type":"item","numeric-id":3776598,"id":"Q3776598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3817574$5B4E0131-CA2E-4026-B709-714D929AED4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b67a2fbf6c5bc8a91834dab3f370a0190535faae","datavalue":{"value":{"entity-type":"item","numeric-id":3817575,"id":"Q3817575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3817574$1E06235B-F638-4E17-9D2E-939D29F0AEB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d54d03d44a544a3c811b233b3629d1a95e74c1c","datavalue":{"value":{"entity-type":"item","numeric-id":3721786,"id":"Q3721786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3817574$8E48FCBF-34F7-4A21-B604-5C22CD19F31A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6249290c793fa3d4c305541f1a11cd397a401609","datavalue":{"value":{"entity-type":"item","numeric-id":5902880,"id":"Q5902880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3817574$EF639581-20E5-4834-898C-41453920A424","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0e4e03f3dd8f7362d729507ad34add946ab883b","datavalue":{"value":{"entity-type":"item","numeric-id":3674088,"id":"Q3674088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3817574$1C0DE37F-90E9-4448-AA98-AF59C1EF2DB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2dbf5d4c6cedd5848e03816494729378cde53a8e","datavalue":{"value":{"entity-type":"item","numeric-id":2551698,"id":"Q2551698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3817574$91F90B77-07EC-4E26-926B-FF1B4FEA0B52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c8a79af3c28ca6a85273f2cf60e4233483e6da8","datavalue":{"value":{"entity-type":"item","numeric-id":4051550,"id":"Q4051550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3817574$CF78CF33-E8BF-4C35-BDCD-7512673DB289","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5617fdd69c618e263e8fa2bd0476fbd6e5cae4ab","datavalue":{"value":{"entity-type":"item","numeric-id":4190095,"id":"Q4190095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3817574$D21C3602-4B35-4DA7-AC06-DE516FAB1E21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03dcc815537b517cc71ed958068897d2b199f6d8","datavalue":{"value":{"entity-type":"item","numeric-id":3339245,"id":"Q3339245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3817574$12827B80-B00E-491A-A722-4ADEECE66732","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2af2092b9c38b5f11bfd9331f5655e22bc0db44","datavalue":{"value":{"entity-type":"item","numeric-id":3283220,"id":"Q3283220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3817574$91510606-1438-4056-92F4-71E4C7C4714A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c554dd0a6a484999f9936b48ca3fe94fdbde70ef","datavalue":{"value":{"entity-type":"item","numeric-id":3943974,"id":"Q3943974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3817574$CB29CDA9-1E03-4FCB-8A82-634C0E18552F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2a5b2ddebd2ab0369854cad775c43938f5294ee","datavalue":{"value":{"entity-type":"item","numeric-id":3696486,"id":"Q3696486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3817574$F1EC089E-5A80-4409-8E67-2A0F94BC0A39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f62ebef9379ad97d2bdc3c2e7f5717f221d056cb","datavalue":{"value":{"entity-type":"item","numeric-id":5514129,"id":"Q5514129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3817574$55E4C9A6-448D-4ACB-8D71-430EE95F869D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fde949ec0edc78cafc417dc0d661c3b24c05302","datavalue":{"value":{"entity-type":"item","numeric-id":4103509,"id":"Q4103509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3817574$3EB95B78-80E6-44A6-96DD-992DB169D5D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03b5ec7b36ab9f9a9396a2be7f7246c57825af23","datavalue":{"value":{"entity-type":"item","numeric-id":3742689,"id":"Q3742689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3817574$D054C2A9-D748-42B7-9FDC-FE6D8EC20E00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43522741a5881651813aecfed6b174a4b945638c","datavalue":{"value":{"entity-type":"item","numeric-id":3969890,"id":"Q3969890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3817574$DCF04F4A-6404-4DAC-80E1-3078BA03E6A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf2cd6f520ecb0bd9b2e2ca98762e8451ee00ad0","datavalue":{"value":{"entity-type":"item","numeric-id":4077428,"id":"Q4077428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3817574$7B57ED61-5058-4E2A-9A94-ED99A847CAE5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7887cc0d8900047b69b9d6ddbb510a9af8b54867","datavalue":{"value":{"entity-type":"item","numeric-id":1284281,"id":"Q1284281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3817574$92B1D11E-F2AB-42BD-861E-834D08DE5BCE","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4e80b1bdb737072b27970ecf165d50631542509a","datavalue":{"value":{"entity-type":"item","numeric-id":5973903,"id":"Q5973903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3817574$E5F4A550-820B-4429-8A5E-5F78CE1253C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5cb180c22f3bced7fedc55462354c0f7fabfc168","datavalue":{"value":{"entity-type":"item","numeric-id":35531,"id":"Q35531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3817574$5D6BE339-E75A-43ED-98E1-538CB0A6F225","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":"Q3817574$9DFDB4EB-3BA8-4AA8-9E58-20EA4D3202FA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1e2c4e791da4b7435efcb3d92aff5875080dfe8c","datavalue":{"value":"W176551041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3817574$B85D9B64-B346-4268-BC9F-5FF123FCF516","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"23c522392f4c6d960628005140f44dae7876b4b0","datavalue":{"value":"10.1051/ITA/1988220302711","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3817574$ABDC4B20-A021-4BB3-B43C-39028B3B0B85","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d3ebbf97ce12c5b7fb39c02877b0775c30e5b63","datavalue":{"value":{"entity-type":"item","numeric-id":3776598,"id":"Q3776598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81c78893198078270f298b76247379afa66ed41e","datavalue":{"value":{"amount":"+0.867090106010437","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":"Q3817574$3D68F056-5A81-4F50-A210-1FB89DADB00B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5eee4d34d7c0d057b210437e4716dc3745351f1f","datavalue":{"value":{"entity-type":"item","numeric-id":3817575,"id":"Q3817575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29035baec261b11ecf84a41f984292be4ff07c2e","datavalue":{"value":{"amount":"+0.8558720350265503","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":"Q3817574$E5376111-A637-4139-B477-21A90A4D8261","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"268b6ea4d6cc9d72949b13664da393fc8089d860","datavalue":{"value":{"entity-type":"item","numeric-id":1079941,"id":"Q1079941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f313e55dfd59ed8d69c7f36a82ba0bdc0809a66","datavalue":{"value":{"amount":"+0.7310027480125427","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":"Q3817574$A6BBBE96-025D-4261-BA58-78FCD178363E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"328889c31f48d12fe2b46683724dd74923334b6c","datavalue":{"value":{"entity-type":"item","numeric-id":4258623,"id":"Q4258623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4dcf6b00c91d28ec218aae7590dfe29a52cd557a","datavalue":{"value":{"amount":"+0.729414165019989","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":"Q3817574$921F5E4E-9E82-4BE4-9C1F-7DF747F617F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12632cfab228270d97fb94fd5e39565560f67e60","datavalue":{"value":{"entity-type":"item","numeric-id":3780494,"id":"Q3780494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"759ef4e7c745cded6976a6f126eb6e67b3f662a3","datavalue":{"value":{"amount":"+0.7280528545379639","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":"Q3817574$FA95CF36-7BA6-4D9A-B6C6-514C8DF3A783","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Logic and functional programming by retractions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Logic_and_functional_programming_by_retractions"}}}}}