{"entities":{"Q1328181":{"pageid":1338931,"ns":120,"title":"Item:Q1328181","lastrevid":47257330,"modified":"2026-01-01T03:51:57Z","type":"item","id":"Q1328181","labels":{"en":{"language":"en","value":"A declarative approach for first-order built-in's of Prolog"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 599668"}},"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":"Q1328181$F6E2F253-4627-41FC-BC32-803719273CAD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e99306765ab69e19459973598973c21a4b063521","datavalue":{"value":{"text":"A declarative approach for first-order built-in's of Prolog","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1328181$FEAACE84-F69F-45F9-8253-D2BBF1BA43BB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3561eec2f0374f3aafe9aefa7ab5c77883822828","datavalue":{"value":"0815.68035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1328181$01C3F67C-49EC-4333-BAC1-9B3B0BCAD284","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b4f6024bd6f343c3d2c9e9ca4f8c7e972eaf8930","datavalue":{"value":"10.1007/BF01190828","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1328181$BBE73F0E-982A-4F39-928C-9C8502917812","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b6066cea2292dad22804c025246b70830e1a1139","datavalue":{"value":{"entity-type":"item","numeric-id":439941,"id":"Q439941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1328181$4803A102-C2DF-446C-9995-A37F5E3A5C36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fd39bdd97435cb252ccc6adb31389f5cafb87c72","datavalue":{"value":{"entity-type":"item","numeric-id":468676,"id":"Q468676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1328181$71373F02-513B-47BB-AC4F-69311321CC9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"aee728bcf2a6a691d2b429de3becc3dfd0edf5e0","datavalue":{"value":{"entity-type":"item","numeric-id":507370,"id":"Q507370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1328181$5C5A9A14-A1F2-485D-9582-C1579BC24676","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e71b1a810c94176f33b214acd409208085d409e4","datavalue":{"value":{"entity-type":"item","numeric-id":162945,"id":"Q162945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1328181$8135BF53-25C5-4132-AC45-70E725BEF2DB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8b439a09488bc2e6cdbf4d00c3a7f90f1bcfc4c1","datavalue":{"value":{"time":"+1994-07-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1328181$FFB926EC-CCC9-40EB-B9A4-935DB2CF7CFC","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"be9a21238e7e6dca0ddc844454a019369678b5f2","datavalue":{"value":"The aim of the paper is to provide a new non-standard declarative semantic for Prolog programs with built-in's that include arithmetic operations and metalogical relations like var and ground. Completeness of the Prolog computation mechanism w.r.t. this semantics is proved. The authors provide a method for proving termination of Prolog programs with built-in's which uses this semantics.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1328181$9EBBBA14-131E-47E7-9A0C-AAF5DC849013","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1328181$F58EDED8-7C44-41B9-A97F-2D228E7DD7FC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"38d0c3c10950328d313a38a1882ba823a9930b7f","datavalue":{"value":"599668","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1328181$0AFAA1EB-7B6E-474A-A020-305287F65940","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4c1d8e0f1d796851550859616623e3cffbb53022","datavalue":{"value":"non-standard declarative semantic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1328181$0429D5D6-37A6-4FF5-BA83-037B4AA7727D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"afd5f68c909b32d15246ca3700d59872a7aa7bdc","datavalue":{"value":"Prolog programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1328181$18EDA289-E8B3-475C-B32F-5481912BEC1D","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"05f3dff3edc7d97b14af7ecb326f488fb3fee31b","datavalue":{"value":{"entity-type":"item","numeric-id":583186,"id":"Q583186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1328181$C182EC82-FE7C-481A-923A-293B4D5569EE","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":"Q1328181$5FD412A9-7D82-46D0-89F9-A35638A0D111","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4174a7ffe887fe44527991607626ebbc7d92563a","datavalue":{"value":{"entity-type":"item","numeric-id":4385536,"id":"Q4385536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1328181$FF20E5E8-3940-4773-B852-FB95A977F623","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80b0fc355d7fc7d93efd003eb851afde985ba8c7","datavalue":{"value":{"entity-type":"item","numeric-id":3983042,"id":"Q3983042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1328181$2B4B9AEF-4471-4132-8115-E56ED9786823","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e39f7cbfbfe72bd6781372788077dabb486736fc","datavalue":{"value":{"entity-type":"item","numeric-id":4285644,"id":"Q4285644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1328181$22559EBC-77EF-4548-8226-4F10CAC2A418","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63f4296f5045f04d4a1d0a45b088713e387073ca","datavalue":{"value":{"entity-type":"item","numeric-id":1328181,"id":"Q1328181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1328181$32B74026-AA0D-4A7D-BCC3-F1B08ECEF694","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea05446166fe1b070fea7f2a42017bcc4179b3e2","datavalue":{"value":{"entity-type":"item","numeric-id":1308986,"id":"Q1308986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1328181$BB812088-FA35-4159-81DA-1AA1618FBFE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7cd08bbd57b91e65ccf72ea9e59c26d01142ee45","datavalue":{"value":{"entity-type":"item","numeric-id":4010351,"id":"Q4010351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1328181$96F5FB94-420B-4E85-B65B-9C099BA3C0DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec23c2cedbca993d6d20ae4992d574dd3364f15b","datavalue":{"value":{"entity-type":"item","numeric-id":2736363,"id":"Q2736363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1328181$BBE49AC2-7525-4282-9387-82DD68D363D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c01e8e2dbc9c1918b71036fb0d734eaab6816a1","datavalue":{"value":{"entity-type":"item","numeric-id":913530,"id":"Q913530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1328181$20159EE2-D35F-4E08-8AF4-8F1ABFD18502","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"606b55142cd4468a9a74e0ea3982d2b3991333cb","datavalue":{"value":{"entity-type":"item","numeric-id":3992908,"id":"Q3992908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1328181$6F543125-5168-4DB8-B1E9-3CDE86E19D16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03b5ec7b36ab9f9a9396a2be7f7246c57825af23","datavalue":{"value":{"entity-type":"item","numeric-id":3742689,"id":"Q3742689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1328181$FD18E7B1-9D69-4E6A-90A7-04ECAD7FFE99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5f91daa2195cbe510cefc59ffaafa18b1c28390","datavalue":{"value":{"entity-type":"item","numeric-id":4107888,"id":"Q4107888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1328181$0C11487B-D706-4825-9E30-B2C645F8FD4A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc77f27813c0c667a4e0f9574fc7001a283a3b2c","datavalue":{"value":{"entity-type":"item","numeric-id":4015950,"id":"Q4015950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c84f07630b58a533cb34d129a3c24efcec0c80c","datavalue":{"value":{"amount":"+0.7941603660583496","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":"Q1328181$9CBBD365-96F9-4B79-9F18-2C5528FF3528","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a054549614805bae41860ade89d7b28adc037780","datavalue":{"value":{"entity-type":"item","numeric-id":1818324,"id":"Q1818324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2073a7e83d771ce809dfc9da9ece2ffe0bcffa7","datavalue":{"value":{"amount":"+0.7772369384765625","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":"Q1328181$602EA0D0-8AE6-462E-B954-1A9DC55B0241","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8a6871bb4f93841a4ae277d8bc757504300d976","datavalue":{"value":{"entity-type":"item","numeric-id":3976572,"id":"Q3976572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed5f4d79c5df85bfd96b8c9e174f49a3c324fb89","datavalue":{"value":{"amount":"+0.7722856402397156","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":"Q1328181$0425CB43-5C10-4710-AAD5-393D5DA81453","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97045977dd143e7f917122ca4146ed169ad5ba2f","datavalue":{"value":{"entity-type":"item","numeric-id":4010351,"id":"Q4010351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ec9ffbe4019d3a3d028a5af5f94d59244b88038","datavalue":{"value":{"amount":"+0.7719741463661194","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":"Q1328181$DB2F4DEC-4A02-427A-89DD-AA129EE83D3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4658aeeec63d7e3ad22f9cc4371820983f8f2768","datavalue":{"value":{"entity-type":"item","numeric-id":3698285,"id":"Q3698285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ec9ffbe4019d3a3d028a5af5f94d59244b88038","datavalue":{"value":{"amount":"+0.7719741463661194","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":"Q1328181$F64153EF-0751-4033-AE70-CEF70B94D6C3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1328181","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1328181"}}}}}