{"entities":{"Q6166545":{"pageid":13301427,"ns":120,"title":"Item:Q6166545","lastrevid":55471312,"modified":"2026-02-17T17:10:53Z","type":"item","id":"Q6166545","labels":{"en":{"language":"en","value":"Automatic conjecturing of P-recursions using lifted inference"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7721892"}},"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":"Q6166545$8BCB138D-C59E-4BD1-BB0D-F4574AC41A16","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fb59a5101541c4cb5de04b02b37a2f7c7f72358f","datavalue":{"value":{"text":"Automatic conjecturing of P-recursions using lifted inference","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6166545$4841AD37-B88C-4615-BE36-4D568C503BC9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a7940e3e7f36e2e3452e809796aea5e840ef713f","datavalue":{"value":"1524.68347","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6166545$1DCE99DF-B353-4700-9D7D-441789DDA947","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"968aa3159b271207b9b1f555e75eafd4486c2c3d","datavalue":{"value":"10.1007/978-3-030-97454-1_2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6166545$3B982FD7-FDD2-4378-A20F-8632FAA2DFE7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1c81e4d2fdd07bdddfea6bd9658e8364d790de3c","datavalue":{"value":{"entity-type":"item","numeric-id":5266444,"id":"Q5266444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6166545$ECE5ADF3-9D9C-41B3-9A7D-27117786D02C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bf0fe81e7967ec211454f86bda00e9f82b0113a4","datavalue":{"value":{"entity-type":"item","numeric-id":6088315,"id":"Q6088315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6166545$3028B0BF-48C7-4618-8CD4-2286FCF72A3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"91538c60aa83c782acba99ea7071597d293f3233","datavalue":{"value":{"entity-type":"item","numeric-id":505058,"id":"Q505058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6166545$259EB7D4-099D-4BC4-859A-F32BB17BC036","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"18301731ab1efe99636739a9817c28ef88235bfa","datavalue":{"value":{"entity-type":"item","numeric-id":413861,"id":"Q413861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6166545$E61C5092-E0CF-4FD5-B263-F8CE63A2D6CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"926b4dd6a479ff06551554bd01e4942daebb0550","datavalue":{"value":{"entity-type":"item","numeric-id":413860,"id":"Q413860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6166545$412B43B0-5866-4F39-BC02-B40B5FA2D610","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8ca7a52a8c23a8f01e93aa24f1d4c2c73d62b5e4","datavalue":{"value":{"entity-type":"item","numeric-id":2827470,"id":"Q2827470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6166545$3A97F498-68BB-4381-8897-4D864F6457DD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a6eaf6392c103dc7078b19f62b9d4fcfed266fe4","datavalue":{"value":{"time":"+2023-08-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6166545$73E1EEC5-7C36-4DDA-9A4E-9CE7B134F0D0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6166545$D36C396B-1E0B-4F8F-8180-872C5E63A957","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b58df756e27df0e7b4d6d54dbbfd9015b563e63d","datavalue":{"value":"03C13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6166545$23816992-B008-40D6-8053-61B62F12C8C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4a5372688a0d668805df5d9ffd1da58833a0f595","datavalue":{"value":"68R05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6166545$4CB898F3-2796-49CB-AC9E-84367CF27095","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b892203a53374d5c446b134e39375c2e199d2e39","datavalue":{"value":"7721892","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6166545$22A69444-C95B-4C1E-BDD2-B7C9FE026623","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9386142a8ad90038185e0e06edbf15d2369874bc","datavalue":{"value":"lifted inference","type":"string"},"datatype":"string"},"type":"statement","id":"Q6166545$81812A36-4F3B-4528-B8E2-FFF60988B551","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"27aa5d84f6988ff903ef9fa1fa0b56ae7a302c7a","datavalue":{"value":"weighted model counting","type":"string"},"datatype":"string"},"type":"statement","id":"Q6166545$CA526E8E-950C-484F-911C-E87A26AF2310","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8988f79e6abae0a69a1b31a138758e595a65f351","datavalue":{"value":"conjectures","type":"string"},"datatype":"string"},"type":"statement","id":"Q6166545$271C3D15-8294-4C96-8988-A24A2DF97CA5","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":"Q6166545$B4872388-BAD7-4305-9593-FF87039A20D4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"26c8b7762f2813de6e101eaaf6644f311a8b4a5c","datavalue":{"value":"https://doi.org/10.1007/978-3-030-97454-1_2","type":"string"},"datatype":"url"},"type":"statement","id":"Q6166545$6DBEDF32-D97E-41A2-80E8-D169AC079FE3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b2837fe9f94df907e9ec7e7a89d518e3bd6dec15","datavalue":{"value":"W4213425519","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6166545$244EA270-394D-4186-8115-70D2BEAB7324","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2875ea1dbc03ee9e6824199b9d9113bd8c9b3c0","datavalue":{"value":{"entity-type":"item","numeric-id":2985813,"id":"Q2985813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6166545$EF9FADE2-E2F2-4A59-9B3D-E89E78D11E3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2564718bb18ae8d59f303725a1249310c719b38a","datavalue":{"value":{"entity-type":"item","numeric-id":2456561,"id":"Q2456561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6166545$B974A9C9-841A-426F-A037-798F2545F9EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51ef8fac80d379bd80260f843138869332bd9384","datavalue":{"value":{"entity-type":"item","numeric-id":3549563,"id":"Q3549563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6166545$48B64F84-4510-4ECE-A02B-31523F51FE66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b19d4c961176e9452dd55fdddf2406cd05d35f5f","datavalue":{"value":{"entity-type":"item","numeric-id":4338040,"id":"Q4338040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6166545$0CAF71C3-50ED-4799-A9DC-50269BD2A54F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5dddb5471823afdacda21ae831d9d3c8a50ed688","datavalue":{"value":{"entity-type":"item","numeric-id":5145338,"id":"Q5145338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6166545$6DF20701-BDB5-47F8-8367-C3039A9DA72E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f83c0ec2fb196710900599c29e6b3cc2481ca8cc","datavalue":{"value":{"entity-type":"item","numeric-id":4989322,"id":"Q4989322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6166545$1A925A0B-0203-4149-B85D-3A9F740C4DA8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb7b78b13d3fa91f98710ce9f1c63dc45c120d7f","datavalue":{"value":{"entity-type":"item","numeric-id":2943880,"id":"Q2943880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58c398c3f24b138dd0c7164cb6bdc738d740786d","datavalue":{"value":{"amount":"+0.7139910459518433","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":"Q6166545$6EC1E7D5-3E7F-49A2-B204-6024B0B576DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13abcd3b4335f0bd274c3464691ebeffbe90f352","datavalue":{"value":{"entity-type":"item","numeric-id":2029588,"id":"Q2029588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80c25cfc412f9793e9c27f096c31ea8e0bd93c0a","datavalue":{"value":{"amount":"+0.6970646977424622","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":"Q6166545$09367D32-AA9E-4F61-BCB4-8E3249C91EF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"626af552800c299fde00c1e6713b120a41aee4a5","datavalue":{"value":{"entity-type":"item","numeric-id":5240217,"id":"Q5240217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d974c9607501b462b6058dac9cfd566982de1577","datavalue":{"value":{"amount":"+0.6800247430801392","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":"Q6166545$871D275C-D0F8-4A1F-BA42-365F9D2C7CC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42b14176347df964e568244a7f7b18fa5eaa330b","datavalue":{"value":{"entity-type":"item","numeric-id":2838233,"id":"Q2838233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a0a743159f094975015cdee7eecae4fdb796306","datavalue":{"value":{"amount":"+0.664799690246582","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":"Q6166545$837F40EB-6059-405F-91D4-27E3D659A2DF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6166545","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6166545"}}}}}