{"entities":{"Q3769948":{"pageid":5799854,"ns":120,"title":"Item:Q3769948","lastrevid":52020866,"modified":"2026-01-20T18:45:42Z","type":"item","id":"Q3769948","labels":{"en":{"language":"en","value":"Denotational and operational semantics for prolog"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4028876"}},"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":"Q3769948$0FB49177-3D82-47EC-AAE7-631F5F4C45BB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f947ccb570b5dd7238d103ab84a1ca78c196d08e","datavalue":{"value":{"text":"Denotational and operational semantics for prolog","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3769948$B9631044-607A-4159-8024-C06BC2718D05","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d2fb2af31959b89902c47fb179b3bc801d83cc45","datavalue":{"value":"0632.68020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3769948$BE896185-F606-4938-9AC4-476B3FACE130","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0cee200e621493c5adfa03545d4885e587a9df74","datavalue":{"value":"10.1016/0743-1066(88)90007-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3769948$D81954A1-CC15-4733-A202-528BA2908102","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dc9f91512d0b27503ca900c6174d7c9baec34bef","datavalue":{"value":{"entity-type":"item","numeric-id":2339469,"id":"Q2339469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3769948$E84A4048-B278-4EEC-B585-E35CFC0818CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d8d91fd0881e6ef6215cd6d50b076c8812b98415","datavalue":{"value":{"entity-type":"item","numeric-id":914356,"id":"Q914356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3769948$7D6AF2B9-09A5-4CE9-B914-06A503282634","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":"Q3769948$704F9EBC-0374-4CAB-9354-789A2E4DB6A0","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":"Q3769948$E79B754D-8DDE-4C34-9312-4B80FD045A64","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3769948$B3647AA6-71FF-4396-885B-84B1509FD57D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"09ea4e2b02eb6b557418ba46ee4d5623a7f8f29e","datavalue":{"value":"4028876","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3769948$A8C212CE-1148-474E-A13C-13EFDA5A33D9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a4415e290eb393f888e407ace480b5467d7bfc5","datavalue":{"value":"PROLOG programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3769948$CA85B02D-AC4A-4401-B923-A48FA2EABCAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3769948$5DBC9713-C8C8-44B8-89B8-6261141F7655","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eeea063ca083a1cb3ea723413ccc6d7108a9c007","datavalue":{"value":"PROLOG implementations","type":"string"},"datatype":"string"},"type":"statement","id":"Q3769948$F7075B4C-DD9D-4216-893E-2D98A255A6E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a0b60cfffbe5486bc73340c76fa796c7f85f5218","datavalue":{"value":"sequential evaluation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3769948$337E0F96-843B-4446-A44B-F4FE849FEFA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8e41c774d8a144053e2f3c6ffe55442f74fd25e1","datavalue":{"value":"computational behavior of PROLOG","type":"string"},"datatype":"string"},"type":"statement","id":"Q3769948$097D6B5C-F929-412A-8E2E-4DDDE34B85B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"507792757843f5a2ffdeafc7c000e1e62f23395b","datavalue":{"value":"congruence proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q3769948$FF5112C2-582E-4348-90C6-5C1FCA9AAC32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"efb9c41c61b3826e17e58428062484542f04e962","datavalue":{"value":"operational interpreter","type":"string"},"datatype":"string"},"type":"statement","id":"Q3769948$E8061BC8-D576-487F-A12E-667E47C65F20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9ac4ef6ef6c5f8856ee80195276e724e0b6225a","datavalue":{"value":"correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3769948$3E78C0D9-347E-4FE1-A8CD-2F67C7F5B227","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":"Q3769948$2E726B21-45B8-4C2F-82C1-FDDFC099AFAE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"34715a04f880a93e3e47d03272fc152931e0665a","datavalue":{"value":"https://doi.org/10.1016/0743-1066(88)90007-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q3769948$B1B8C9A4-B9E0-4892-9CFF-6A54703B1E84","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e059f415cd4ea90bc5028bf3be6e8cd34ab13563","datavalue":{"value":"W2063236708","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3769948$9E5B2708-E0AA-45CA-B24E-7AF5EE6E59F8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5439f22e6b4bd03640ca7837e4deba654a76aff","datavalue":{"value":{"entity-type":"item","numeric-id":4934231,"id":"Q4934231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74f61a4a713723e7cac5c0fe690491038c455e54","datavalue":{"value":{"amount":"+0.8811019659042358","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":"Q3769948$0876A0A6-3A63-4D8D-9D33-F06C37066AB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0576ae00502862466f613737e9caca85a84a6432","datavalue":{"value":{"entity-type":"item","numeric-id":912643,"id":"Q912643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bde8bfc4131f8df02c1e12edffdf74ad7092cbbe","datavalue":{"value":{"amount":"+0.8768917322158813","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":"Q3769948$BD72BC04-6BC4-463C-A4BC-BD1E04820A19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6cf1bf4ffb49442dd97750b163245d7db1e0dc8f","datavalue":{"value":{"entity-type":"item","numeric-id":3768369,"id":"Q3768369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f48a1fd917257d3d5fa3cbd77106712df4247d1f","datavalue":{"value":{"amount":"+0.8732017278671265","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":"Q3769948$112CA269-798C-4755-8AFE-8025DE0C2A44","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":"0b257a740f5942c4d4892c82c09c50c45286737f","datavalue":{"value":{"amount":"+0.8630586266517639","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":"Q3769948$E80FD74D-AB3B-4835-B9F8-C3357D758019","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b2bc69f520970fc4718370909c30f08c5215888","datavalue":{"value":{"entity-type":"item","numeric-id":805227,"id":"Q805227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"270d64b619bc7210928f8caf3a1ff2318aad9597","datavalue":{"value":{"amount":"+0.8367162942886353","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":"Q3769948$D8DF23BC-5506-417E-AF0B-B1552CCAC70A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3769948","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3769948"}}}}}