{"entities":{"Q4290437":{"pageid":6320038,"ns":120,"title":"Item:Q4290437","lastrevid":46316292,"modified":"2025-12-24T13:37:00Z","type":"item","id":"Q4290437","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 562240"}},"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":"Q4290437$BE9CB3C5-DCD7-44BC-80CD-36F1687ED150","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"117cb3b87aa8b3e1740ca856cb4bd2df4d6cc376","datavalue":{"value":"0797.03017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4290437$517C0B3E-FF2C-4249-92EB-B77034E374EB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"361b3fe76ef629d442b316610b2691ce79d96867","datavalue":{"value":{"entity-type":"item","numeric-id":1853601,"id":"Q1853601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4290437$5E506183-4D0B-4736-A301-0D657C8531B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6c0ae86f6125b4ecdb2b018fa9509d71be7ca9e9","datavalue":{"value":{"entity-type":"item","numeric-id":237993,"id":"Q237993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4290437$9ABF4A27-39F4-454C-8557-9474309FC600","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4be8fded4291293daca5bd8efde8f75c572ac3a9","datavalue":{"value":{"entity-type":"item","numeric-id":1968588,"id":"Q1968588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4290437$2EB4F418-592C-43C5-9C6A-4D5F9E5EA1C9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ae4d7b05535bc7692a75fc587d4810a7bdebded5","datavalue":{"value":{"time":"+1994-05-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4290437$15193FD6-304A-45CD-A9A7-3F981E41A905","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0ad6448c9e3f2394361827e5c2d117e48dc71794","datavalue":{"value":"03B52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4290437$ABBFB775-B296-4737-A7AE-EFE4F2B4AF0B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c2786106d83a8a8b85f86c59b6cf919ecfca2a42","datavalue":{"value":"562240","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4290437$145671C0-AA55-4A10-9A56-7B2407D1BD14","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"396d81af8bf51f3c3ff21be9298ea8ff0d044c29","datavalue":{"value":"medium logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4290437$F452BB1C-CBBD-40B7-BE08-A474F88CA06E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7172f3feaea6c545ac7b24fc87635364dc91d1b6","datavalue":{"value":"medium predicate calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4290437$8C101189-E9DC-4064-AE38-D223EBD5DE61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"07e3dd70f323d7db506ec97a4082c4d4cff48299","datavalue":{"value":"prenex standard form","type":"string"},"datatype":"string"},"type":"statement","id":"Q4290437$6F72C819-DD0A-4EA9-8E47-522649C5BB9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"17814afe740f3bc1475bb99f38427b7be98b403c","datavalue":{"value":"Skolem standard form","type":"string"},"datatype":"string"},"type":"statement","id":"Q4290437$F1EB7759-B8BC-44F4-9A4D-8B81D454A39B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"558e32a0884c5233110fd5a023672e91351272ab","datavalue":{"value":"Herbrand theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4290437$48F26BFE-17D5-459E-83BC-F0B203C9232D","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":"Q4290437$2D4FB601-9179-409B-A7BD-47EF0D9EC512","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56530dd1ffbdecd9d3250ed899b506658ffe1262","datavalue":{"value":{"entity-type":"item","numeric-id":3830976,"id":"Q3830976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3619116e371dff8a48bf5354eec6741fcde14bc","datavalue":{"value":{"amount":"+0.7650963664054871","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":"Q4290437$BFD71FF5-A089-4BE9-AF17-578830EDE4EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e3bf1fd530e4684d8cd78eac26263ad287a1a6d","datavalue":{"value":{"entity-type":"item","numeric-id":4544365,"id":"Q4544365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3ae5d0fe6bb6679e850c56cd724429233be7388","datavalue":{"value":{"amount":"+0.73850417137146","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":"Q4290437$7E37392E-6F9E-4326-9D70-87168689CE47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5725d21f71c0f198f352051c7e5f548dd7090f5","datavalue":{"value":{"entity-type":"item","numeric-id":3481676,"id":"Q3481676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d94545dcea1dda3d27fef96d5e5da8e45928c05e","datavalue":{"value":{"amount":"+0.7215830683708191","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":"Q4290437$54E12C7C-02D0-43BF-86C4-7A9D5AE8D798","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1705df1836742e2bb7fc5d40a503c4b5295b3099","datavalue":{"value":{"entity-type":"item","numeric-id":3984062,"id":"Q3984062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c48487c638755815d51dfc012d68866feb858a3","datavalue":{"value":{"amount":"+0.7180773019790649","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":"Q4290437$DAD8FB2B-0AAA-4BB5-B15B-9508D4AC6963","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4290437","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4290437"}}}}}