{"entities":{"Q1077912":{"pageid":1088664,"ns":120,"title":"Item:Q1077912","lastrevid":69587394,"modified":"2026-04-13T08:01:35Z","type":"item","id":"Q1077912","labels":{"en":{"language":"en","value":"The occur-check problem in Prolog"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3958695"}},"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":"Q1077912$D4874AE0-FF52-4701-8E49-1BE7449E3DD8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1d4d0dea841b2dd2754f1576313258db5cb6bdbe","datavalue":{"value":{"text":"The occur-check problem in Prolog","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1077912$04AD94FE-FD93-4EB7-8851-5A7323898429","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d5b4eaed63f09948397e519e727bd31ccbfa5c24","datavalue":{"value":"0595.68007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1077912$587F5B21-8698-4CFB-8DA2-C30129913BF4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"726c8716fe2c6f426f9aa1d451939d08a7f1b8f7","datavalue":{"value":"10.1007/BF03037324","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1077912$08355C6E-B58D-421B-A2B6-F60CD37AD6A3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1ea61bc9b0eb2c27313173153e64e32651c2ebb5","datavalue":{"value":{"entity-type":"item","numeric-id":169889,"id":"Q169889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1077912$74B2A3EE-CCF6-4C05-BF12-6E4CB4C0160C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-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":"Q1077912$C6692F7E-6E5E-4111-8160-3BF87E28C7A2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1077912$9BFDD7BA-0B59-45F6-90E6-458F7F7DEB5B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"55a7c8d42818dd74daab2167ae491d349450ebbb","datavalue":{"value":"3958695","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1077912$AB37CBF1-06B3-4857-84B9-05BC77042015","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q1077912$F3E4C8C0-9109-4111-8F78-FF116D9630DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"411fd8184124cf726d3238c93865458f8ce85416","datavalue":{"value":"occur check","type":"string"},"datatype":"string"},"type":"statement","id":"Q1077912$F8EDC004-79DE-4FBE-B25E-944A60F4645E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3922eb0b8235fb2b824bcb3eaa0c8d395dbd512","datavalue":{"value":"unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1077912$55D660D2-8E8F-4C34-B28B-4D3EC6D3D399","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"afd5f68c909b32d15246ca3700d59872a7aa7bdc","datavalue":{"value":"Prolog programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1077912$A7C1C267-6673-4A98-B8FA-86F57CC02238","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"23e46f2be54967bbd7459206e0879eb62ae6d502","datavalue":{"value":"operatinal semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1077912$7472A2F9-3782-4B78-A619-DA1C0EF001FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1a250535976c55d0d83f766a663ca018f553759e","datavalue":{"value":"first-order predicate calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1077912$7748307E-967D-4D43-90B3-CEB7F7234DF8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"34f99c9947f4d98af9da609b6496b55645bbe075","datavalue":{"value":{"entity-type":"item","numeric-id":1238600,"id":"Q1238600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1077912$9FE834BC-99B5-439F-B862-7114F7E3FD1C","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":"Q1077912$6E0EAA8C-3429-42F6-A1D3-A8A63A807CE7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"70200912b15e3f6d8f97f26c605e4ed0a53464e8","datavalue":{"value":{"entity-type":"item","numeric-id":3919057,"id":"Q3919057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1077912$D1AB0BBE-8F30-4AD0-8B47-281124FECE1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e16d1dc4052e71d6b4ce452bdd1e1e49e7dff8b","datavalue":{"value":{"entity-type":"item","numeric-id":4144192,"id":"Q4144192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1077912$D597B716-30C9-4D1F-8A5B-3505199F4C8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f62ebef9379ad97d2bdc3c2e7f5717f221d056cb","datavalue":{"value":{"entity-type":"item","numeric-id":5514129,"id":"Q5514129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1077912$CE98BD10-ECC7-404B-AB7D-35D58828DCEC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aabd95913fb469b64fbd6aa52669a74d1d2a2395","datavalue":{"value":{"entity-type":"item","numeric-id":3792216,"id":"Q3792216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c3dc99fd82c0819aa941e77708a23907feac78a","datavalue":{"value":{"amount":"+0.8883756","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":"Q1077912$94305EBC-1EDC-47DC-9870-37320A6D5A78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26ebbb2924bd06ba4841e404b09785a8fdff9ff5","datavalue":{"value":{"entity-type":"item","numeric-id":3994926,"id":"Q3994926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf96d0166e205e5d52682c4651658637b5101a85","datavalue":{"value":{"amount":"+0.85249573","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":"Q1077912$CDB9557F-4E94-4D64-AE85-FB8709DE5493","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2987a461206cc454309de15a2136bc859d4f22be","datavalue":{"value":{"entity-type":"item","numeric-id":5449597,"id":"Q5449597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca496bda56b4e7f430a4aa11fe56a21b47931857","datavalue":{"value":{"amount":"+0.84853697","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":"Q1077912$6B69FDED-BDB4-4FAE-B4AB-C1E2F0B35073","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9747d5cc32acc92b8094d2576536993fccca383","datavalue":{"value":{"entity-type":"item","numeric-id":4285641,"id":"Q4285641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e889b5fbf617bc0f856613c7d8e459027364db2","datavalue":{"value":{"amount":"+0.84148425","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":"Q1077912$BC8C0460-E269-4818-A2BB-7422EE50DA84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0ac3e09bb537b2e99b37fcf7b213e67c3c87f4b","datavalue":{"value":{"entity-type":"item","numeric-id":5748901,"id":"Q5748901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf5c17af9ffdea2ca520fdfa776f0af9e0e02ac8","datavalue":{"value":{"amount":"+0.84121954","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":"Q1077912$04939668-CCE7-4F4A-8FDC-C4BE4ED3D59D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"173ea42de9c3d1d7a700bda05f56631e4abbf156","datavalue":{"value":{"entity-type":"item","numeric-id":4873987,"id":"Q4873987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0461617b7e6e440d750c9536659d4e780b454e75","datavalue":{"value":{"amount":"+0.8402673","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":"Q1077912$F18FAC99-A2E3-4733-A522-22B73A73D7E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b41371b969216bc9a7570be6f633462a7c39b43","datavalue":{"value":{"entity-type":"item","numeric-id":5743582,"id":"Q5743582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5692fba7b349af38b62f73e669db6a074436952f","datavalue":{"value":{"amount":"+0.8265987","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":"Q1077912$CA3B2324-B10B-4D9C-AE1A-2A8999C26109","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af6d7e8322cb376c8fa7f3ca58a49fc39e5775fa","datavalue":{"value":{"entity-type":"item","numeric-id":2628296,"id":"Q2628296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94e3ab5d91d3ccf1e40a9dc4eaa6678629f6318d","datavalue":{"value":{"amount":"+0.8265986","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":"Q1077912$CF956427-5B7F-4D9A-B026-5F27BC925F44","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The occur-check problem in Prolog","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_occur-check_problem_in_Prolog"}}}}}