{"entities":{"Q3817575":{"pageid":5847481,"ns":120,"title":"Item:Q3817575","lastrevid":81147824,"modified":"2026-05-06T17:50:38Z","type":"item","id":"Q3817575","labels":{"en":{"language":"en","value":"Logic and functional programming by retractions : operational semantics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4090767"}},"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":"Q3817575$D171172F-D5AD-49A3-BF46-A1E618D7C3A4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3daddac38fb93f5de2a5a0dc1c82cfef8bd0eb1e","datavalue":{"value":{"text":"Logic and functional programming by retractions : operational semantics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3817575$9228377D-7150-48FF-B9ED-734A350E5A8D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5e659047eb9b4d77d739c6cdbac624bb0b3bff52","datavalue":{"value":"0666.68012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3817575$E7CA0095-EDC3-4599-829B-A400629728F2","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":"Q3817575$0C3FB9B8-A56D-4D2B-A4C9-8959BDED0E72","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":"Q3817575$7ECAF9D1-D683-4E86-B105-5D252433C08E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"95e4a367f711e90ad2d708cf637f6ada2b64d946","datavalue":{"value":"https://eudml.org/doc/92314","type":"string"},"datatype":"url"},"type":"statement","id":"Q3817575$350CC2EC-55EA-4CD4-98B0-837396E57A49","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3817575$BE7A01C7-326A-42D3-A247-5D3ABE2E9FF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3817575$CE4A68E7-9029-4724-9736-B622DC9AD6C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3817575$C51B301D-25FD-46AF-B34B-C12F49A37CF1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ed29f2d234bbe9cc6478b04adb33978b8137ecff","datavalue":{"value":"4090767","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3817575$2EB40ABE-A90C-465F-8455-DBB480D9A709","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q3817575$3B8A48F6-DF79-4229-B0C8-2DEEF2E7185E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00b76a2e54f8798fe172effecd557ced03e2f904","datavalue":{"value":"functional programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q3817575$FC163F89-EA86-493C-A1A3-FA88473A320E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d7aa824211e00b65523aea71589f875aa930f7e2","datavalue":{"value":"retraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3817575$FD0AD1D1-9C74-43D8-9DB5-234287004A21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dbcf2397b3433e9ca8fe7c6c64c400607963e672","datavalue":{"value":"Herbrandt universe","type":"string"},"datatype":"string"},"type":"statement","id":"Q3817575$F72122ED-0CF5-4C05-8214-91BAC1B2C995","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d15a5b88457b15e43f49d0900c124a1c1adc72df","datavalue":{"value":"operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3817575$FB4501D1-D20E-4FF5-B38D-09DFF982410E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3922eb0b8235fb2b824bcb3eaa0c8d395dbd512","datavalue":{"value":"unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3817575$942D767C-B280-41EA-A21D-735E9EA53BDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"88fa6badd7edb3c0a3f34209a06dc32276b43b6a","datavalue":{"value":"reduction rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q3817575$7EFBE2B9-10DA-4461-8AC2-71E14D8BDA00","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":"Q3817575$829C2FEC-9156-4EC7-A8D5-D7D75A075E55","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":"Q3817575$F0EEFADC-F3BD-4827-BFC3-525EF8058AEE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bf394f4a5f9352d17d5695083230953ff0465c5d","datavalue":{"value":"W30566442","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3817575$15B10D58-7DB6-4903-A48A-FFF7F494E1BA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9244cfa0cc83c54f6dddc3fcd9671a0260655de","datavalue":{"value":{"entity-type":"item","numeric-id":3942361,"id":"Q3942361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3817575$C3E0C231-6EA5-4ABB-9DF7-F618AD261ACA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d01a93b0caf33d663fbd8e807346f891f15d8bd9","datavalue":{"value":{"entity-type":"item","numeric-id":3817574,"id":"Q3817574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3817575$270BA209-19A7-4F8E-80E0-9C634124D69F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"378088a63ec20245823db74d6a8845609e39ce21","datavalue":{"value":{"entity-type":"item","numeric-id":593789,"id":"Q593789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3817575$EC62348F-E72B-4980-AC95-59D9EA4F5E9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97558af1147bf1da17aeb8d7f9212fe1000d9538","datavalue":{"value":{"entity-type":"item","numeric-id":3911367,"id":"Q3911367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3817575$0D005D72-8CD7-4308-868F-5A4912A3275A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e002c7703a7e63f8238d4e7c16ac6a5af026e65","datavalue":{"value":{"entity-type":"item","numeric-id":3862437,"id":"Q3862437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3817575$8D829EB1-7D0B-4F52-97C8-95128B28B30E","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":"Q3817575$B19531E7-4315-4E7F-B3D8-61C6A64BD929","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c9465d6417bb77bd19e652eaf6c381784d12e8b","datavalue":{"value":{"entity-type":"item","numeric-id":3936229,"id":"Q3936229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3817575$D04CECFA-35FC-435E-8FE0-1B4C36C9BA11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2202ea6b7a5f8b2bf37b129e53958a44d2d21d02","datavalue":{"value":{"entity-type":"item","numeric-id":1133323,"id":"Q1133323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3817575$53CF4E30-73DB-452F-BDCF-78528170EB4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9887b9b79e33b21dbc3558d55c26558304b5187","datavalue":{"value":{"entity-type":"item","numeric-id":1243575,"id":"Q1243575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3817575$65E945E8-5A20-47F3-BF5C-179FDCB2CD8C","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":"Q3817575$14E16CF7-C7F2-437D-A4AA-CF55E2F2648C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"51c9ba6e78a26d5876834c3d3086aa5884ae25b5","datavalue":{"value":"10.1051/ITA/1988220403951","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3817575$D1A4707C-49F6-44A1-89EC-07A9CA95FE60","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":"f54b924294692ddc9b16ddfcae8edb81a646a902","datavalue":{"value":{"amount":"+0.8688606023788452","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":"Q3817575$99758BC4-1E35-4EA0-9BDF-3525D72BE882","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"62764164f29799fe8d0ae8df35215d455fabf373","datavalue":{"value":{"entity-type":"item","numeric-id":3817574,"id":"Q3817574"},"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":"Q3817575$8A7031D9-5468-4F4B-AECF-5B8BC049739B","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":"6bceab96830c9cd7a1bbf4d243bcb3dee32d1868","datavalue":{"value":{"amount":"+0.7731517553329468","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":"Q3817575$5CEB6E11-0AAF-45E8-B97C-7E49EC01592B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"951d8bb8d39156a60f6bbf5dc0b43576064fc32a","datavalue":{"value":{"entity-type":"item","numeric-id":4490719,"id":"Q4490719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d5a3dccd2dbffd9c25f5d412408723ad0ec903a","datavalue":{"value":{"amount":"+0.7332903742790222","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":"Q3817575$0A1FEDC7-D0B4-4D8C-A0B7-42494B555A71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2352ee682fade91aa8c4661f25c38eb106e5dabd","datavalue":{"value":{"entity-type":"item","numeric-id":4764614,"id":"Q4764614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72f982e6abce5119de6fd470f37f8923fd065118","datavalue":{"value":{"amount":"+0.7253859043121338","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":"Q3817575$DF8AB86A-C97B-432A-8BAF-72406B128A0D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Logic and functional programming by retractions : operational semantics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Logic_and_functional_programming_by_retractions_:_operational_semantics"}}}}}