{"entities":{"Q2848045":{"pageid":2858765,"ns":120,"title":"Item:Q2848045","lastrevid":51832640,"modified":"2026-01-20T06:37:15Z","type":"item","id":"Q2848045","labels":{"en":{"language":"en","value":"Failure reasoning in multiple-strategy proof planning"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6211403"}},"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":"Q2848045$AD5EB859-EF23-40C5-8E14-14FF984E6EF5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1187b9c614c4599bc2090fd34aea8fbeded74290","datavalue":{"value":"1272.68374","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848045$1261BDDB-B15F-49AD-8820-C0E7FB8DC67C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"63a8ceece294270cdd3e0740817fe33ec4f8e10a","datavalue":{"value":{"entity-type":"item","numeric-id":862391,"id":"Q862391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2848045$BD6B854D-758F-4C3B-9310-788C46E5D368","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8277b97ee89f3f6e73af930a736006548fe36efb","datavalue":{"value":{"entity-type":"item","numeric-id":1188507,"id":"Q1188507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2848045$06B631AA-570D-4FA1-8C29-350668D3BE21","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"68e9606d4f4e53be9a37b58bd23167a8b2b94aea","datavalue":{"value":{"time":"+2013-09-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2848045$3F9D71F7-E022-479E-9D8D-8854F1969B37","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6c036b982c8ed430be869583aa65f779b748d288","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S1571066105000964","type":"string"},"datatype":"url"},"type":"statement","id":"Q2848045$1A51C5E3-F3C3-4A29-999F-2361197F3417","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848045$4DB88339-DFDF-409B-B09F-15850D8BDCBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848045$C56C66D7-4A5C-4293-8142-8D1B2E1AF1E5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"09b7555e7cf9e2dae34d20494eeb6ffb4fb4343a","datavalue":{"value":"6211403","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848045$1EACF7C5-693F-467B-B6CC-A97781704658","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ef66738b9d04f9bd219c249468a3689be8ef7ac2","datavalue":{"value":{"entity-type":"item","numeric-id":33162,"id":"Q33162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2848045$171E53D0-7D81-47ED-BE77-C186D7F0E55E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ec97af8dbde1b3f52d57c157b7fa0c737d48882a","datavalue":{"value":{"entity-type":"item","numeric-id":31439,"id":"Q31439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2848045$1AE25894-ACE5-4700-ACE3-6AD504A75C24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f028a8a6db3bc5ae4579b69f24eb8d66b93659f7","datavalue":{"value":{"entity-type":"item","numeric-id":31448,"id":"Q31448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2848045$8DF5B38B-4FF9-4C8E-9C96-5EDD66F9188A","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":"Q2848045$53823DEB-6225-458E-A8A6-2AEF4EAD8479","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f89741c34f84405102fe37d7e0a0a726cb569d01","datavalue":{"value":{"text":"Failure reasoning in multiple-strategy proof planning","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2848045$8EEF4840-ACFB-4AD5-A267-AC2544EDB696","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5f1e1019335038d96d8ef8d40d3dbd40aa0ae81","datavalue":{"value":{"entity-type":"item","numeric-id":2767093,"id":"Q2767093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76926491512b45e144daf4f7c55459fe69a9eed3","datavalue":{"value":{"amount":"+0.8165076375007629","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":"Q2848045$2B7B343D-8406-4B27-9BF0-37F4B84D5535","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7725301e3b2f82de385313f1d7e86b4c3bb6d458","datavalue":{"value":{"entity-type":"item","numeric-id":5898517,"id":"Q5898517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"448b70a5b0c5c785b2c1d3f3934322ddce8c53f2","datavalue":{"value":{"amount":"+0.8160728812217712","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":"Q2848045$CA23F592-E315-48A5-BCCC-817DD7EB55CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12cfc954b1c18a434b6dbd57c8847a33d308f96b","datavalue":{"value":{"entity-type":"item","numeric-id":2389631,"id":"Q2389631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b78e9ff99ede804447279258029e651298634556","datavalue":{"value":{"amount":"+0.8052483797073364","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":"Q2848045$B329F03E-565E-41AF-B940-27B537BCA434","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b70983583bd7e5ea71011477dc85b183843e87af","datavalue":{"value":{"entity-type":"item","numeric-id":5464716,"id":"Q5464716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25012bd27a608e15926190fb80b3e03853b83374","datavalue":{"value":{"amount":"+0.714941143989563","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":"Q2848045$CF52BF24-482B-4667-8C81-E80D7CACA491","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"047938128814d9009a71f0a1e328b9d53f3dc9c5","datavalue":{"value":{"entity-type":"item","numeric-id":5394617,"id":"Q5394617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33d4abdd540c8efe4bc8443081344d72a8af1ce6","datavalue":{"value":{"amount":"+0.7138167023658752","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":"Q2848045$2C934809-FFFC-443A-B66A-4AE7E29DD26E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2848045","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2848045"}}}}}