{"entities":{"Q4275698":{"pageid":6305299,"ns":120,"title":"Item:Q4275698","lastrevid":81741821,"modified":"2026-05-06T19:15:14Z","type":"item","id":"Q4275698","labels":{"en":{"language":"en","value":"Computation with run time skolemisation (N-Prolog part 3)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 487155"}},"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":"Q4275698$B0061C68-FE77-4D1B-8F02-F49D1190107E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c6d095e49a6d8f03d2552d1a5d24ab35d352f763","datavalue":{"value":{"text":"Computation with run time skolemisation (N-Prolog part 3)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4275698$8B9D8EFE-388B-4C8F-995A-08906FB62D9A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"273908c7d6c998e3e13da85d2c3ca47e7ed1986b","datavalue":{"value":"0798.68031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4275698$F7D6C7A6-DCD5-4286-863B-4D7915AF42EB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"470c7395aa00a6028275fe1ea0ae5814a06b1b68","datavalue":{"value":"10.1080/11663081.1993.10510797","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4275698$A8EDD055-1E51-47CF-B45F-B1A1FBBDA923","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"932edb623e9fc48fa0c14766bb48b251dc113bb4","datavalue":{"value":{"entity-type":"item","numeric-id":2901187,"id":"Q2901187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4275698$F88E3F81-DACD-46F6-9C54-2E3D652A487B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3b9e422874ba298a944982b9040886c3af9348e6","datavalue":{"value":{"time":"+1994-02-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4275698$A1C38AF4-FD2A-4BE8-AD2E-2ADD3249A913","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4275698$0FCE1269-F22C-41FD-BC8C-0E8BA9F9D7D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4275698$90371F06-BA94-4E51-8968-3D3FE27300B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4275698$43FE7217-D2FA-44A2-93B8-0A6A6EC31E7F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"73d8bc296948f840e3b7c72f80d370631863bca6","datavalue":{"value":"487155","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4275698$C33DAC83-4295-4784-9009-BA0B6835D6C2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47a6f1d03a26e35879c1398104434993d8a060a1","datavalue":{"value":"algorithmic proof system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4275698$EA0BF52D-9AD3-4923-9313-4B354B037368","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8bf549142b710f01581b24fd28cbb67614316cd4","datavalue":{"value":"theorem prover","type":"string"},"datatype":"string"},"type":"statement","id":"Q4275698$CBCD4197-8074-432F-ABAB-C920D0F7BDD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2380c8fcffc99cd029e8006b98a6c1c0159b5c51","datavalue":{"value":"human oriented theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q4275698$8180D95F-442C-4D91-99C3-10F159C462C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb19ee8dec3e79b5f102a6e0405c23b72a790b6e","datavalue":{"value":"logic of Skolem functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4275698$32240CC2-3EF7-49D9-888C-F17961F96BD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4275698$F0B36AF8-DC97-4589-85C2-89F4116A80C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ffd3928aa1fd818bc1a8806528172e266ac8bcc","datavalue":{"value":"classical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4275698$74A1BCB3-8CBE-4925-843D-8BCC8BE76D4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da9e1556c2fcea0d362972fe609ab0761a0d2f2d","datavalue":{"value":"Skolem functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4275698$EC54D9B3-1518-4652-AAF5-78982FDCE4E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3922eb0b8235fb2b824bcb3eaa0c8d395dbd512","datavalue":{"value":"unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4275698$CFFE56DA-226A-465F-8F58-E5891D3BDCD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e8b380c6e44a22a2170f8841ba4ee74354ad354d","datavalue":{"value":"time stamping","type":"string"},"datatype":"string"},"type":"statement","id":"Q4275698$52A8AEF4-B41E-4C6C-886F-3027A1347E16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff67fedbe8c50d3daca036875aed531217cd953b","datavalue":{"value":"Prolog","type":"string"},"datatype":"string"},"type":"statement","id":"Q4275698$F7CA2C0B-7528-4C9B-A277-5B7F13EE1507","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"948b6f0f3f509c2346164de6f1b86ce0f916ab70","datavalue":{"value":{"entity-type":"item","numeric-id":232653,"id":"Q232653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4275698$D4309F2B-A906-475B-BC78-AA8E54E9E784","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"238316cddc7fbecc6185b37f3a4eced7851cdf61","datavalue":{"value":{"entity-type":"item","numeric-id":1923838,"id":"Q1923838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4275698$31CB9380-4E0D-4EA3-8CEC-C1E8FC20AFA1","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":"Q4275698$3F2E4DCA-526B-4A40-AC7E-B7F96A4FE7AB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2e37301e70ce1cd0656c2b56d5b4f9e2583fd690","datavalue":{"value":"https://doi.org/10.1080/11663081.1993.10510797","type":"string"},"datatype":"url"},"type":"statement","id":"Q4275698$E337B737-5AAF-4A34-94C7-2D7217C8586C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d8eb812eda0071da5d749493692fb51ab716fd21","datavalue":{"value":"W2000240460","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4275698$36330D3F-C8EC-45EE-A68D-D5A3E3769E34","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d4c84b1b8ad4be23ef741df8bbbb197d65475ac","datavalue":{"value":{"entity-type":"item","numeric-id":3727349,"id":"Q3727349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4275698$56995D0D-B5B3-47EA-8F39-90814492BAA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01a25b84093be526336edb10d1fa8ba8f821bcbd","datavalue":{"value":{"entity-type":"item","numeric-id":1181711,"id":"Q1181711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4275698$15F21F7E-A2BC-4CC7-9105-BFB146E30B10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5caae54559776415a2ad5202e81ba505f1f0765","datavalue":{"value":{"entity-type":"item","numeric-id":3696485,"id":"Q3696485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4275698$A43BEB7B-D731-4736-9E97-78755243D4D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43c7afc105cd687e9e5456edb7a75c1f1cd3dc41","datavalue":{"value":{"entity-type":"item","numeric-id":4312345,"id":"Q4312345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4275698$BE8FF103-A303-4B10-A9C8-4943D317F804","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd2129ac88f9722e6587b366a6a1a0ad6f134a97","datavalue":{"value":{"entity-type":"item","numeric-id":4312345,"id":"Q4312345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77e03e0219c36ab2f441e106256cb891501da33e","datavalue":{"value":{"amount":"+0.7915547490119934","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":"Q4275698$300A9C43-7187-44B7-B97F-5DF4BEEA17C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41731ee19d9890f0c9d1ff939419833e8c40c55f","datavalue":{"value":{"entity-type":"item","numeric-id":5053010,"id":"Q5053010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2e78e643ba70185dd1b0d013f47b778d57abc4f","datavalue":{"value":{"amount":"+0.7607296705245972","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":"Q4275698$E1E6385C-3A35-46D1-8A46-497E4FFEEC4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02d1970c032788f9f6c7363cfa128f18336d3d7c","datavalue":{"value":{"entity-type":"item","numeric-id":4297316,"id":"Q4297316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67460cd68fc5a84666762a10632eff072f6afb99","datavalue":{"value":{"amount":"+0.74516761302948","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":"Q4275698$7EB8449B-43EA-4D56-9F00-FCEF15E15137","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a85b3d4be1b1623ba119924abc0ca411ba4acda4","datavalue":{"value":{"entity-type":"item","numeric-id":1311967,"id":"Q1311967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"315c16449054fae5c1ee179ce36cf29449155eeb","datavalue":{"value":{"amount":"+0.7443270683288574","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":"Q4275698$7D620627-509E-4115-955C-03BCA4A00E25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c32f6ce882750b852e0f4628776c07bf87adb1a1","datavalue":{"value":{"entity-type":"item","numeric-id":4002997,"id":"Q4002997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"315c16449054fae5c1ee179ce36cf29449155eeb","datavalue":{"value":{"amount":"+0.7443270683288574","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":"Q4275698$03A7924F-3225-43F9-AE7A-65A42B5D9EF2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Computation with run time skolemisation (N-Prolog part 3)","badges":[]}}}}}