{"entities":{"Q3705447":{"pageid":5735353,"ns":120,"title":"Item:Q3705447","lastrevid":50503892,"modified":"2026-01-14T05:44:18Z","type":"item","id":"Q3705447","labels":{"en":{"language":"en","value":"A normal form theorem for first order formulas and its application to Gaifman's splitting theorem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3931002"}},"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":"Q3705447$6A603302-9B2D-4F10-8D73-245E10A19F03","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6aa885c1394997a4d777921345faf9056ffdad70","datavalue":{"value":{"text":"A normal form theorem for first order formulas and its application to Gaifman's splitting theorem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3705447$A67ABD7C-0CE4-4A25-99DF-6B2B0B462837","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4378412350a1ea484c8f219173760ce1a744df10","datavalue":{"value":"0582.03041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3705447$10DA8C3E-8863-4AAA-91C6-E91220DF0A3B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dac7cd78623c2935c713a51c1b97209c254108a5","datavalue":{"value":"10.2307/2274276","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3705447$2CE24EF4-5BCA-4146-A42F-19D6E90C26A5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7633c8decbffcaba5696cdb6b7ef793253718809","datavalue":{"value":{"entity-type":"item","numeric-id":911573,"id":"Q911573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3705447$426DCA7A-6235-44B8-AD59-117A1E0D91B8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3705447$C8112135-462F-4990-B923-5D46601AE186","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3705447$8E824DA7-11F8-44EE-9E4E-6F023A88F1D3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3705447$749DF5A5-DE3E-48CB-A9A6-756923084D26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a22eb1f642cbb79777784e33676c61b720925aab","datavalue":{"value":"03H15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3705447$FE112D1B-C9C9-47C7-8344-C7D94E45ECC2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4e6f0e65f19adca713ec7150a7d3f2425a8c9ce4","datavalue":{"value":"3931002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3705447$98139D49-337E-444E-8166-D0D706C3A7FB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7090cb2b2cefa03cee6b50a67ca057c086ad0f00","datavalue":{"value":"Peano arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3705447$67B281C3-8D20-4815-A69B-EF1D1C730ECC","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":"Q3705447$F65579A0-6C3F-4D83-A1DD-452C4EF862A2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cd9c448a1721bc1a5c439cc1c7ff9d3fd87afd88","datavalue":{"value":"https://doi.org/10.2307/2274276","type":"string"},"datatype":"url"},"type":"statement","id":"Q3705447$C82A5234-8440-4870-B769-88E2CA702EA6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1adc867a13852d2181c648cd167466952e7269b4","datavalue":{"value":"W2006573540","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3705447$4BABDB6E-EB19-41FC-A4BD-9B15E80C753D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3652d520789475601e366029ce7b257ab62a1ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5905909,"id":"Q5905909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3705447$40891824-0C96-4AB4-B978-AF7B0758CA75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74a946cf7024e56de3add0909eca8fc65c950282","datavalue":{"value":{"entity-type":"item","numeric-id":5665188,"id":"Q5665188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3705447$2AA2C657-80EA-4766-8226-F8B194C50DD8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18e477371a84948e0d353754fd525802aab86905","datavalue":{"value":{"entity-type":"item","numeric-id":3762297,"id":"Q3762297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c46a3255ca32ae72f94135898525612fc8d53370","datavalue":{"value":{"amount":"+0.6921712160110474","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":"Q3705447$724C674B-AE75-4274-B841-20351910ADE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5b05a8a7361cb4a835d63033312d40def941512","datavalue":{"value":{"entity-type":"item","numeric-id":1813063,"id":"Q1813063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ebb39687e8ecdef98f29de7fa6c625c3b7dbe01","datavalue":{"value":{"amount":"+0.6920501589775085","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":"Q3705447$C1A7E4F3-C64E-4077-A5FD-1F5DBA74FFEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"660c3447e263facc0ffab5cbc06a9715f578c1f5","datavalue":{"value":{"entity-type":"item","numeric-id":5002820,"id":"Q5002820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"553708bb2775f11d55d7fac1fce2f2650eac514d","datavalue":{"value":{"amount":"+0.6863072514533997","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":"Q3705447$CF112351-1579-4041-9E53-34D884561C71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"714e8d6d6af0411f8f489b31d23b30683ca1188c","datavalue":{"value":{"entity-type":"item","numeric-id":3701406,"id":"Q3701406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1abd0312e8ae1a497836b340d82474b24e2bca0c","datavalue":{"value":{"amount":"+0.679408848285675","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":"Q3705447$BBDF3B43-E96A-405C-9CF4-C932FCF3A156","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16edc82f58feb4ddf61af132df6a20ccd593b407","datavalue":{"value":{"entity-type":"item","numeric-id":1919522,"id":"Q1919522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1de59a80591313d8b51916ac6721ac5f0f53b443","datavalue":{"value":{"amount":"+0.6773507595062256","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":"Q3705447$943B982A-7D52-476F-9E8A-1A2B30960572","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3705447","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3705447"}}}}}