{"entities":{"Q4383703":{"pageid":6413302,"ns":120,"title":"Item:Q4383703","lastrevid":46526667,"modified":"2025-12-24T23:35:15Z","type":"item","id":"Q4383703","labels":{"en":{"language":"en","value":"Taming first-order logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1138550"}},"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":"Q4383703$4B2DAAA4-56FD-4179-823B-0D2B20972734","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9702da3b385f8337347e677ba3b506062ae9273f","datavalue":{"value":{"text":"Taming first-order logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4383703$7B0E8102-4A3C-4585-AF5E-30E325BBA09A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0de931b2cf1fb2c6c6deb64ee863b333436c4ccb","datavalue":{"value":"0898.03004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4383703$106A4B66-37CB-412E-9A1C-4F6CFB75A55B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"709d2f7c0623248e05e6feee291b66d1df38f714","datavalue":{"value":{"entity-type":"item","numeric-id":236473,"id":"Q236473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4383703$4A2464F4-C12B-4719-996F-3C36D7F96E8E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4de95bc96b4e2e5082861c521f5e9db542e1cc66","datavalue":{"value":{"time":"+1998-04-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4383703$15B28571-A459-4597-AC93-A083BFDE91C9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6fb903e30e3f7ec28e91f9d47f4128ee8c59ad78","datavalue":{"value":"https://semanticscholar.org/paper/9abc46f5493432cf813568a94309ab27c1d60e04","type":"string"},"datatype":"url"},"type":"statement","id":"Q4383703$3A02A3A9-9C79-4F8A-B732-2B7E97FEFEF0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4383703$0CA0AB90-1BA4-4241-91BC-269D82C7A1E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4383703$31D5C879-D54B-4772-9D4A-EE0ACF1F880A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4383703$AFBBB3C8-7164-45BE-ADA2-1C13B0A7ED6A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d59512d2aa3efd98dab7507d315314d20d5a080e","datavalue":{"value":"1138550","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4383703$4F7EB18B-DA40-4DE2-AE92-6B3AF935A35F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4383703$A7EDC221-9537-4F9F-9845-13D0A5AA2F42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bd8ade5162d9fb4539001699f2af72f49a9542aa","datavalue":{"value":"fragments of first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4383703$1F507649-DA04-442F-83F3-2AF4E8122940","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":"Q4383703$61117E18-33AF-4A39-94B3-21FA30F690C3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b97790d7d2ea8d1f6e9b5022ddd47480070265c7","datavalue":{"value":"W2056039757","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4383703$B5CBFABD-9875-4A29-BF1E-6FB497FDA907","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e63f7381fe25a7c8c6f14d828c81a9f3214a7d21","datavalue":{"value":"10.1093/JIGPAL/6.2.305","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4383703$B2FE079E-F51C-477F-A50B-F2DDEB112C97","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2322a21df36f02b2b9c16a6174c764d5fc949009","datavalue":{"value":{"entity-type":"item","numeric-id":3061274,"id":"Q3061274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4383703$49ABC94F-D888-452C-AF44-54625F691C9B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14831d2027db8a13d78a2961dc6bb1f3a733e9eb","datavalue":{"value":{"entity-type":"item","numeric-id":1267082,"id":"Q1267082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df5f7659be512504a6217437d804febb522995b7","datavalue":{"value":{"amount":"+0.7880012392997742","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":"Q4383703$AA12B831-F3C5-47AF-9D38-10F01431CDEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a3541bdc54273d257e700ed4d7d4954bcdc84cd3","datavalue":{"value":{"entity-type":"item","numeric-id":4860647,"id":"Q4860647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36dd36bf2d1a1afe6a25a3e0555d2ee62628cbd4","datavalue":{"value":{"amount":"+0.7708006501197815","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":"Q4383703$E79C3952-575F-4FBB-8674-AF2AF7C842DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b1e986817c9395337ea09381cad7944d529303a","datavalue":{"value":{"entity-type":"item","numeric-id":4250042,"id":"Q4250042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57ca514c6ab2f0287d5888d62030201e65ebaa53","datavalue":{"value":{"amount":"+0.7704095840454102","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":"Q4383703$388E3536-84D7-42DE-AA8A-CFD9F7358E69","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4383703","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4383703"}}}}}