{"entities":{"Q2844813":{"pageid":2855533,"ns":120,"title":"Item:Q2844813","lastrevid":51802730,"modified":"2026-01-20T03:08:53Z","type":"item","id":"Q2844813","labels":{"en":{"language":"en","value":"Towards proof planning for \\(\\mathcal{M}_{\\omega}^+\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6199477"}},"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":"Q2844813$ED629885-F51D-4F90-BFFD-ACA05A23B6FE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"115563ee17e1e6dfe29ba7456e0c51a8cb5d9a30","datavalue":{"value":"1270.68263","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2844813$0767A989-7E77-474F-9E42-315BC1D8B3F6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5dbcfab01bc8a329499434eec2cf9301b09edd82","datavalue":{"value":{"entity-type":"item","numeric-id":841685,"id":"Q841685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2844813$6774601F-A90C-4C93-88C3-08B6190E64E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e1024ad51fb0c89617301d9b58c1789ce603d4d1","datavalue":{"value":{"entity-type":"item","numeric-id":2092486,"id":"Q2092486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2844813$63FC0594-9E4B-40B5-938B-F26CC8D6D68D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"108ede7b32300394ff9a1f5dd35fef9c8cf60c54","datavalue":{"value":{"time":"+2013-08-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2844813$B684163B-A7A2-4022-92A0-BC65788FD08A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e66248060e04403092cc299280d378fff8949c2f","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S1571066104805103","type":"string"},"datatype":"url"},"type":"statement","id":"Q2844813$BFB3744F-CCA7-4E73-A8E9-57565FAFE54D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2844813$112790E8-9D5B-4082-AAB4-C15B1051559A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2844813$EA44A91C-965E-4874-86AA-DB1132204DF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2844813$B4EBCD3C-BA82-4A75-84AE-2E17512F4A77","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e0840ab3621414d3f33749e1e19046bbd7174a93","datavalue":{"value":"6199477","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2844813$B33763E6-1A56-4495-A892-7155ABA3F9E1","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"040fe209bf9959da562393c0e37eb31592733af3","datavalue":{"value":{"entity-type":"item","numeric-id":18957,"id":"Q18957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2844813$1D66370D-23C7-41E9-B941-164F33AA7BD5","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":"Q2844813$6505DC38-A021-4BEB-82F8-94CD9EB5B0F3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"054375fd9647749093207a0c9cf3c248fe418fbd","datavalue":{"value":{"text":"Towards proof planning for \\(\\mathcal{M}_{\\omega}^+\\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2844813$AA80D30F-5505-46E7-957D-DE0467B1AD56","rank":"normal"}],"P1643":[{"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":"18721608ac56f45452001800795563afc174320f","datavalue":{"value":{"amount":"+0.7799592614173889","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":"Q2844813$9E4E13A4-A8E3-41BC-87EA-A18ECE513513","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92d28c6833d1b2082b2c8fa3235548e2356e3f59","datavalue":{"value":{"entity-type":"item","numeric-id":2852043,"id":"Q2852043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"710d211a2be0cbec92fb16572b4285cad882dd17","datavalue":{"value":{"amount":"+0.7738360166549683","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":"Q2844813$899AAC0D-EB8F-4B34-B424-9AD46BC619CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"294488c3b85e860c2ccc9131090bac481e1175d1","datavalue":{"value":{"entity-type":"item","numeric-id":4428310,"id":"Q4428310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eece4e7861e31a1a9e50e42cb00223ac4d3621cc","datavalue":{"value":{"amount":"+0.765159547328949","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":"Q2844813$955FB692-FAEC-4E2C-A967-74BC32973668","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3ef072fb71a8f1cd37ad6a71751c23ae314c430","datavalue":{"value":{"entity-type":"item","numeric-id":4249901,"id":"Q4249901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eece4e7861e31a1a9e50e42cb00223ac4d3621cc","datavalue":{"value":{"amount":"+0.765159547328949","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":"Q2844813$F843C592-2ED8-43F7-B6D6-B63F27C9EDAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e53c11c206c753b30446eb4809e37edcd120c6a","datavalue":{"value":{"entity-type":"item","numeric-id":4707764,"id":"Q4707764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10cba57849532d379f75c923ae01250f4b81c429","datavalue":{"value":{"amount":"+0.7574190497398376","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":"Q2844813$E26C2CA7-E519-4F80-8292-4B81B4B815CE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2844813","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2844813"}}}}}