{"entities":{"Q4247078":{"pageid":6276679,"ns":120,"title":"Item:Q4247078","lastrevid":46824285,"modified":"2025-12-25T16:18:19Z","type":"item","id":"Q4247078","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1301855"}},"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":"Q4247078$E1FED252-612A-4FD1-89DF-7A07440A9644","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bde493ee6298e7eabf45473ec14c4b2f25b20ca9","datavalue":{"value":"0927.03021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4247078$9E8F0AD9-BC37-4CDE-808D-39D2A79D5D64","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"122456b3c8b02e70db535ad636d1622055b15749","datavalue":{"value":{"entity-type":"item","numeric-id":2492153,"id":"Q2492153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4247078$4F4E3779-90FB-4D73-9BC1-0B6131FBE894","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fdac7f8667945c3fb34e527fc5abbf5817818c79","datavalue":{"value":{"time":"+1999-06-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4247078$0390BE40-6E48-45CD-A588-1C15F7BE07D8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4247078$50C2A93E-6302-49ED-A307-BA21277381E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4247078$55E430A4-0D5E-4338-BCA2-6D8AA0C7B773","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ec424c8020d713019ed5855243884e0d55786af0","datavalue":{"value":"1301855","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4247078$555CBEC6-9EB6-4D06-A4A0-28DFC9DC5CAE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf2c74b6ab527fced5f2d2e8d1cadd442d08a295","datavalue":{"value":"automated higher-order theorem prover","type":"string"},"datatype":"string"},"type":"statement","id":"Q4247078$3A73E9C5-ECFD-4458-8FB8-F8CB081E91E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"79f6606c37dec7b45391ea0328032f8106f55534","datavalue":{"value":"extensional higher-order tableaux calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4247078$AC1CAD34-EFBC-45BE-B804-6CE34129EF81","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":"Q4247078$F90AF698-1225-40AC-8C15-D57DB637D145","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2ccbbe6930c8e1cc299a9de96016fd336eaa915c","datavalue":{"value":{"entity-type":"item","numeric-id":18874,"id":"Q18874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4247078$947E12E8-F3EE-4B33-897C-25AA6EAAB9AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bccd1d0bb2717360c541381c661e7bb40d86b318","datavalue":{"value":{"entity-type":"item","numeric-id":21962,"id":"Q21962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4247078$81D90C44-9E0C-4F7A-8E64-4DB9FEB9131D","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":"Q4247078$52C8260A-E73A-4AD4-8E48-481D4841D2A8","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":"fc846f4ddb7a7c3dcc6c5ec14ef6044b016db6e0","datavalue":{"value":{"amount":"+0.807930588722229","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":"Q4247078$EF96AF9A-9BF7-4DC6-A086-01213C02D4D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d66a676533dcd495b9a796a7f6bbde83344fee32","datavalue":{"value":{"entity-type":"item","numeric-id":2908482,"id":"Q2908482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8855332a4314bee279ac1c1a3813822c022c54a0","datavalue":{"value":{"amount":"+0.7907652258872986","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":"Q4247078$40FEBBA9-8436-4CF5-8AA9-89AA0D111879","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"702f614d3b1cf6db6263643d534e27ad9308dbcc","datavalue":{"value":{"entity-type":"item","numeric-id":5475621,"id":"Q5475621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"563d5dca6b2b6dbec3f8afd8636aba51664226b1","datavalue":{"value":{"amount":"+0.7577575445175171","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":"Q4247078$95CE8EAE-1205-42B4-B50A-960EFB5B6F0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37e17781bce1ee102887185e1b39d38b59fe7e87","datavalue":{"value":{"entity-type":"item","numeric-id":6488521,"id":"Q6488521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6113dc2b8c715a979603ad777abb528be789d65d","datavalue":{"value":{"amount":"+0.7528724074363708","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":"Q4247078$EA9A6D16-6A81-4344-9B08-5E903D3B10F8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4247078","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4247078"}}}}}