{"entities":{"Q7034867":{"pageid":21712086,"ns":120,"title":"Item:Q7034867","lastrevid":77522546,"modified":"2026-05-04T15:31:58Z","type":"item","id":"Q7034867","labels":{"en":{"language":"en","value":"Regularization in Spider-style strategy discovery and schedule construction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7977154"}},"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":"Q7034867$1E0F67B3-DD74-4E4A-8E71-B3031DFA5FC3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"57b642feafbb1cbb18149c089458ff0c2fc9c5d0","datavalue":{"value":{"text":"Regularization in Spider-style strategy discovery and schedule construction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7034867$71ADC6CA-8327-49F3-B7FC-8C88BDCFCA38","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3ab9030350b09bfbb34fdc6534bebcec1c113c0e","datavalue":{"value":"10.1007/978-3-031-63498-7_12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7034867$3FD66881-6C7D-4A75-A3E6-0EE25AF3B5B3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4e3fecda2506f50764e6e5b547fb312304c3483c","datavalue":{"value":{"entity-type":"item","numeric-id":2055884,"id":"Q2055884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034867$7F51FBBA-E712-42A6-850A-037E686B8AE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9d0e84ccf37fdb7305408634c4906ddced0fd802","datavalue":{"value":{"entity-type":"item","numeric-id":831934,"id":"Q831934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034867$2C65B677-10FE-4B16-A559-A82795511B0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5493ce657ff2c3e3dc02ab18ea0d14e2e4a6291d","datavalue":{"value":{"entity-type":"item","numeric-id":748757,"id":"Q748757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034867$9292B6C5-F30C-423B-907E-2AAE1B4C9C80","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"faebccf51ad7ddcce1eed4a97c7e0eb92d585316","datavalue":{"value":{"time":"+2025-01-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7034867$4C72EB20-4D77-487E-ABF4-9B2D27CA2632","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7034867$A5371AA0-11BA-4A86-9206-C0A409703BEB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e75666a5ca870cdc4372e29cd8bd288d7d53a525","datavalue":{"value":"7977154","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7034867$AD6CE43B-BE53-41F6-B283-EFA11C1F1D35","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034867$0FDA3F9F-5F3A-43BC-B806-6FC132F1D19F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97de72f1a81796c93de71f0abb1c69ae6667b471","datavalue":{"value":"saturation-based theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q7034867$3FC3C01D-A608-4FE7-9EB4-8E37D104B31B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dc39174bedf621b08c5578d72f7fb7feb7572e4","datavalue":{"value":"proving strategies","type":"string"},"datatype":"string"},"type":"statement","id":"Q7034867$A05B7A1E-24E0-4F84-A459-4EDA73A7FA31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0903d913b98c20e2c8e5b0b9bada6cbe0b1fee4b","datavalue":{"value":"strategy schedule construction","type":"string"},"datatype":"string"},"type":"statement","id":"Q7034867$A724C275-D0E0-4D4B-B07F-E57A4ACA3248","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a5ccf1e2d7bd2bb96455215f224fea99131775c","datavalue":{"value":"Vampire","type":"string"},"datatype":"string"},"type":"statement","id":"Q7034867$9A4C4CDA-28B6-468A-AD4D-263391384F34","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":"Q7034867$B50F7AE6-8F56-4C6D-867F-A312A56B9F38","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a80eed9f379f185c9ca92aab1fa2ad3cc4463c9","datavalue":{"value":{"entity-type":"item","numeric-id":3887227,"id":"Q3887227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034867$7439BA82-9AFD-478A-A3BC-92C832C37B68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0320a8b4e1768178ac291cd6c061d19c550f5f06","datavalue":{"value":{"entity-type":"item","numeric-id":6483406,"id":"Q6483406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034867$BAB2739C-6830-42B4-A509-B728031E929A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8bd554443d4def680b4aedb7a5e010af4f212d5","datavalue":{"value":{"entity-type":"item","numeric-id":2128804,"id":"Q2128804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034867$2EC77F83-2402-458C-98F9-91AD2D73AE88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cec92487e0774e4ecd565c4d24d646490b018f3c","datavalue":{"value":{"entity-type":"item","numeric-id":3651487,"id":"Q3651487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034867$7D26AC93-11BB-48CB-A4F6-798B101C9ED5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53f447f5040022ba5a13a2a11cc0c1c4175ebf50","datavalue":{"value":{"entity-type":"item","numeric-id":6160570,"id":"Q6160570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034867$8185CDF6-6ED8-4F5C-A35F-524723E039C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b5d3c73cce69e8cff0910a575a3b3b83cc27ee2","datavalue":{"value":{"entity-type":"item","numeric-id":6643000,"id":"Q6643000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034867$444614BC-6D44-47D0-8D0B-518DC70DAEA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b58031c6af924091b563c813c2578873fc8da1f","datavalue":{"value":{"entity-type":"item","numeric-id":1606925,"id":"Q1606925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034867$4A1DD754-05F3-431E-AA5F-01F688579704","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33890b7faad584193275d91a4cd4d3b147aff5a7","datavalue":{"value":{"entity-type":"item","numeric-id":3541709,"id":"Q3541709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034867$6BC16E4A-A246-4967-804D-A010A35A2093","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e70b7f28e274701fdfe37734667c089ec9fd2ea","datavalue":{"value":{"entity-type":"item","numeric-id":286787,"id":"Q286787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034867$90F80608-F735-4072-855C-81FEB570336D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"906219bc380fbc8bec22701ef1f54eb78d0c8f29","datavalue":{"value":{"entity-type":"item","numeric-id":5054669,"id":"Q5054669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034867$F72D6D5E-10A0-4A2B-92C3-517A84E010A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f34b98eb35b62210c470543927e38c2a7520c471","datavalue":{"value":{"entity-type":"item","numeric-id":689615,"id":"Q689615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034867$D60A7C9D-52AC-43E2-AC10-B2F334CD3ACD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"977d1aab07ee9d7ce31b232853139aeea88750fd","datavalue":{"value":{"entity-type":"item","numeric-id":2104545,"id":"Q2104545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034867$0373CEED-0737-4123-B5D5-D007CD5812B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98d06fbf3c215578b2bf79746bd2314b163011ed","datavalue":{"value":{"entity-type":"item","numeric-id":5041027,"id":"Q5041027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034867$FEC4965F-8460-4D4B-BEF3-BC5D11AEF5BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9297b6a91a7c29eb2b70ce4159ebd40915c17240","datavalue":{"value":{"entity-type":"item","numeric-id":2305435,"id":"Q2305435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034867$D24C0342-5B0A-4553-846C-A0888D5543E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e469516266f4e2890c1ac8cb1d1faa4dcfd0c0b","datavalue":{"value":{"entity-type":"item","numeric-id":2104552,"id":"Q2104552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034867$F2D01CFE-F8E8-4E78-B5BC-66AFEB1DB14E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f82f0f40ab66cf033c5a229880b34de6b2284f9c","datavalue":{"value":{"entity-type":"item","numeric-id":1694574,"id":"Q1694574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034867$E5F43A63-1B0B-4AF1-9704-24E07FF3DB75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"356118b3fcb70897b17bef806f7baa85cb704cce","datavalue":{"value":{"entity-type":"item","numeric-id":1272606,"id":"Q1272606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034867$B9A9B07F-9CF6-4EB1-B420-32B692DB7F5D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Regularization in Spider-style strategy discovery and schedule construction","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Regularization_in_Spider-style_strategy_discovery_and_schedule_construction"}}}}}