{"entities":{"Q1390936":{"pageid":1401676,"ns":120,"title":"Item:Q1390936","lastrevid":68606634,"modified":"2026-04-13T00:53:01Z","type":"item","id":"Q1390936","labels":{"en":{"language":"en","value":"A logical semantics for depth-first Prolog with ground negation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1177644"}},"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":"Q1390936$E133F40F-FD13-46C7-9166-F939B3A5EF0F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"940f803d45af92a88464bd0dabda1ee2275a48e3","datavalue":{"value":{"text":"A logical semantics for depth-first Prolog with ground negation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1390936$E96E8A48-6C71-430F-BE11-F019386965DD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"aefb58928cae59e6407f4918927636f67a9e5119","datavalue":{"value":"0911.68135","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1390936$07457A1A-AAB8-461B-933B-624E9F9D6A0C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8568a72b0bc07238f823d760c8286d9ee6c2a95a","datavalue":{"value":"10.1016/S0304-3975(96)00138-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1390936$FAFA15DF-5F26-4BBD-802B-29B0FE99FD92","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ef0ea631c98980e80358e1b48129f32c64d7dc4b","datavalue":{"value":{"entity-type":"item","numeric-id":1390935,"id":"Q1390935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1390936$4D8919CA-9344-4E54-BBA0-4782BB2D26A8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1390936$0BB073B5-5E0B-416B-83CA-9BAE1FB0BF34","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"04855ee36d302f814b50229947d6c78840861251","datavalue":{"value":{"time":"+1998-07-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1390936$9EE9278C-01A1-4766-BD93-55DC00BE8B67","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1390936$DBDB71C7-32D7-4767-AB0F-A2EFE187A3F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1390936$137E39CA-6DAB-4DE9-A5D0-FF74697E84B8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"51815e20bc4f1bd8b813f6619acb0bc4ee79b64a","datavalue":{"value":"1177644","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1390936$5AE762CE-5DE5-4199-94E5-BC3ECC292903","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q1390936$24FF32CA-6D2D-4AF5-8BBB-4F9393EE15F2","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":"Q1390936$0BF70B93-DC08-4BD6-9CC6-F8DCEC32FF7D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"666647ca3e253e0a0a19619cf27a17abf31bf178","datavalue":{"value":{"entity-type":"item","numeric-id":4023589,"id":"Q4023589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1390936$99EB0012-DCA7-4A9D-A807-E78B505D6D4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3602e75d4f5fa16bfe4f86530f0ea474ede400a8","datavalue":{"value":{"entity-type":"item","numeric-id":1390936,"id":"Q1390936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1390936$79E6DA14-2ACB-4064-86A7-415D02679064","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"129c6431267c37f0191f54aa4226a4ffe6e2b1db","datavalue":{"value":{"entity-type":"item","numeric-id":1346766,"id":"Q1346766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1390936$36842F10-AE08-4C30-8DB2-7610F832662E","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":"Q1390936$06694B45-7FCC-4DFE-B4A2-884E39D580C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9244cfa0cc83c54f6dddc3fcd9671a0260655de","datavalue":{"value":{"entity-type":"item","numeric-id":3942361,"id":"Q3942361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1390936$0742DEF0-D814-4682-942F-577707865872","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89b2cdb408e129191380bf97864d34919350425e","datavalue":{"value":{"entity-type":"item","numeric-id":3768369,"id":"Q3768369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1390936$759DA36E-9646-4E28-8876-CD9C7F7C0C4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c649ecd3f46763dd0e84c5a10533095fbf4751b","datavalue":{"value":{"entity-type":"item","numeric-id":4286208,"id":"Q4286208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1390936$9154B64A-4A91-4C52-82B8-17680D5A4E09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d91a792c3f5958d444e95b19112ae08c0cc6b4b","datavalue":{"value":{"entity-type":"item","numeric-id":4015950,"id":"Q4015950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1390936$5F8C84B5-9231-410E-A728-D5A62C63D861","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5a3768f9178495dd2a65db2685e2dc39f9eef9b","datavalue":{"value":{"entity-type":"item","numeric-id":3206928,"id":"Q3206928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1390936$DCA9F1CD-BAC7-4943-B43F-D9EA4B1A5DE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47f8353d47948af0a7e75ba237a7378c5bfed617","datavalue":{"value":{"entity-type":"item","numeric-id":4036282,"id":"Q4036282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1390936$657A7BA9-955F-4128-9D05-097798F03A7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb0c296e80c33227ed344639e5abb587f0f010d3","datavalue":{"value":{"entity-type":"item","numeric-id":912643,"id":"Q912643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1390936$C96EE4D3-B9A7-4D6A-8B37-A996B2E8DE92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d4e8988a0d40e2e696ae3fd090888f6d112d6f8","datavalue":{"value":{"entity-type":"item","numeric-id":3976572,"id":"Q3976572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1390936$989447C3-D69E-4E92-94AF-B269F95D2DAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c5ae7e408b1d1201c271e00762d47096e39a012","datavalue":{"value":{"entity-type":"item","numeric-id":4111080,"id":"Q4111080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1390936$51E00A23-19DF-4F5E-A352-7AEE83470A90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"673b4c7ae8a199b2173754a4cabb2c5688edff4e","datavalue":{"value":{"entity-type":"item","numeric-id":3769948,"id":"Q3769948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1390936$1D86D3E8-3D58-4B6A-B477-4067BF462F59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23ed8d768b1c3510027096ce1b7756a74ca03732","datavalue":{"value":{"entity-type":"item","numeric-id":1186100,"id":"Q1186100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1390936$0386E075-FD82-42E7-A13E-BD87A2E25AEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a758190ac23ff7b3dba8858d2a10f4c2ab5bf229","datavalue":{"value":{"entity-type":"item","numeric-id":3718131,"id":"Q3718131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1390936$559C0365-77A6-4FC3-82F9-C2219F15993C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf0e2e6509392464c0e3bef27385ef4d4baa21d7","datavalue":{"value":{"entity-type":"item","numeric-id":3698285,"id":"Q3698285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1390936$442CD4EB-2CA2-4918-B120-8ECC153E083B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92c814aea923501d6e55b16e4e69e66c62b81297","datavalue":{"value":{"entity-type":"item","numeric-id":1200981,"id":"Q1200981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1390936$0C740CE8-A500-4005-B451-0B9EDBD5C06B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"505934f239764a448f53660aee28756b7b008a6e","datavalue":{"value":{"entity-type":"item","numeric-id":4523164,"id":"Q4523164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1390936$73A2AC81-8E47-47F5-AE8B-001BC6FDAA27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34af38d5111b224227bb34c206e67304c54c4735","datavalue":{"value":{"entity-type":"item","numeric-id":3802588,"id":"Q3802588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1390936$382D1698-759A-4AEA-BA28-57B18ED12A7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03dcc815537b517cc71ed958068897d2b199f6d8","datavalue":{"value":{"entity-type":"item","numeric-id":3339245,"id":"Q3339245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1390936$0636261C-926A-480A-B3F0-49F80E351D2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aebd32d099ee8c91552756addce4fb86715ed2d8","datavalue":{"value":{"entity-type":"item","numeric-id":2640596,"id":"Q2640596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1390936$F8EBA75A-11B7-4A81-B42E-D7AE18C46164","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6fd86a574ce52183f6056be53a5d5584999bfd8","datavalue":{"value":{"entity-type":"item","numeric-id":1082058,"id":"Q1082058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1390936$25208BF9-1193-4FA3-85CF-E82A986A35BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66d102eeedc0eb3199ce5808a637283d2af0ab5d","datavalue":{"value":{"entity-type":"item","numeric-id":1878719,"id":"Q1878719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1390936$05ABC57D-0AA6-4324-8F15-62464F9DFB87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47ce917b966191fcc55cb06979ce350d12396960","datavalue":{"value":{"entity-type":"item","numeric-id":1188722,"id":"Q1188722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1390936$1202B7CD-7569-4EED-B8B2-0380D4CB8AB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c7131961733657149324accb1bf1a2a8d31f182","datavalue":{"value":{"entity-type":"item","numeric-id":1079942,"id":"Q1079942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1390936$191920BC-280B-4BD2-8687-FDF14A10D806","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07265dcebfa8ff6737e70a56a120115cd6df8d1e","datavalue":{"value":{"entity-type":"item","numeric-id":4036289,"id":"Q4036289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1390936$B1F3680B-AFAC-4F04-9C83-ADCD89A2EE1F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa4015c7edd08aa302dde3b18ed9e10718a9b625","datavalue":{"value":{"entity-type":"item","numeric-id":3992225,"id":"Q3992225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c94a7af044c02c38b0a523e70fad110e7cd6c6d8","datavalue":{"value":{"amount":"+0.9278201","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1390936$8538067D-5354-4C10-B305-A5584697EEB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be13f8f54e6cdd49feb173cc54dd59a7a8a3f429","datavalue":{"value":{"entity-type":"item","numeric-id":5750390,"id":"Q5750390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f82706d0125d0d8d0c7e82b22cbbbaaf632ff020","datavalue":{"value":{"amount":"+0.91868407","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1390936$139DF567-3102-402E-89DA-B31B7951E8EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"215424cedc3f94294c4ff39d0589f9f4e3875e08","datavalue":{"value":{"entity-type":"item","numeric-id":3975936,"id":"Q3975936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f486ed4bc318f69cf11a554b5186825112bd94e2","datavalue":{"value":{"amount":"+0.90722835","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1390936$0B32934B-CBEF-43EB-A0DE-408951C03E42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e3930b4b9d23f3be48f7037d728e33d66571235","datavalue":{"value":{"entity-type":"item","numeric-id":4296303,"id":"Q4296303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bcfefa1b11316f395d29d8b0cfca93d6ace9cbeb","datavalue":{"value":{"amount":"+0.9051051","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1390936$1EC26CB7-FAA7-4721-8568-8F0A19827826","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c51c90c970deaba0916d13f5725a284ff456bece","datavalue":{"value":{"entity-type":"item","numeric-id":4018068,"id":"Q4018068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3f2254877d6f256ab92196ca94879379e6bd8fc","datavalue":{"value":{"amount":"+0.8975342","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1390936$14033915-B985-42D2-B896-EC0BC8945D69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6181457074f4aec95ea08d39e309cc647d3465e4","datavalue":{"value":{"entity-type":"item","numeric-id":4708597,"id":"Q4708597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e354de23cd3529bf256cfd680e5f73198805ec32","datavalue":{"value":{"amount":"+0.88870156","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1390936$9AE8435C-A13D-41A1-99F1-1138D9499840","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":"6349dade4cf492e082ad7fcb716d733338f5a841","datavalue":{"value":{"amount":"+0.88838553","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1390936$51ADF241-7CF4-4458-B56D-7BDAB375FBFC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A logical semantics for depth-first Prolog with ground negation","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_logical_semantics_for_depth-first_Prolog_with_ground_negation"}}}}}