{"entities":{"Q2848060":{"pageid":2858780,"ns":120,"title":"Item:Q2848060","lastrevid":51832670,"modified":"2026-01-20T06:37:17Z","type":"item","id":"Q2848060","labels":{"en":{"language":"en","value":"The TM system for repairing non-theorems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6211414"}},"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":"Q2848060$0E76312E-CC9D-4D7C-A7E2-3AB4AAD73E77","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c8295a734743dc01a5096a29f7baa5e5a021fbdf","datavalue":{"value":"1272.68352","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848060$AA2880AC-F905-469C-9C39-5BA6F0036CCF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"aabf2394201dcb7bbe23a34a5fcb477729e6b00b","datavalue":{"value":{"entity-type":"item","numeric-id":928663,"id":"Q928663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2848060$30337E7B-95AA-4295-85AF-E7F9EA15126F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bbd23f76cf48b6c6dc7094aa14a57f8808b09c1c","datavalue":{"value":{"entity-type":"item","numeric-id":2364669,"id":"Q2364669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2848060$85E728C8-F94C-4F68-AF81-4F9F3ED12FB9","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":"Q2848060$C1F6BD5F-B05E-444A-BC8A-489CA3760721","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"60e7d1aa3b41a882f2a409b158eea43488e29405","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S1571066105050747","type":"string"},"datatype":"url"},"type":"statement","id":"Q2848060$A3FC049A-A525-4D90-86A0-D191EB41930B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848060$50AC37C3-A4BB-425D-8CAA-92B59006A5B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cfe779e91fe9c53ee133568259955801965765ae","datavalue":{"value":"68T05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848060$8B637B5E-7F9E-4D7A-98A1-9342D0E68ABF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3fe24d589814a9800b6ae66904599b8254c4a435","datavalue":{"value":"6211414","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848060$49AE6465-E0E2-4727-90CB-DBDE09D8F10E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2207b0b201a95a431b254bcb1c01d869b9f41774","datavalue":{"value":{"entity-type":"item","numeric-id":18972,"id":"Q18972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2848060$3946228E-048B-4AD1-BCA0-9970C537475E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d3ed9701b24c07e8ddeb19932e1fa77191c06e95","datavalue":{"value":{"entity-type":"item","numeric-id":16327,"id":"Q16327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2848060$A57B9FAE-B19B-4458-BF04-ED9F162A0324","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1e7b4d238eeafa5b21b1ef85a0d6b8900bfdc422","datavalue":{"value":{"entity-type":"item","numeric-id":15442,"id":"Q15442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2848060$4C811EB1-A172-41C1-8816-38CB1C5BE7D9","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":"Q2848060$3E9FD536-BA58-4261-B8AA-E5AFEF11BEA4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a5354a92cc60ddcd4efd1c117a84e767ed784848","datavalue":{"value":{"text":"The TM system for repairing non-theorems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2848060$93A62AEF-0424-4EAD-A6D9-B88A538E144C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d17b1eecbcdc95803b8573d7e6232291d09bb3f","datavalue":{"value":{"entity-type":"item","numeric-id":4733440,"id":"Q4733440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e04287b6e7a873a83b723ff6dc783a101a154b53","datavalue":{"value":{"amount":"+0.7056589722633362","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":"Q2848060$AEFA7578-13AE-40A6-BF9D-77F53A7C2995","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8aea7919ebb0448a4cc56ca227584941c5cda3d4","datavalue":{"value":{"entity-type":"item","numeric-id":4721670,"id":"Q4721670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9cbbdda151c2dfd1be9a015a6b88e152300685ca","datavalue":{"value":{"amount":"+0.6925759315490723","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":"Q2848060$5951913C-9301-4AEE-9B6E-3195BF837251","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c4f32f1df048db7195f1e7c04fb6d701be0b689","datavalue":{"value":{"entity-type":"item","numeric-id":4792019,"id":"Q4792019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f05853b97ca6db5275280605ed8405d6e794c44","datavalue":{"value":{"amount":"+0.6860243082046509","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":"Q2848060$283B1901-BB04-4D24-858E-0FE2A0346D94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"88afd69a9b242c093828197147a90fd80978ffa3","datavalue":{"value":{"entity-type":"item","numeric-id":4499159,"id":"Q4499159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ccab6260bde8d55e82234ead484c186b5fb58b9","datavalue":{"value":{"amount":"+0.6855145692825317","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":"Q2848060$8605D798-33A3-4EF2-9AFF-4D1095A05C76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ee8b4c79deb3aa57ce2641b4039a91462d9cc63","datavalue":{"value":{"entity-type":"item","numeric-id":4465166,"id":"Q4465166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bfdf227a28393900b6ccdbc1c355c9cef252eaf7","datavalue":{"value":{"amount":"+0.6803043484687805","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":"Q2848060$09F9581F-2AE9-4A21-89C7-22E1B874B963","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2848060","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2848060"}}}}}