{"entities":{"Q4304753":{"pageid":6334354,"ns":120,"title":"Item:Q4304753","lastrevid":47265877,"modified":"2026-01-01T04:26:39Z","type":"item","id":"Q4304753","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 627412"}},"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":"Q4304753$FD367ECE-35E7-4DB2-AEF6-7A951212F7A4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d5dd836a0677f6b881f53a253e3bd8628a1afabb","datavalue":{"value":"0815.03003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4304753$1C5FC041-EE1A-4FB4-B26B-5059E7B07C73","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ec91c84374e1970ffeb850b5b07163b4a998968b","datavalue":{"value":{"entity-type":"item","numeric-id":167059,"id":"Q167059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4304753$94F74EB7-924F-487C-86DF-3D78C127C4D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"53993ae6db4350dacb1d3d4f5370b18b73e58da6","datavalue":{"value":{"entity-type":"item","numeric-id":167060,"id":"Q167060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4304753$571B1771-C4F0-4CDB-BD78-18CCC190CA78","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fb7328fa250b0e22157c1a026d2aa10f157d3ba9","datavalue":{"value":{"time":"+1994-08-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4304753$8E831D19-4E6B-46D3-B9A2-A94959626A4F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4304753$CE43F142-AF5D-49C8-A36C-E98196FBE581","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4304753$0243A17D-004D-466D-BA66-1C4E14A5476D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4304753$C908A31C-B717-48B3-8E20-DBE50196D501","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"35e72e52b485f97f90a1a8737a06097ca2b1ace2","datavalue":{"value":"627412","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4304753$0FA39AC5-AD66-4E30-AEB8-4B86EBDA5AD0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"986e975208b070c5142b42b7967bb38dc4fad0f4","datavalue":{"value":"proof complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4304753$4699B078-440F-4045-9532-20A67041303B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b34e81c9be74c25aae2603a8dfa343c349c2721","datavalue":{"value":"Skolemization","type":"string"},"datatype":"string"},"type":"statement","id":"Q4304753$02D3BCCE-9A2B-448F-A7EE-CB2CDDD65A61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dc0a06ffadbc917396a626e33a9a5489bfbfb917","datavalue":{"value":"automated theorem-proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q4304753$667AF3DC-05A6-40FB-8B7D-91B566C6B2B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab1fcc2149df2f4e08e941cac356b653bcccb5a5","datavalue":{"value":"Herbrand complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4304753$269B32D9-9190-464B-9A84-77066AD48C30","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":"Q4304753$4B4F646A-3AAE-496C-8469-4229B4273436","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d221f1c51313cd2e2190b3515617e2e06bc27fc3","datavalue":{"value":{"entity-type":"item","numeric-id":5851151,"id":"Q5851151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec745f19a3d1ba8fdbfcf261b1bb46437e3a0f09","datavalue":{"value":{"amount":"+0.8071154356002808","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":"Q4304753$8FB8069A-C090-4FD4-979C-822ABF7D06C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec1e6a9f6a7aea0256e7fd5dfadb5f51eb91fbb9","datavalue":{"value":{"entity-type":"item","numeric-id":2892685,"id":"Q2892685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a43a10735313f23ccb3056cd5f74875b69cd17e","datavalue":{"value":{"amount":"+0.7995441555976868","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":"Q4304753$3B463A79-0A38-4E02-8929-B2DDC61C607E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2ec75e220191ce9be193662d16c95db9d8a74a2","datavalue":{"value":{"entity-type":"item","numeric-id":2503404,"id":"Q2503404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a69188488a94b87f3db549ab084987cabf07b5cf","datavalue":{"value":{"amount":"+0.7864696979522705","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":"Q4304753$16FDA9B2-9810-42EA-9646-27694FE52DEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a70da77aab94cad657f9c4dc7401b0cd1eb5bc8b","datavalue":{"value":{"entity-type":"item","numeric-id":1733060,"id":"Q1733060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b16174b4a9c3faa062aae4087bdff142f5b7b51","datavalue":{"value":{"amount":"+0.7712132334709167","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":"Q4304753$261D6295-2B45-48C0-84AE-5ED40C802C38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e802f897a1490f5dd1713c187dddeba16cac801","datavalue":{"value":{"entity-type":"item","numeric-id":3460036,"id":"Q3460036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f50a427fec48d72307852da9025fcc78ac2c88a","datavalue":{"value":{"amount":"+0.7681744694709778","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":"Q4304753$9ED1FC93-590E-4727-A420-134E68DDA784","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4304753","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4304753"}}}}}