{"entities":{"Q4012198":{"pageid":6041996,"ns":120,"title":"Item:Q4012198","lastrevid":55174225,"modified":"2026-02-04T10:32:07Z","type":"item","id":"Q4012198","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 67468"}},"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":"Q4012198$D3EC4630-A206-49B1-9A44-3B5E5A038926","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"74cd8c0edae7c0c5cf8558e2306bb421e3724664","datavalue":{"value":"0745.68104","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4012198$91E97D0A-DEA5-4D36-BABE-0FDB5BCAAF29","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"870c28c912bd6dfc5714e32ee659eefd69e17e56","datavalue":{"value":{"entity-type":"item","numeric-id":3223145,"id":"Q3223145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4012198$C276C3C4-4E8E-46C8-8779-F5BF6F569746","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"11c3f84cb099b2e03bdc5787389fcf8875691276","datavalue":{"value":{"entity-type":"item","numeric-id":2771687,"id":"Q2771687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4012198$AB45495E-6F1B-4283-B308-8850F36B1EBE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5fd62271fe98c7ff9916cafed51cf35315eeeb31","datavalue":{"value":{"time":"+1992-09-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4012198$E6A22B22-D98B-492C-8A65-1C19E434D2AB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4012198$87070859-F0F0-4211-8995-B1FA71981E38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cfe779e91fe9c53ee133568259955801965765ae","datavalue":{"value":"68T05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4012198$8EF251D1-CE6C-4651-A72F-C355D5F33358","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fbbc6a9bef8fc9f2fa355fee8d7f9dfb487b2d82","datavalue":{"value":"67468","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4012198$681C4A79-E0BE-4574-B7E8-AA4C21D2AC89","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dce248baa6ddc45c558e1072a9ef8778d9930096","datavalue":{"value":"planning","type":"string"},"datatype":"string"},"type":"statement","id":"Q4012198$33D1B06E-C9B3-4C19-B9F1-C441D50A416D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f01d3c097cfc3280e9d2ef5dbaca987d5728d941","datavalue":{"value":"mechanizing inductive proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4012198$8E92AFFA-62A9-498D-9F4F-9D7DCA24E0DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"34276340acb9c6ccda32d4bc936ee449b038b492","datavalue":{"value":"constructive matching","type":"string"},"datatype":"string"},"type":"statement","id":"Q4012198$F0FD6A83-3A7E-4E26-8EF8-35609CB80B9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"53b62e95b0ac804734c80e35b460bdd60fba039d","datavalue":{"value":"``how to clear a block'' problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4012198$002B7855-A767-416D-962F-4A7FD7B8834F","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":"Q4012198$D3923232-CDF0-4641-893B-CAE20A87CE95","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"961105abeee1cc0635292f0518759ea80bf71242","datavalue":{"value":{"entity-type":"item","numeric-id":4287497,"id":"Q4287497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b6c9a5f602775174f4b8950df9776c5ac17e674","datavalue":{"value":{"amount":"+0.8991281986236572","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":"Q4012198$C866EF6D-9E3D-423D-B471-1F3DD265394D","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":"f1b6ae349126f87a9380d9c1051ccf6e20e7a2f5","datavalue":{"value":{"amount":"+0.7870185971260071","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":"Q4012198$BB37E277-4296-4F2F-945E-6E943A80FE5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"152ce6037ea61d2aba1f1d8d034c5f1c2ba19638","datavalue":{"value":{"entity-type":"item","numeric-id":3979265,"id":"Q3979265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9298cb20981f12ce2f0760999a062db8eadaa3b5","datavalue":{"value":{"amount":"+0.7314212322235107","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":"Q4012198$1172FCBF-012A-467F-96B9-CB7805630E7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"003e1b828cba2f17bbd1982673e086ad8f3b6c2d","datavalue":{"value":{"entity-type":"item","numeric-id":3706480,"id":"Q3706480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08997cc5f561280e664b79158819fa9a75618464","datavalue":{"value":{"amount":"+0.7295320630073547","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":"Q4012198$96A039E1-2A78-4B6D-9524-76B9CE162833","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f225124d15a7a6aa53392ac079722a1eb252bdfa","datavalue":{"value":{"entity-type":"item","numeric-id":3345810,"id":"Q3345810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87b573509b74cdfeeb977dde93ec3e2efcbce21d","datavalue":{"value":{"amount":"+0.7061825394630432","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":"Q4012198$D3A311F1-ED5C-4FC4-8D78-2EA70422ECC5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4012198","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4012198"}}}}}