{"entities":{"Q5302898":{"pageid":7332472,"ns":120,"title":"Item:Q5302898","lastrevid":50539217,"modified":"2026-01-14T08:21:37Z","type":"item","id":"Q5302898","labels":{"en":{"language":"en","value":"Semantic Guidance for Saturation Provers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5492001"}},"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":"Q5302898$A0DDCA19-7AE1-42D8-B38F-AA2B1AA5ECA7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"84884bc4a085b9c3a8ddfb7b775460f3143f5f69","datavalue":{"value":{"text":"Semantic Guidance for Saturation Provers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5302898$859B3793-C29D-4BD4-9D3E-94738226E1BE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"28e5dd2ef97b3d85be688c98a4b3a1f61cd9e2fd","datavalue":{"value":"1156.68570","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5302898$CFEC0AB1-4745-4AA3-8FA7-A371E9BF9DBA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fab640c635d1bdc3bc66b741f89d3693ddae392f","datavalue":{"value":"10.1007/11856290_4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5302898$B644C552-2C4B-4E1D-B01F-F6C024D44F92","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d890af79c9ca3ac61d434a598eaae0d88b56c6ae","datavalue":{"value":{"entity-type":"item","numeric-id":5302894,"id":"Q5302894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5302898$0C1B86F8-840F-4B46-8010-F1B7384CE3DA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7e26e6c2a83c3157baf46ffe4a8d556736cf88fe","datavalue":{"value":{"time":"+2009-01-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5302898$73E10298-6D6F-4132-8B89-D69C7C4E513A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5302898$96410288-C9B5-43BE-A58C-93C4D76BFAD7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d50048d310c7e925f2eb15a0df10f36ca898538c","datavalue":{"value":"5492001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5302898$20F125F5-0C03-4C5E-8E7D-1F3A03E84FE7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0e0028fa115cfaf177650f352dee75f3c9756682","datavalue":{"value":{"entity-type":"item","numeric-id":688545,"id":"Q688545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5302898$18AB1CAB-1426-4C65-9DE3-7179928C5FCF","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"82659ddd3b24a7f3c51a78eb5f25cc1e5d64df69","datavalue":{"value":{"entity-type":"item","numeric-id":17116,"id":"Q17116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5302898$43C18CC8-3052-407D-85E8-71BDA0488A82","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":"Q5302898$42F1FBC8-425A-4E1B-B04C-B3479FA11D15","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"859b2e68c21803143a37e5491dd2160438603d85","datavalue":{"value":"https://doi.org/10.1007/11856290_4","type":"string"},"datatype":"url"},"type":"statement","id":"Q5302898$422F40C1-317D-498F-BA8E-48A2DF74E64E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f5c8ba1c23977ca6974cba7241c35ca4dec04897","datavalue":{"value":"W1532070529","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5302898$57D7E854-1B9F-479B-B7B8-D47E76769667","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b31e39c392ede8b11c1ca113b79fb83a462765c","datavalue":{"value":{"entity-type":"item","numeric-id":5210771,"id":"Q5210771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ac1196bfc5d786280711bc234a9281c9702a827","datavalue":{"value":{"amount":"+0.7562681436538696","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":"Q5302898$BE3634AC-1253-40F2-9927-C350731BF2E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d565b54928fdfb42ec16403f3c4b7c2f56347aa0","datavalue":{"value":{"entity-type":"item","numeric-id":1820597,"id":"Q1820597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30e12c8c9ea58202b21ffa6402facd97f6347616","datavalue":{"value":{"amount":"+0.7544265985488892","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":"Q5302898$87E72A71-3C1D-4886-9214-860D23F715E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8a21598402b9ee47240f4cc6c30503f481a77fa","datavalue":{"value":{"entity-type":"item","numeric-id":4539629,"id":"Q4539629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7b9e7742703abaa1fabcabd77257ac56be7554d","datavalue":{"value":{"amount":"+0.736822247505188","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":"Q5302898$25573821-4924-46ED-8868-935254657B00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e4db550a0fe9509975fa633613215f3cc6c78d6","datavalue":{"value":{"entity-type":"item","numeric-id":2817934,"id":"Q2817934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61d3d74e05943edfb402679f6e2b9f0cbb8555eb","datavalue":{"value":{"amount":"+0.7257534265518188","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":"Q5302898$BB03B059-BFE8-4F7D-AA0E-638BA1E2B3DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ddee72647a54fa2df485a98d33ad8ff867efc18d","datavalue":{"value":{"entity-type":"item","numeric-id":2289018,"id":"Q2289018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61bd34ea0c56a14f9511503acf838f4ba7eb5709","datavalue":{"value":{"amount":"+0.7175263166427612","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":"Q5302898$99C9BACE-76D7-4233-8B0F-7229446CBF43","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5302898","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5302898"}}}}}