{"entities":{"Q4895546":{"pageid":6925125,"ns":120,"title":"Item:Q4895546","lastrevid":46398279,"modified":"2025-12-24T17:10:53Z","type":"item","id":"Q4895546","labels":{"en":{"language":"en","value":"Resultant semantics for prolog"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 935189"}},"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":"Q4895546$474CD399-38F3-46C0-847F-DB93EA8B0814","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"423048f4c92196477153c7098c0fd5338675f245","datavalue":{"value":{"text":"Resultant semantics for prolog","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4895546$120BBA4E-0269-47A1-992D-9A5864A2FC03","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bfbf5f7b6153c969b9d7c974b95f421b1f498b04","datavalue":{"value":"0856.68038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4895546$1A307422-671F-4E8A-91D1-FA2DEB008F61","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d4abf1cf11f5de92d0263da0760474f1adf0a61a","datavalue":{"value":{"entity-type":"item","numeric-id":276550,"id":"Q276550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4895546$005612A7-ACAB-4473-BF1F-A29E079767FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1faba4ab685495a35b56427fd7aa15d7c09eb130","datavalue":{"value":{"entity-type":"item","numeric-id":388221,"id":"Q388221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4895546$62F913F5-82CC-41EC-8677-2B906916761C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d5e5a5ffda3b91beac514a35e59d9924cc050864","datavalue":{"value":{"entity-type":"item","numeric-id":915475,"id":"Q915475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4895546$C2000EB6-E342-4CEB-A0E9-92FE3A8FBA87","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b7ae9752aff2dd48bc096a697062a482a7ea4d20","datavalue":{"value":{"time":"+1997-02-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4895546$A2A14AD0-3050-4024-848E-9046C06055E1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4895546$248305C8-EC5B-416B-9D49-D82EC5F32975","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9f50279c6e4b6e0ab997cf3bd7bba6c1064ec24b","datavalue":{"value":"935189","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4895546$25A95FED-9629-431A-9F9D-577EB7D0963A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0303172da99673357ddc71384a27b005487e7853","datavalue":{"value":"logic programming theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4895546$4B7D30D1-033B-45BE-8DB9-21707E0C5AED","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":"Q4895546$6EBC5D59-CF98-4C26-9170-675866700AB6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3160a8462e1c861691843ff4882e90ba057108f2","datavalue":{"value":"https://doi.org/10.1093/logcom/6.4.491","type":"string"},"datatype":"url"},"type":"statement","id":"Q4895546$AB87BBE6-6FA2-40EC-B5F6-9A4F349CB87F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cfa71896012ae7c6f7f46a20f8ae037b7e0c73ab","datavalue":{"value":"W2120913343","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4895546$67BCFCB2-E481-446F-B52B-994DFBF61C00","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9883ad9950aafa2ed1a55a785a7ae170193122e0","datavalue":{"value":"10.1093/LOGCOM/6.4.491","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4895546$C267EFCE-20DE-49D8-B719-50D7427DA26A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4895546$E13B8EE1-08FC-4A03-959F-6C3E67B988B3","rank":"normal"}],"P1643":[{"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":"c765e4e4cab8f4631c6bc202e258ebedd8ea221c","datavalue":{"value":{"amount":"+0.7634532451629639","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":"Q4895546$3455D788-6549-45DB-8A5C-633A74906510","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c341bf1d3870c82e47645f91cdc493dbde7b6c2","datavalue":{"value":{"entity-type":"item","numeric-id":4856950,"id":"Q4856950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"010bea06472d3791b188533c3130d926a4ca9ebf","datavalue":{"value":{"amount":"+0.7586436867713928","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":"Q4895546$0A7CDC2D-CB10-4049-B866-CDF1AA0900BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17fc9aa8c1f002d1f89b0e6ecfaca75980b8ca9a","datavalue":{"value":{"entity-type":"item","numeric-id":913532,"id":"Q913532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31c8338e68c73e2a0b5cf1f0b063777afaaca1c0","datavalue":{"value":{"amount":"+0.7557032704353333","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":"Q4895546$6906FC97-4507-49B5-980F-89FC8AB0ACC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c32f6ce882750b852e0f4628776c07bf87adb1a1","datavalue":{"value":{"entity-type":"item","numeric-id":4002997,"id":"Q4002997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3e011a47081dddc290d434632bbe590d18bc586","datavalue":{"value":{"amount":"+0.7525225281715393","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":"Q4895546$0A98C31E-8830-4EC6-9CA0-61DCF5D730F0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4895546","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4895546"}}}}}