{"entities":{"Q1854370":{"pageid":1865112,"ns":120,"title":"Item:Q1854370","lastrevid":71504970,"modified":"2026-04-13T22:42:22Z","type":"item","id":"Q1854370","labels":{"en":{"language":"en","value":"On terminating lemma speculations."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1853125"}},"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":"Q1854370$E0030149-63E7-4ACC-9C78-9CF3462D29FF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"940eedb74f244e1eddb01b1be1b00d035fa119e8","datavalue":{"value":{"text":"On terminating lemma speculations.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1854370$DE10F3D6-8645-4641-91B0-E58F491F3F39","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"10f014ecdd6e9b159122e8ed2e7317072a7b846f","datavalue":{"value":"1045.68606","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854370$2045A83F-3340-4A36-9E28-803C262696A5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d46976d3f5c5fed82b1734a3b31190eaf0f8a054","datavalue":{"value":{"entity-type":"item","numeric-id":1060858,"id":"Q1060858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854370$EA149DD0-73D0-4DAF-810C-FB9A3A7B6A64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ed355dd232556fbd83c232fbaf2baecab4fdb279","datavalue":{"value":{"entity-type":"item","numeric-id":1854369,"id":"Q1854369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854370$ED29D691-A9CA-4F04-96BC-4AFCF930C69F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854370$6C3B1A12-7591-4184-956E-B424BC1A4116","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6a7e8d599a17c373ba2d71fc88b3043673b9f45a","datavalue":{"value":{"time":"+2003-01-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1854370$DB46F874-2507-4492-BEB7-CB3B543FEA76","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ecb026caeb50ae1155d28033ed039b1f90e0c40b","datavalue":{"value":"https://semanticscholar.org/paper/f4f588c973b5ecc22a8c3bc335f43aadb9d13e6d","type":"string"},"datatype":"url"},"type":"statement","id":"Q1854370$4C8CAB6A-A81E-40A6-8203-0D8696EEE206","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854370$5943DA86-C949-420D-AD9D-0507D95CC766","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"17f2c090c43c9afc9784abe6a62ca5485ebb400f","datavalue":{"value":"1853125","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854370$FC1DE265-0267-427D-B4C6-2D502705D8BF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e16d1fe41e8b06b141127c2cdd2dafcb72807aa","datavalue":{"value":"reuse procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q1854370$3BE83953-5840-497E-B116-6777A1754CEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"054d89280687d9996cfbe0ff858ccafea7f94de5","datavalue":{"value":"induction theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q1854370$8308514A-2A6F-49D4-8862-81EE69B6152B","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4b1f4655c4093a6763ca4d938d08d8f6020262f1","datavalue":{"value":{"entity-type":"item","numeric-id":22153,"id":"Q22153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854370$7F13C4FA-C300-4C58-8BC1-728796743BD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8563635983d64f6f9eb242024fe0c0071d0c676c","datavalue":{"value":{"entity-type":"item","numeric-id":14473,"id":"Q14473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854370$ED91F79B-3569-4BA4-91F9-63975A80A273","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a68cdd3e97b0168a20493dd016b20595a0a54bc5","datavalue":{"value":{"entity-type":"item","numeric-id":31435,"id":"Q31435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854370$CE50A824-9478-4F03-9647-5E2EBF8ED602","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":"Q1854370$FE7BF659-9990-4F86-B835-6A03E073285B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c461391aea10d6a62070561879a01a8b6faf1783","datavalue":{"value":"W2071521309","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854370$B693E7A0-2ED2-48AA-9FB6-C5509C8BF91D","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"c110685c2c45ae53f8923dabdd944e87e6ac130e","datavalue":{"value":"Q124984006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854370$946C7101-69BA-45BD-A345-A41695AA05AF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8124e2aa86067094dab23bb14b8dadf2e19d522b","datavalue":{"value":{"entity-type":"item","numeric-id":3894958,"id":"Q3894958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854370$28666261-D199-4394-9656-360A3FF07CD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6d3f5f0e6d39b0610560c479018fc71a2adcd20","datavalue":{"value":{"entity-type":"item","numeric-id":1098624,"id":"Q1098624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854370$6E245490-9B63-4B05-8B07-35D4EFF23CC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a01d4a91dcf05e247efe3d36d8b1cf5c4792f88","datavalue":{"value":{"entity-type":"item","numeric-id":4385532,"id":"Q4385532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854370$46EAB93A-0004-49E9-AAD7-3E09CE8DE3B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b27d44a0e50fda314668a36654efb04ab5135cb3","datavalue":{"value":{"entity-type":"item","numeric-id":3868730,"id":"Q3868730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854370$E0EB32E5-9A91-4898-AC00-0E04186D5779","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3797ca9c060a8f45bbe361e29094c28dc7f292e2","datavalue":{"value":{"entity-type":"item","numeric-id":1199923,"id":"Q1199923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854370$4F7A33FF-AEBF-40B3-BD4B-283867892337","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01009f88920082225c684801252fe737fd4fe7ba","datavalue":{"value":{"entity-type":"item","numeric-id":1118423,"id":"Q1118423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854370$5BE459FA-6354-4F07-A1CB-C2F4B8AC6F63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55270605e3cfe7b43e48074a113e3c248910913c","datavalue":{"value":{"entity-type":"item","numeric-id":4647524,"id":"Q4647524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854370$21CBBEDB-344F-40B0-B39D-8C2F8395C36E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7db98659fd0d8d989353341e0c12c4246dfe6ee1","datavalue":{"value":{"entity-type":"item","numeric-id":1915134,"id":"Q1915134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854370$DE432FE0-D3F3-414E-A431-F8FEAAF52BA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"308c58cce2f8213465feaba423591d1180856211","datavalue":{"value":{"entity-type":"item","numeric-id":5234707,"id":"Q5234707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854370$58E11B84-7B40-498B-8AFC-41A7F3568946","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"126ab016009eacc9788b8c689bf924c8a59b3e23","datavalue":{"value":{"entity-type":"item","numeric-id":1978233,"id":"Q1978233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854370$9EA68B83-AA48-4710-91F1-92998ECEBE2C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d83dd3243cda859c644ee894e60609497d0e40ef","datavalue":{"value":"10.1006/INCO.1999.2859","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854370$43352530-18A2-4DDD-913E-CCDDCC19B7BB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"597602181c0f93a0ad3700a234bd849cd63f59ee","datavalue":{"value":{"entity-type":"item","numeric-id":4647503,"id":"Q4647503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d28771cdb74ac0b5b2bfe132d3d9437ae6eca6ef","datavalue":{"value":{"amount":"+0.9491199254989624","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":"Q1854370$E536725C-D1AB-4B00-889F-71591BF50D71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3585e4966b5870b40c8a8b03114aafa8ce377268","datavalue":{"value":{"entity-type":"item","numeric-id":1978233,"id":"Q1978233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3180be397d6599c90a5badc254940969dba1cfd2","datavalue":{"value":{"amount":"+0.7941189408302307","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":"Q1854370$D95B3A03-97D8-451D-AD1E-394FAFDD0E97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e2ce9d05c86c088573e2213f25dbf60f15f642e","datavalue":{"value":{"entity-type":"item","numeric-id":4524774,"id":"Q4524774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0da9f49e8fe1dd04dda7ae1a60222b71476fe4a8","datavalue":{"value":{"amount":"+0.7628272175788879","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":"Q1854370$199DBE24-DD6A-4DBC-BC86-15F2453D1E17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd13c5579dca73c0f4caad1f3934529b31f1ac08","datavalue":{"value":{"entity-type":"item","numeric-id":1367083,"id":"Q1367083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0da9f49e8fe1dd04dda7ae1a60222b71476fe4a8","datavalue":{"value":{"amount":"+0.7628272175788879","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":"Q1854370$28F11B06-58D7-43F2-A321-7E432C34052B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83887b0753e0ca8b97b34474ba56808bb7906364","datavalue":{"value":{"entity-type":"item","numeric-id":1827320,"id":"Q1827320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9beed949510af483fe9a3f4df9b37760f3a59f6f","datavalue":{"value":{"amount":"+0.7497514486312866","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":"Q1854370$5A87CC5B-845F-405D-BC9E-A0A1021B9E27","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On terminating lemma speculations.","badges":[]}}}}}