{"entities":{"Q2864514":{"pageid":2875234,"ns":120,"title":"Item:Q2864514","lastrevid":51886364,"modified":"2026-01-20T11:42:28Z","type":"item","id":"Q2864514","labels":{"en":{"language":"en","value":"Semantic determinism and functional logic program properties"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6236509"}},"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":"Q2864514$59B4F97E-C6FD-43C9-95C3-031FD1B7546D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1945c5b3e8c6e60b117acfe669fe88bf5e9ecfdf","datavalue":{"value":"1277.68048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2864514$09EA8E16-3698-4695-8B53-9FD24722746D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"658962e529e8590924b816f2bc0d1082c865cae3","datavalue":{"value":{"entity-type":"item","numeric-id":2864513,"id":"Q2864513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864514$DC70849A-5478-4712-A01B-1B2860AC131D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ec8382f359196c686b16dff13fed23e354206080","datavalue":{"value":{"entity-type":"item","numeric-id":880983,"id":"Q880983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864514$FC29CC51-4EE3-4748-8DFB-B66BBEC22B21","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864514$2837AD55-A49A-4191-B5F6-FD87220F3746","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"deb6cb3450bd256fc635dc32234471403070c2b7","datavalue":{"value":{"time":"+2013-12-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2864514$C8E24778-0E76-4038-8860-D907FF1AAAFE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2864514$8FD099E9-A6C0-4168-AF0E-1C96000131D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2864514$5E384720-14A3-4E4E-B7B2-CC2AE3EBACF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2864514$F00195B2-2914-47AC-8B25-028D49669706","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"68f349432f76299bb095b18c5e6203db0608acec","datavalue":{"value":"6236509","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2864514$79B625DF-1C07-4F5B-B32E-7B583CEAE9C8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb4fb8c29fbb296345b09a1840f7931ec0647a4e","datavalue":{"value":"program properties","type":"string"},"datatype":"string"},"type":"statement","id":"Q2864514$BC23652E-06EF-4222-8FA5-0865B3ABE44E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"85bae75b2024f4dd73d8610bb3ebb834d7409639","datavalue":{"value":"functional-logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q2864514$9E8E78C7-E7F0-42A4-BF8F-98C309E495DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"702ad97d4e2b24625fd691afb2e325c7714cbced","datavalue":{"value":"semantic determinism","type":"string"},"datatype":"string"},"type":"statement","id":"Q2864514$37ADB182-BCC7-4B27-BEC4-0B83479FB5FA","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"36f5026b55bb5cc68aa4d2933cfba0f3ca08a59d","datavalue":{"value":{"entity-type":"item","numeric-id":21791,"id":"Q21791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864514$529932E3-0D7C-433A-B6E9-4AC64CA0B278","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":"Q2864514$FB92BDFD-A547-414B-B283-3F6C83DD23BE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"500eb6c3755c72d22b30de5843cb4c2f147d4317","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2006.10.018","type":"string"},"datatype":"url"},"type":"statement","id":"Q2864514$6EAAE1EF-688A-453B-A2D6-BF1CD79C56D4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"57453c999b01e14610206b730d5b22bd240788a9","datavalue":{"value":"W2032660789","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2864514$53745FBA-F3D7-44C0-BB60-5662F28D9357","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad98271371a73cd751708bcec7e68493904350d8","datavalue":{"value":{"entity-type":"item","numeric-id":4364366,"id":"Q4364366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864514$878D5EBB-D02A-42F0-96E2-DC2E0A3115E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f3ea02b15a15931f4cd364dd4a0ce61e10ac225","datavalue":{"value":{"entity-type":"item","numeric-id":703860,"id":"Q703860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864514$9E5B21C5-BA3D-43C7-97EA-7B56AB55EAD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0cf3ae1dd6f058656e08378c10071bcd1b4cb300","datavalue":{"value":{"entity-type":"item","numeric-id":5475783,"id":"Q5475783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864514$E025490C-2BA0-47BB-AB15-8E175720B4F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7694d0d07129d4904b1fa011fa6e6152932392ea","datavalue":{"value":{"entity-type":"item","numeric-id":4700443,"id":"Q4700443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864514$CA80854E-1D16-4EF8-9ECD-EC9023DC2E9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbacf3649d53b3bdd0ab8b4a658179402facfa47","datavalue":{"value":{"entity-type":"item","numeric-id":3992231,"id":"Q3992231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864514$BD7820DF-2E3B-4F4B-8C50-490792193E5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c264d0378a5f30df399a3e5c6ab315df59ddacaa","datavalue":{"value":{"entity-type":"item","numeric-id":1190488,"id":"Q1190488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864514$E3B72D9B-9571-45BE-977D-CBA44A38AC3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84afe353d96a988928bd5d41e96afba7e81d6980","datavalue":{"value":{"entity-type":"item","numeric-id":1600086,"id":"Q1600086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864514$7548A619-9AFC-4223-8E4F-E3BA0773E9C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bad398902774d214614996f79773446e76a3efed","datavalue":{"value":{"entity-type":"item","numeric-id":4664063,"id":"Q4664063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864514$FB8CBFDF-BD60-4135-A3F1-EBB22694482F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ac9ec7cc70f22c579e23f5b0a5c22fb94dde2b98","datavalue":{"value":"10.1016/J.ENTCS.2006.10.018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2864514$7E2EED4C-111F-462A-8257-57BDF1D897C9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"654dd7904d70e1b7324093bdc74e1662b324bfbf","datavalue":{"value":{"text":"Semantic determinism and functional logic program properties","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2864514$2A99B077-C3DF-462A-A765-84124CCAA663","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0986c1983057e3b3c89b53ec2b506e55d829333","datavalue":{"value":{"entity-type":"item","numeric-id":2867964,"id":"Q2867964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee2b364be0b6edd6f5bd5bdb3a579bc0c734e59c","datavalue":{"value":{"amount":"+0.8001395463943481","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":"Q2864514$AA3C0925-C461-4626-B166-D6286749702A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53fc14f28f779ee664abe90d622ef65bb0974d7b","datavalue":{"value":{"entity-type":"item","numeric-id":673493,"id":"Q673493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4eabb983879c449690b7d2d7ed32a6d72943470","datavalue":{"value":{"amount":"+0.7765065431594849","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":"Q2864514$E4FC0DBF-7E89-430C-942B-40AB5291AEE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6336123601a7a9528e15fd9bf0e208bf110c241e","datavalue":{"value":{"entity-type":"item","numeric-id":2996183,"id":"Q2996183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb054ee9b6f672089e3b2ff2c038fe0a695171f2","datavalue":{"value":{"amount":"+0.7748106718063354","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":"Q2864514$35340330-874F-4160-8080-C1968ED47175","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd83810aae694b2596becfd5c8b210f63bc21e9b","datavalue":{"value":{"entity-type":"item","numeric-id":4287479,"id":"Q4287479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"377781c261a5c4eb2d72481afb8ec033a2cc6182","datavalue":{"value":{"amount":"+0.7747597694396973","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":"Q2864514$59829D3E-AC3D-4740-9498-ADC3DAAD9698","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19c341ba6d39cda177452b490acb0978c47e0cb6","datavalue":{"value":{"entity-type":"item","numeric-id":4362882,"id":"Q4362882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"855b3e9b6b880040d07503e989fc73b660f79f5c","datavalue":{"value":{"amount":"+0.7746602296829224","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":"Q2864514$5EAE94A0-E80F-4517-93F1-5A3175280F8E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2864514","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2864514"}}}}}