{"entities":{"Q3792216":{"pageid":5822122,"ns":120,"title":"Item:Q3792216","lastrevid":52940768,"modified":"2026-01-23T20:54:51Z","type":"item","id":"Q3792216","labels":{"en":{"language":"en","value":"The occur-check problem revisited"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4056970"}},"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":"Q3792216$42DA7EB2-3ABE-4AB4-8AE1-4F1DB11758E5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f4b25f5052fa880ac8a257e6203483f840e15532","datavalue":{"value":{"text":"The occur-check problem revisited","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3792216$DBE625C5-D76C-4430-AAC8-A732D5EFD3F4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8598387cdc51c5aebe60a98c2d7bb734146e51dd","datavalue":{"value":"0647.68011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3792216$6AA27C86-D3C8-477F-AE52-64F68DBE8B92","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4ea572f4e5cbce66a79eebba00aa18f45ef16aac","datavalue":{"value":"10.1016/0743-1066(88)90012-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3792216$B1A7F913-DFAC-4248-9AFE-F2080D77F8B0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b1867c8dfe29583a78c240da88501073fc962496","datavalue":{"value":{"entity-type":"item","numeric-id":1188586,"id":"Q1188586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3792216$321DAF8F-1B92-42DA-A789-2D37C1B078C5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7eb8fbff5b5a1996cd7eff3ff7a29f3a29661a8f","datavalue":{"value":{"entity-type":"item","numeric-id":3030270,"id":"Q3030270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3792216$D3777465-44A5-40E6-AECC-9BAD2F3295A7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-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":"Q3792216$BC9EE242-0726-408D-AF34-C4ADBF72C8D5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3792216$F662A5F7-C5F8-4CB6-B9E1-4D131A98758B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3792216$22D36703-2C10-4A71-AA33-D2CA4124FFA6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ef479207c64a1acc347df33b616d6fcb882cce27","datavalue":{"value":"4056970","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3792216$8578C4C3-6959-4BA9-90AB-72888902D6EB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e6a1ae5e85a4f7b2b80869ca9861c4b02c42e5a5","datavalue":{"value":"occur-check","type":"string"},"datatype":"string"},"type":"statement","id":"Q3792216$D718C462-7EE2-4C0A-B2ED-79694F0EB9F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"70d4e9f82cc6bbe0afefae175403dc3b8791a317","datavalue":{"value":"execution of Prolog programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3792216$38BA08CF-4CE8-4081-8510-7C8AD5699FD7","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":"Q3792216$F9F94041-76A9-46DC-A267-EC7064AE152D","rank":"normal"}],"P1643":[{"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":"e73fe28c25c6c99f03b250ab8c2daa54195cc79a","datavalue":{"value":{"amount":"+0.8842817544937134","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":"Q3792216$D73D14C3-D6F3-46EF-8190-9F88D444C6DB","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":"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":"Q3792216$FD5E78CB-496B-4B50-91D3-898C5B7466CA","rank":"normal"},{"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":"38b37bec8e201ced292d6ad0b37a1b128f8cd6c2","datavalue":{"value":{"amount":"+0.8260387182235718","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":"Q3792216$EC2F8879-61AF-47BC-A172-63A9111200A0","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":"e2afdbd7185a37492b04d122c358bf205fb2be40","datavalue":{"value":{"amount":"+0.8236109018325806","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":"Q3792216$64FBAA35-7CCB-41C0-9531-F467E7339FF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92b34ae3948baf9c927b509ac486acd998c4ed54","datavalue":{"value":{"entity-type":"item","numeric-id":3742761,"id":"Q3742761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87dc5e62e768e2ff84b677e6ca5a6d7bcbc12b82","datavalue":{"value":{"amount":"+0.8208397030830383","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":"Q3792216$05F7A613-F9B6-4200-AD9A-40B6FA67A487","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3792216","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3792216"}}}}}