{"entities":{"Q913532":{"pageid":915380,"ns":120,"title":"Item:Q913532","lastrevid":65308347,"modified":"2026-04-12T01:41:30Z","type":"item","id":"Q913532","labels":{"en":{"language":"en","value":"Semantics for logic programs without occur check"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4147559"}},"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":"Q913532$168936B7-B44F-40C9-B26B-A38BB34D9BF7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"83970de9a4dcfdd35f5437167fe710dcf6c7b0f6","datavalue":{"value":{"text":"Semantics for logic programs without occur check","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q913532$B70B963E-DA1B-4867-885D-703148F88DBB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cdc892275c8cdb4f124f4b3c2952edafc8aae6e4","datavalue":{"value":"0699.68114","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q913532$D5BE1C0A-2617-466C-B7D1-0D70D46E6853","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d48911124b08ba54bd7db3e68bdd38c843ad1ea0","datavalue":{"value":"10.1016/0304-3975(90)90194-M","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q913532$94C7E364-6CA0-4930-9B45-ED99D4622738","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c0e69d6ee1f10b0c5a1746cf73e091ca500f0079","datavalue":{"value":{"entity-type":"item","numeric-id":913531,"id":"Q913531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q913532$6D1AAC65-76FD-45AD-824A-F5604E8132EF","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":"Q913532$0129C821-DE1D-47DA-89C4-E898522A02EB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-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":"Q913532$501E685D-74A1-4C69-9DFD-717F3834EA5B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q913532$FBBB5679-E768-4D8F-B8D7-7EFF258D21C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q913532$1997E1BD-C342-44E9-8A17-E281030B8FA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q913532$527481A6-A97C-43E3-892F-E6BE4B3FCF02","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f5a765b6a9fa2e67e086576243019e0d83a695b4","datavalue":{"value":"4147559","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q913532$21986FE3-2391-4637-8331-B6382BEC80F1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff67fedbe8c50d3daca036875aed531217cd953b","datavalue":{"value":"Prolog","type":"string"},"datatype":"string"},"type":"statement","id":"Q913532$1719F018-9AF3-4CE0-B1BF-F85B5939DD8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"411fd8184124cf726d3238c93865458f8ce85416","datavalue":{"value":"occur check","type":"string"},"datatype":"string"},"type":"statement","id":"Q913532$21861F0C-755A-4DAD-90D6-443BC9F0518E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5cc0712ff17ce0d8b6a05a227f38e526459d4024","datavalue":{"value":"circular bindings of variables","type":"string"},"datatype":"string"},"type":"statement","id":"Q913532$51AA8BA7-AB41-4462-9D9A-E1D653C3B706","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe51228e17b836f3520db7bc0de40e5086eebee3","datavalue":{"value":"soundness","type":"string"},"datatype":"string"},"type":"statement","id":"Q913532$0A6FD647-B51E-4C20-BF83-E221B5F258F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q913532$2355137E-5B3E-4A06-B203-E1B28985BE8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"95e9b8dede7c50cc44b89e34d414fa9000ab9656","datavalue":{"value":"CSLD-resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q913532$B919E938-02F6-4674-8409-CD6910C3B055","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e06b1625cec1e42314487cc2a54cf2f303280ded","datavalue":{"value":"negation as failure","type":"string"},"datatype":"string"},"type":"statement","id":"Q913532$4C528A56-4206-4E0E-8483-9B62D675ADA7","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"e187a92a0c3e1c9bc3f2d2e29e49f9ede8f8df80","datavalue":{"value":"Q56455083","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q913532$3B921B18-CA48-4570-A7BC-A38528E63713","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":"Q913532$432D17CD-FD8F-4783-B0BA-4C284A1558C3","rank":"normal"}],"P223":[{"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":"Q913532$A0B0F6AA-9D99-4435-8E5B-EEC93637909C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb7b8847a36d076106e01f43c31a170940dd0b60","datavalue":{"value":{"entity-type":"item","numeric-id":1055184,"id":"Q1055184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q913532$9181E1C7-A42E-453C-8E6F-33DDE2A21CEF","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":"Q913532$ABD2C82F-1E49-4025-B47F-EE9D86066F13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07dfc319b67c832ddc44b110d60382d8d07fc77e","datavalue":{"value":{"entity-type":"item","numeric-id":3725539,"id":"Q3725539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q913532$1BC9C661-6F38-481B-B4B7-F10830735933","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e284b4ae70d31e0721de73715c939d658fe3ce58","datavalue":{"value":{"entity-type":"item","numeric-id":1090469,"id":"Q1090469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q913532$F824B971-20BD-4E64-8064-C7BB2A30BC88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"877683da350cd8ba60924b2c2ca33171842d1e88","datavalue":{"value":{"entity-type":"item","numeric-id":1113661,"id":"Q1113661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q913532$6FA21B05-688E-4CB6-8EB1-CEA2880D698F","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":"Q913532$284CB888-0F3C-40F0-A0A7-62C120C00CD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25adfc00b5cf3cc37aa3a53f5bd4dfe09afa87e2","datavalue":{"value":{"entity-type":"item","numeric-id":1077912,"id":"Q1077912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q913532$D60E0D21-3F7B-447F-81B1-202228531F85","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c428d3dbe11ee59e9f5fc6285a53fb39b368860","datavalue":{"value":{"entity-type":"item","numeric-id":3795190,"id":"Q3795190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"332cdd3eccf816013dea478d62fa2166879efe69","datavalue":{"value":{"amount":"+0.9978124499320984","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":"Q913532$976B38D7-FBDF-4457-92A6-A89471CDE4DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3cf8b907765a9c5786e4df1d55f66fca8bafc6ac","datavalue":{"value":{"entity-type":"item","numeric-id":1077912,"id":"Q1077912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa0cf52e1094d95514c4c85e921857791f648b23","datavalue":{"value":{"amount":"+0.8525484204292297","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":"Q913532$FB4969F4-1978-4E3F-B175-48A68112A592","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":"63f5da2cb1e90adcd3ae12a6861f9e0490a5ec78","datavalue":{"value":{"amount":"+0.8431628942489624","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":"Q913532$6D422096-0A32-49CE-803B-792E4903A6DA","rank":"normal"},{"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":"2875a4a068639b8724ecfa45312eeb2dee978539","datavalue":{"value":{"amount":"+0.833105742931366","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":"Q913532$24FE22C5-8440-430B-8C9C-514F6371F9B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f358d54a823cccaceb21d2bcccb95854e3b497f","datavalue":{"value":{"entity-type":"item","numeric-id":3807643,"id":"Q3807643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91bceea7535bf62fe3b82227b6a4f0de6eb625d6","datavalue":{"value":{"amount":"+0.8169257640838623","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":"Q913532$78AD8D95-DE0F-4657-A035-22D9772C75E9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Semantics for logic programs without occur check","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Semantics_for_logic_programs_without_occur_check"}}}}}