{"entities":{"Q4012178":{"pageid":6041976,"ns":120,"title":"Item:Q4012178","lastrevid":55174183,"modified":"2026-02-04T10:31:32Z","type":"item","id":"Q4012178","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 67454"}},"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":"Q4012178$D249E0D5-75A1-4570-9878-390F25543463","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"243cf4d95600f7261e8bd6815d7b7198273a8c00","datavalue":{"value":"0746.68081","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4012178$33593403-33D9-4C22-8E65-669A70FCF3D3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f7312aa49e695258fc219389a5f4fc014d345696","datavalue":{"value":{"entity-type":"item","numeric-id":504392,"id":"Q504392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4012178$07B1749B-6935-4B98-A1A9-D9FA102E5000","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":"Q4012178$8CF2390E-2AE4-44BE-99DE-F0046AE78C28","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4012178$43069C3D-4C7E-450C-ADFB-58871EBEA97F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4012178$6FABA223-1895-46F4-B868-14B37FA05545","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4012178$E2199E30-EAA7-4BEC-9DAB-0BDA89B22F44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cd1ebd9dd665e7350d17a40eafa30f7b99b8c1e0","datavalue":{"value":"03C85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4012178$4A6DDAD4-8C33-4CC3-B744-4F8E7812A121","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1dd81858b92eabef20c7d4caa396263e23af1b4c","datavalue":{"value":"67454","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4012178$6E1FD574-9698-4271-AA06-C0636E7F94F8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bffac8577b0ac0cf83610798d5a7a75e04f2753c","datavalue":{"value":"higher-order theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q4012178$40924D26-28C6-47A3-840D-81687A74A224","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9c40cf9a35904f638a7cabef2bc178bad46391f7","datavalue":{"value":{"entity-type":"item","numeric-id":13717,"id":"Q13717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4012178$D9844367-4626-403B-975A-A1B75B418909","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":"Q4012178$85AB9C43-74D5-49CD-B57C-3C63985047CB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0ec97b8481b3a0b1d3747ab1cfe1014f767440b","datavalue":{"value":{"entity-type":"item","numeric-id":4524794,"id":"Q4524794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca6e3df96a2fe7d9708b482e539394f17e186a77","datavalue":{"value":{"amount":"+0.7558114528656006","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":"Q4012178$B44F68D7-B468-4290-952F-7815E865ACA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a79efe2c6dbd42e36766761e062876f07ca1c2de","datavalue":{"value":{"entity-type":"item","numeric-id":4281475,"id":"Q4281475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca6e3df96a2fe7d9708b482e539394f17e186a77","datavalue":{"value":{"amount":"+0.7558114528656006","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":"Q4012178$D49EC3E6-8238-4571-A5A9-D56D68BDA425","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0611c94e9ea1aaef98f6d180f8949cd0d0afe13","datavalue":{"value":{"entity-type":"item","numeric-id":3343471,"id":"Q3343471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3568df4f4034de4c49e1fb863d9f72c40f2e7eac","datavalue":{"value":{"amount":"+0.7428663372993469","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":"Q4012178$20D462B9-ED0A-4F75-944D-5DE7E04580BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12e48e9e05eb2aa140fc917005762fc00b6691d0","datavalue":{"value":{"entity-type":"item","numeric-id":4645222,"id":"Q4645222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"953a5a9c11c47e6cb2ffbf71e95a73088f35f3b4","datavalue":{"value":{"amount":"+0.7339009642601013","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":"Q4012178$381C7012-79BB-45CA-85AC-E3BC97BFAD13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dbf175ca02fbfe4698f3e33445ec7cdc416b1c24","datavalue":{"value":{"entity-type":"item","numeric-id":5477663,"id":"Q5477663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4c41c69a588a1438df9b62c856876a8e2ab3bc6","datavalue":{"value":{"amount":"+0.7310999035835266","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":"Q4012178$6B05C1D0-0B15-45F4-BD47-6D12502E2860","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4012178","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4012178"}}}}}