{"entities":{"Q466397":{"pageid":468164,"ns":120,"title":"Item:Q466397","lastrevid":62070432,"modified":"2026-04-11T03:34:26Z","type":"item","id":"Q466397","labels":{"en":{"language":"en","value":"Glushkov's evidence algorithm"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6361661"}},"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":"Q466397$6E244636-A347-4C69-A5E9-E6BECF80DC95","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cd13a2900d072dbc650004fc7eb41eefb93cc4ad","datavalue":{"value":{"text":"Glushkov's evidence algorithm","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q466397$291E5A15-DFBD-4860-BABA-25940509281F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8e758bf91aed2a01323d1afd9988258c2f879522","datavalue":{"value":"1371.68003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q466397$BAAAC692-C377-4D11-921B-BB8E4BD6BF99","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1b023419c56b9969f2d98b08637e9b0af86a936b","datavalue":{"value":{"entity-type":"item","numeric-id":199816,"id":"Q199816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q466397$29249062-D911-4A94-880E-AF8BA486587F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6f6f7900ba8ceb723d72b93c818553c4373cdeea","datavalue":{"value":{"time":"+2014-10-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q466397$CB9181CB-58F5-471F-BEE4-F92EB0E50E51","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"540259e42205310d3310d3dad9dbe9ae50303b84","datavalue":{"value":"68-03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q466397$A7A9052E-068D-445C-ACEE-6A90783FF4A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"81ba1a045a2037276aea9aeb7e223aab3c4744ec","datavalue":{"value":"68T01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q466397$310B880B-E8C4-4D1E-92DF-31E8A372C02E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q466397$4AA06B9C-BBA5-48ED-B75F-D0BC2A478258","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"164b98cc4f2ba7ed4fe10e3d0cf42f0b43aebc5e","datavalue":{"value":"6361661","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q466397$A8807FAF-1E59-4567-8D3A-AF9C76DD8BD2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"678844433114219afbf111be2d47ddf4979d89e6","datavalue":{"value":"evidence algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q466397$96A56B7D-6508-449F-BF0C-DA3248BE75FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e97175fd5d747e7d34cbcc625e3abab53d84653d","datavalue":{"value":"automated theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q466397$BCA7E619-16D1-4D2D-BED9-11AB1CB1E9AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"caf3db3b9f8463ddd52fc0eeb93be0cad92b6b67","datavalue":{"value":"inference search","type":"string"},"datatype":"string"},"type":"statement","id":"Q466397$43445FB5-C052-443F-93EF-AB1B43274256","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9583402d7bb29aef811ae7088f1224175b332fa5","datavalue":{"value":"automated proving system","type":"string"},"datatype":"string"},"type":"statement","id":"Q466397$E82E2F51-48D8-4E12-A8F5-3A7188E8777E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"74415226fcc043b1034ab371124ef1dfca9a62ef","datavalue":{"value":"TL language","type":"string"},"datatype":"string"},"type":"statement","id":"Q466397$9EA25035-45D7-4ABE-A2A5-237972DC60CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"67ff14c3454c6f45ab7d22321e052ad75ca9a76b","datavalue":{"value":"ForTheL language","type":"string"},"datatype":"string"},"type":"statement","id":"Q466397$EC704B63-7651-4551-85F3-E7A2D56E2481","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8ef08cca54b6dc5c7bcfa7ee920aeb381201e8f0","datavalue":{"value":{"entity-type":"item","numeric-id":1286272,"id":"Q1286272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q466397$6265454B-C8B3-4B14-83F5-A27F2B8DFE3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3baa85547fd531de7a5ad0a47f954b54157ef91e","datavalue":{"value":{"entity-type":"item","numeric-id":865651,"id":"Q865651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q466397$84FD9BBC-133C-4221-BF27-55B325A5ABF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a9e0106a8247e4bf7b79a4b47524f15fadc8ba6c","datavalue":{"value":{"entity-type":"item","numeric-id":1127548,"id":"Q1127548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q466397$7922ABE2-640F-466D-8022-5909783AED4F","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a3e24b1e555719d904bc5723d040851bdd6284eb","datavalue":{"value":{"entity-type":"item","numeric-id":21775,"id":"Q21775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q466397$27F92008-6B89-4F20-8B3B-A53209E270B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"91b852acc0d0dcb394ea74c8e76a901ae0257702","datavalue":{"value":{"entity-type":"item","numeric-id":21776,"id":"Q21776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q466397$8037238E-6F56-4EB0-914B-68AE6FED797E","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":"Q466397$AB2DE4BA-54EA-4E63-8C57-A005BB4FA587","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"878318ba2e7c19a40704ea3de98aeda9ef8a9094","datavalue":{"value":"https://doi.org/10.1007/s10559-013-9534-z","type":"string"},"datatype":"url"},"type":"statement","id":"Q466397$668AAEF7-6BDC-4F13-883E-CAF9668A37E0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ace55fdda2c5b6638a17844aeb5abb274293af02","datavalue":{"value":"W1965825144","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q466397$58CD2629-65C4-4675-AF2F-6420BCE2D655","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"51850db57ac3cc387bd1756e7d84b0e6853587a2","datavalue":{"value":{"entity-type":"item","numeric-id":3244734,"id":"Q3244734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q466397$F60DF13D-5BE2-49C8-B457-9B4E7653F660","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09ec0346c7c69cefc06dbbc0c0175e3cadefef3b","datavalue":{"value":{"entity-type":"item","numeric-id":3289362,"id":"Q3289362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q466397$9F263532-C5EA-4FD3-A9E3-6598B25CAA98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c392aa51e26b652a4e2499bed066cdc23e3cce26","datavalue":{"value":{"entity-type":"item","numeric-id":5672193,"id":"Q5672193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q466397$0DAA3887-657C-4083-AC89-0433A815506A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"daa75d76e1cdc609f7ac46974607202a4c628e1e","datavalue":{"value":{"entity-type":"item","numeric-id":3275832,"id":"Q3275832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q466397$FC356DC0-BEDF-41E1-B36C-80BA17B91960","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"309a715ecfe3fe3e4ec0e698ae13dce021cfc93e","datavalue":{"value":{"entity-type":"item","numeric-id":2724150,"id":"Q2724150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q466397$7D47B5F0-0A27-45FB-9025-0F7C2493FF2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43885f66d80d1241069b05fb4eab29aaf7555c60","datavalue":{"value":{"entity-type":"item","numeric-id":3984419,"id":"Q3984419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q466397$02EDF49D-C809-4EFF-BF09-A56B374AE2F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c66d8856f8e177b00cfa580d673e297badf4214","datavalue":{"value":{"entity-type":"item","numeric-id":5653579,"id":"Q5653579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q466397$258123BE-D348-4293-B0AA-933284CB10B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"286dba0cbc80cdd0f1ae7c26f1fba8537147aeee","datavalue":{"value":{"entity-type":"item","numeric-id":5620583,"id":"Q5620583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q466397$DAC168B7-FEC2-4E09-B991-FBBAFC30A7A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3c35d82aac5a0f16d669f8682d6f84130a19547","datavalue":{"value":{"entity-type":"item","numeric-id":3675553,"id":"Q3675553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q466397$63864622-15B9-4C4A-B091-EC3597BD228C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6431d81ca5623010e3919f6607e0ceec82afc8b","datavalue":{"value":{"entity-type":"item","numeric-id":3726081,"id":"Q3726081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q466397$ACD842CE-E4B5-4702-BFA2-2CC05511DFAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0473ecfb101d3fbc5afc000b693a1465c9ff8556","datavalue":{"value":{"entity-type":"item","numeric-id":3793763,"id":"Q3793763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q466397$AEA9955A-5CDD-44B3-873A-A9FF67A1F355","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9bc0be7eb9e511c1dbdce4dabbc9f9a5e297b85","datavalue":{"value":{"entity-type":"item","numeric-id":1364068,"id":"Q1364068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q466397$40767C31-E27B-403F-8FD9-A08F67059C69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ea66af96336049c9deba3fe5c9b5e384853ed20","datavalue":{"value":{"entity-type":"item","numeric-id":4282505,"id":"Q4282505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q466397$AA7DA258-0B72-4D9D-A0C8-5A964DD7F890","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7767de3c17f4340e1df5c15c5cdb8512e36d6f5","datavalue":{"value":{"entity-type":"item","numeric-id":4938416,"id":"Q4938416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q466397$4F710566-3F6A-49CC-8100-57BB64886972","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5042b9bdcafe11643fe7f0bf370d46d257b2c15b","datavalue":{"value":{"entity-type":"item","numeric-id":4471536,"id":"Q4471536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q466397$CB3A5DE3-56FD-43DC-996C-070B3737D16E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae5232218189353792c35db848678e911386cfd1","datavalue":{"value":{"entity-type":"item","numeric-id":865654,"id":"Q865654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q466397$CCE536F4-FB05-4557-973F-038D1C617C6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b79119f9505990ffd9f1c920604fb44a0b0165c","datavalue":{"value":{"entity-type":"item","numeric-id":3608785,"id":"Q3608785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q466397$0B33F5C9-5B6D-4FCE-9611-4345BA088A87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d1dd217b6d60cfd1c7517ad3aa621ccbb5c7c91","datavalue":{"value":{"entity-type":"item","numeric-id":5505538,"id":"Q5505538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q466397$151037D7-55B0-4306-A30D-7550B8ACB4EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ae3eddeb89340a23a9ca142dbec0d4de38658a7","datavalue":{"value":{"entity-type":"item","numeric-id":1311970,"id":"Q1311970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q466397$0423D2F7-0F3D-46EA-9311-7D54D1BD0157","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24939cc54c8db903e391ed9e15d58cd9a5061463","datavalue":{"value":{"entity-type":"item","numeric-id":3365842,"id":"Q3365842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q466397$EF7B5E90-8584-4D24-AB00-9C1D8BBA3D75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7cdb532cdced828fd6edb4d78192ed7ded1f329f","datavalue":{"value":{"entity-type":"item","numeric-id":4002046,"id":"Q4002046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q466397$9BE2F028-4CD7-4762-BDF6-3E0085270A95","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a5a3994c1e6dd204816cc620a4dc0ce928c96306","datavalue":{"value":"10.1007/S10559-013-9534-Z","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q466397$C8AA3BC7-0F09-41F2-B599-344BA166EA6C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8501943cc6440665a98d3497e53b5f62d1801f4c","datavalue":{"value":{"entity-type":"item","numeric-id":1582906,"id":"Q1582906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"873693cfe07afa0bc5fe445510b396931da96e17","datavalue":{"value":{"amount":"+0.8416997194290161","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":"Q466397$418B3830-E5D2-473E-B288-9EF60D54DA43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"363e43961a6fd052625496b0a4452d17a6721dc0","datavalue":{"value":{"entity-type":"item","numeric-id":2043962,"id":"Q2043962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f8fcf57488f30a670e546b58b6fff6891300bec","datavalue":{"value":{"amount":"+0.8166722655296326","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":"Q466397$AF839335-599C-4D87-A035-C3BDC2F417FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a7f1d94d4141a6938a42967fbf9785db4ebe52f6","datavalue":{"value":{"entity-type":"item","numeric-id":3582728,"id":"Q3582728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea91bac89feb2a4efbfcd877fc0bd9c83ec5e6bb","datavalue":{"value":{"amount":"+0.7621626257896423","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":"Q466397$9D28D513-7A7C-419F-AF21-817C1339A0F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2365736348bf4dee35c20c58810e7bbbfb4244d","datavalue":{"value":{"entity-type":"item","numeric-id":557410,"id":"Q557410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c938ca07b8f59227d1d8f82ebd2854de087fb48","datavalue":{"value":{"amount":"+0.7417647838592529","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":"Q466397$CD2A61F7-62F5-423C-92DB-B92E099B5F35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be5f693b1f8d884ab65c1a7df745f8b095c1c2be","datavalue":{"value":{"entity-type":"item","numeric-id":1895046,"id":"Q1895046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f34e6696731c21e8f1755fd988efa8253f3f10b6","datavalue":{"value":{"amount":"+0.7188441753387451","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":"Q466397$2DB4883A-7CD9-46A7-A613-F58BA57493DE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Glushkov's evidence algorithm","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Glushkov%27s_evidence_algorithm"}}}}}