{"entities":{"Q3721797":{"pageid":5751703,"ns":120,"title":"Item:Q3721797","lastrevid":50692211,"modified":"2026-01-14T20:04:22Z","type":"item","id":"Q3721797","labels":{"en":{"language":"en","value":"A deterministic prolog fixpoint semantics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3951987"}},"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":"Q3721797$64FB870F-E0BF-46C5-9D7B-D0DB4A858FA4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"02238db5b99444cf3a413c8cc830a1eba5ae13ec","datavalue":{"value":{"text":"A deterministic prolog fixpoint semantics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3721797$22194D41-AC14-4C15-AC21-4EBDA1E4D027","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5dcef333c94a2c7e21f4e013ab2063c0f183b0cf","datavalue":{"value":"0592.68021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3721797$C7809BEA-8010-4504-9FB6-35A32B53DF22","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d2920ce4550bd4723aa356d395d3e2db948ae62c","datavalue":{"value":"10.1016/0743-1066(85)90014-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3721797$6A687776-53AE-42F6-8384-F28D5B84C060","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc95965cf49dfa3d07b440b1790cabedc2634253","datavalue":{"value":{"entity-type":"item","numeric-id":229752,"id":"Q229752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3721797$707CF466-0BD7-4C3C-9F34-76B9F5D98AB9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7eb8fbff5b5a1996cd7eff3ff7a29f3a29661a8f","datavalue":{"value":{"entity-type":"item","numeric-id":3030270,"id":"Q3030270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3721797$08ADC4E7-E321-4DEC-A358-6E4750675C3D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-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":"Q3721797$08CDF188-B8BA-4F4D-8E1C-3D38C0A0123B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3721797$5B7FC02C-B9F9-4D84-B8F9-16B96C4EF8E6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"49142227216b6f84538e850561bcdbf421c929a0","datavalue":{"value":"3951987","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3721797$D0924F4A-9A42-40AA-A825-47FDACA15B9B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d15a5b88457b15e43f49d0900c124a1c1adc72df","datavalue":{"value":"operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3721797$220D1508-2662-4B10-B528-B6CDB25943EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"453868b3ecd4cc2ceb48419daecef9c56fc8bd79","datavalue":{"value":"fixpoint semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3721797$F1BCFB20-56D1-476A-90A7-05006B8D835E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc301e83b45696de572ac99e0b5314b22387f5a3","datavalue":{"value":"PROLOG","type":"string"},"datatype":"string"},"type":"statement","id":"Q3721797$F57930AC-A581-4811-AB96-2ADB6010D860","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9be4a405dbfe60d6c68b4e5905cb117bfa4d1c54","datavalue":{"value":"deterministic control structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q3721797$F26BA9FE-4DD9-48F7-8442-9D794AD1533A","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":"Q3721797$D56CBCC4-C901-40CD-92FD-94107D8F280E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7152fdce9bb15e42e1b3c7d6ea0df641f5a971a9","datavalue":{"value":"https://doi.org/10.1016/0743-1066(85)90014-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q3721797$F2FCF607-A312-4F6B-A39E-0B72EA7FE168","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5b076746e3414276c1142e5b5065489f89f90c49","datavalue":{"value":"W2085592760","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3721797$BE588DFE-8283-4C39-A008-434899FCE5F2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9182f7bf2ac57e21698bbe82f88190f2ce2cb191","datavalue":{"value":{"entity-type":"item","numeric-id":3769948,"id":"Q3769948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5571eca76f252b27312aaae98a48ae6e0a3360d","datavalue":{"value":{"amount":"+0.8022053837776184","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":"Q3721797$7E63BEC3-DF7E-416A-B182-FBBA3A648E7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5db0746721361a73e2ffa4e95b12e802b993232e","datavalue":{"value":{"entity-type":"item","numeric-id":1605173,"id":"Q1605173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43a889faff2c9d00f17da2c52cf873c76bea8700","datavalue":{"value":{"amount":"+0.7978242635726929","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":"Q3721797$939478BD-B325-49AB-BF30-A07F1BE9C93F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3de4da299437f702528f1f2d9f54c4a913c4f20f","datavalue":{"value":{"entity-type":"item","numeric-id":3079915,"id":"Q3079915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd4a7732f5dc8dc7687bb9a9bfbd420919ab776b","datavalue":{"value":{"amount":"+0.7940760254859924","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":"Q3721797$A7D2A8A2-BE85-47BE-9E82-EA93B4923AF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c232ee1a6f16df5ae249773f3be64b99b4f5780b","datavalue":{"value":{"entity-type":"item","numeric-id":3829060,"id":"Q3829060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88a7a553c2502bbff159adbfc454c0147ce32ab6","datavalue":{"value":{"amount":"+0.7743251323699951","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":"Q3721797$4890CE20-6DB1-4702-ACA9-90DCF5CD69BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ff45b691a4c2d08a9e78be0657663cf5915fbfd","datavalue":{"value":{"entity-type":"item","numeric-id":920622,"id":"Q920622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75a0a0e177f838953742cdad2e2d3ea61f905576","datavalue":{"value":{"amount":"+0.7720527648925781","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":"Q3721797$7D39A749-C7E7-479B-AD7D-FF999179492A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3721797","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3721797"}}}}}