{"entities":{"Q1854367":{"pageid":1865109,"ns":120,"title":"Item:Q1854367","lastrevid":71504943,"modified":"2026-04-13T22:42:21Z","type":"item","id":"Q1854367","labels":{"en":{"language":"en","value":"Automatic acquisition of search control knowledge from multiple proof attempts."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1853123"}},"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":"Q1854367$ADE07580-999E-498E-B12C-2270B42D6CF7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d04690ad46bfa01e29034f0be053e518158de86b","datavalue":{"value":{"text":"Automatic acquisition of search control knowledge from multiple proof attempts.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1854367$1A8A87BD-EC0B-4971-AE1D-4035BE34BA30","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b9157faba698489acf02f28a9bd8d1688253afa9","datavalue":{"value":"1045.68602","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854367$A3C6FE1A-525B-4777-B918-291D370C21E0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d56d5ccd17352375824e5b771556391ff9b2d99c","datavalue":{"value":{"entity-type":"item","numeric-id":1854366,"id":"Q1854366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854367$D17CA5D3-71FF-4468-9660-52A5DBF0ACD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"41390ccb2889a06af91bd7d467009a1fde2d1850","datavalue":{"value":{"entity-type":"item","numeric-id":862394,"id":"Q862394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854367$32482BD0-4E90-403C-A213-6D49369EB398","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":"Q1854367$AFF89982-4033-4FE7-AAFF-1307559620D5","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":"Q1854367$486C4298-AA48-4290-B78F-E2A4E3BD7A0B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"99a4f94959a78e45f787f955870542fba57ba4b6","datavalue":{"value":"https://semanticscholar.org/paper/1815984bb4e462d8d51a09b1e77fd4c2bfbc5c6b","type":"string"},"datatype":"url"},"type":"statement","id":"Q1854367$61A8F80E-689A-4127-979D-E0F5D973DA39","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854367$65803FB9-B3C4-4864-BAA9-810612525645","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854367$CF45B140-6B56-4DEE-990E-04B4D67CE532","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8c0d69ab5175cfb4a044c7297b7926822a68635c","datavalue":{"value":"1853123","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854367$887CF21E-0D7D-49C8-BD48-F8BC9876BC4F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e8beda222c03acf73d156d732ba8284392dfe2fd","datavalue":{"value":"distributed equational proof system","type":"string"},"datatype":"string"},"type":"statement","id":"Q1854367$E23D6DEE-8AEA-42CB-867B-80DB27DA6F7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"63c46fe24a7eb95025fb6be9bfc701b3a43439bd","datavalue":{"value":"DISCOUNT","type":"string"},"datatype":"string"},"type":"statement","id":"Q1854367$74034C67-B5DD-4C8E-8EE2-52C28EF25C3D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3f1ae8e244d27f4e93f1981ec80f87d04dfe89da","datavalue":{"value":{"entity-type":"item","numeric-id":31438,"id":"Q31438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854367$39F116AA-6476-4D85-943F-16DDAF423792","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d3ed9701b24c07e8ddeb19932e1fa77191c06e95","datavalue":{"value":{"entity-type":"item","numeric-id":16327,"id":"Q16327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854367$1FEEBF29-D90B-4B55-AF0E-D1AA93017973","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":"Q1854367$E921E793-FD9B-4D9A-96D0-BC2425D28D18","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"65adc129087061b9f8232ed2bd8a9fe61c654d78","datavalue":{"value":"W2063042596","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854367$A4B5657E-B1F7-4DCC-B8B8-3EC0B8D3B793","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"47b4e3dde57ec92f719c86b2adbfa7880e19c17f","datavalue":{"value":{"entity-type":"item","numeric-id":5055785,"id":"Q5055785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854367$A95BB5AB-1C4D-4637-9040-6DD3F336DED2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05077010557fe0fc2bead50a48aa3376695c3133","datavalue":{"value":{"entity-type":"item","numeric-id":2365126,"id":"Q2365126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854367$049388C6-E361-4D8C-9A67-3212C362E3A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4ce360b529a0b94516d65eb2f8d77c4b225e926","datavalue":{"value":{"entity-type":"item","numeric-id":4647500,"id":"Q4647500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854367$737A03D8-A6EA-4244-8A24-90EEB0706EC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b11e19574508418c19657a6f1385e1d5821221a3","datavalue":{"value":{"entity-type":"item","numeric-id":4647545,"id":"Q4647545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854367$B8C46AFE-56F6-49B4-B11F-E43A6111D2BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b95a10e194b852a6f6838734d909c8312bfc826f","datavalue":{"value":{"entity-type":"item","numeric-id":3028369,"id":"Q3028369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854367$7F467141-73F9-4272-91A5-9AB7E30372AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"599c5dbf52817fbbe5f2f15e33a96dc6ac97514e","datavalue":{"value":{"entity-type":"item","numeric-id":3908463,"id":"Q3908463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854367$8D5D5997-CFE4-4026-8A97-DA81D56B2662","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1e0b4fc54e8c62a86959e50d4b1b27d9d9a092c","datavalue":{"value":{"entity-type":"item","numeric-id":5581665,"id":"Q5581665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854367$DA37D4B5-C7F2-462B-8904-8F28944407C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07441aec0715add91dbf903fea4c539fe7c16a9c","datavalue":{"value":{"entity-type":"item","numeric-id":5210777,"id":"Q5210777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854367$8BF7E730-D547-4271-A06C-12C163F64D99","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c10c038509c68194dc4ff9f42247e000e64b1135","datavalue":{"value":"10.1006/INCO.1999.2857","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854367$D4861701-3DD3-42C8-839F-52A6382292D9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"776e4c784830960f08191feacfb851aa37febae2","datavalue":{"value":{"entity-type":"item","numeric-id":4797437,"id":"Q4797437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ecf632d6294e317e581911a22c4d73444971d78","datavalue":{"value":{"amount":"+0.87833893","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1854367$20222C26-9C77-4D5C-B9AB-CF938BF5E768","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ee8b4c79deb3aa57ce2641b4039a91462d9cc63","datavalue":{"value":{"entity-type":"item","numeric-id":4465166,"id":"Q4465166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91dc2f6753bcd18da419187e2f96d528f0b8e190","datavalue":{"value":{"amount":"+0.8465719","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1854367$72E6AB63-A5A4-4E98-BA9E-5F5AC60248A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad8a43ad7f21ec3c22fe6dc052acb857f4cd13aa","datavalue":{"value":{"entity-type":"item","numeric-id":2739546,"id":"Q2739546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13fa9c9a628933a5e8f4460af951e83d560ca675","datavalue":{"value":{"amount":"+0.8434268","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1854367$B137372C-A023-4D7F-A294-CDAAA5594EBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89bb4a13862f5344d2b357b7108ff7220ee876a2","datavalue":{"value":{"entity-type":"item","numeric-id":2069871,"id":"Q2069871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f955a0c6e2e20297908ea0c3436d516f4410255d","datavalue":{"value":{"amount":"+0.8370224","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1854367$53D4F7C8-D7B3-48E5-B9FC-96E836022E07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1cd996b2f1fae70ecc8f0f9ca5aafd645435786f","datavalue":{"value":{"entity-type":"item","numeric-id":4529543,"id":"Q4529543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fcb3ae318e8bb41ebea38501e03296c1df711a67","datavalue":{"value":{"amount":"+0.82816565","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1854367$BC9406F9-1BCA-41DA-BC2F-666B0691C213","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17680d40b3e4a3063c42da38a3078d4ed9be0672","datavalue":{"value":{"entity-type":"item","numeric-id":4817210,"id":"Q4817210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8fdcff1b7b631bfebd4460efcb9f6df839e34cb0","datavalue":{"value":{"amount":"+0.8212925","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1854367$C627D574-7F1C-45B0-A36D-29BF01474CAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d210128989aa66208f26e43c05800df489f4976","datavalue":{"value":{"entity-type":"item","numeric-id":5351954,"id":"Q5351954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3894b8450994951ea41890b4103a3a4bd5cd0ecc","datavalue":{"value":{"amount":"+0.81766033","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1854367$7772BDEA-470D-4062-973F-ED9CCC8081F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2bedcca7522067bd4c9657d84c45f2b6bd8d3026","datavalue":{"value":{"entity-type":"item","numeric-id":1272613,"id":"Q1272613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b177ba5fd1c8cb1c15ef6b7ea7fe2ddd48b4908","datavalue":{"value":{"amount":"+0.8132529","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1854367$79FF4AA6-8957-4A80-86F7-B32F86CFC88E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5738056f493c2a73792b572ec3192ec7a858934c","datavalue":{"value":{"entity-type":"item","numeric-id":685544,"id":"Q685544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86ae54230374b7d8d7128a40575f55b37bf8c435","datavalue":{"value":{"amount":"+0.81287396","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1854367$BA08E188-0822-4560-8E43-565BE6D4A095","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Automatic acquisition of search control knowledge from multiple proof attempts.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Automatic_acquisition_of_search_control_knowledge_from_multiple_proof_attempts."}}}}}