{"entities":{"Q5960015":{"pageid":8136817,"ns":120,"title":"Item:Q5960015","lastrevid":47767474,"modified":"2026-01-02T15:40:56Z","type":"item","id":"Q5960015","labels":{"en":{"language":"en","value":"First-order Frege theory is undecidable"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1727131"}},"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":"Q5960015$B1D5657D-B3BB-4038-ADE7-6E3C4CD03C3F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e2b53bc2db05d42e16dd6f4b0840dbc39868ccc0","datavalue":{"value":{"text":"First-order Frege theory is undecidable","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5960015$1614F0C1-EAEA-42DF-8BCF-9C620B78A659","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4e743ca544aa901b7fc223c0a7897dc850bb2cf8","datavalue":{"value":"1032.03009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5960015$356AE6D3-46FE-48FC-889A-D81BCC2BCDDE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"29a389374f7ce2b606e1da872f430c4abcd9a7e8","datavalue":{"value":"10.1023/A:1013362627445","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5960015$FD32AE6C-D339-44E2-9C93-F50CF7B7D94C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2be7191792d3fcf5ca2d73613bdb46e7ef7e0200","datavalue":{"value":{"entity-type":"item","numeric-id":1150585,"id":"Q1150585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5960015$7BD3A1E5-2555-4CF7-948A-1EC528917858","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e692f569038e7bcb7d3e72ba14d8d8e224046270","datavalue":{"value":{"entity-type":"item","numeric-id":169434,"id":"Q169434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5960015$B827B8AA-0945-4A84-9C7B-CF673AF7AA43","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d18439a648c68971434e67c4d3438eb872bd034f","datavalue":{"value":{"time":"+2002-04-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5960015$4F3E4BD7-DEA2-4820-BA03-C7E1C4967CE9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5960015$41A071C0-8F14-44E1-93D2-71BC4E54B950","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5960015$C0277568-90F0-4E84-9EDF-7D737CA0CF1E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"45f70cb8685a4680d2a0b1e1be760be9f029bb92","datavalue":{"value":"1727131","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5960015$84571D20-425B-49B6-9613-879E27ED0E8B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5960015$88B615CB-94B5-46D3-AACD-264FC905AD8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09764f38a677cc419c41406e4cd115ba9eb2d6b6","datavalue":{"value":"Frege","type":"string"},"datatype":"string"},"type":"statement","id":"Q5960015$6BD62D2D-CE8A-439E-A6F4-E69AE201C198","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09c70528bb40836605a9c9a8fa67ffe405ad0bde","datavalue":{"value":"abstraction operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q5960015$8651AEAA-B928-4AF6-800D-99F239A7A9A5","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":"Q5960015$52EC4056-B84C-46FF-965E-E9EA945BE5E2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"45015aab0da021e26da7330796315d4a23fd6c33","datavalue":{"value":{"entity-type":"item","numeric-id":5937820,"id":"Q5937820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5960015$146C6294-1E21-450E-8A1D-077BEA2F7B60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a098b5df3d25fa1dd4d8386c33ba1571601a0a51","datavalue":{"value":{"entity-type":"item","numeric-id":4344728,"id":"Q4344728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5960015$1F2774B8-C4EF-450E-A349-42A6C0FC9728","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45c2f90bc54fa6c834e607c27a16028ac48185b9","datavalue":{"value":{"entity-type":"item","numeric-id":1098830,"id":"Q1098830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5960015$906BA540-1D52-4B8F-90D9-95A613AE5D40","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"28e05fbac97075a7e3694a76aac5b0626357dd80","datavalue":{"value":"https://doi.org/10.1023/a:1013362627445","type":"string"},"datatype":"url"},"type":"statement","id":"Q5960015$D5C215A5-B3BC-460D-A2B8-B369C42825E7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ab0f99fe2da5795605c8096994dd83f6d21821eb","datavalue":{"value":"W1986506018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5960015$79E191FA-8F3A-451F-9E2D-235219A0EA55","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4da2d4ac6bf5085fb4fd2be3ec1949ed79b16ed","datavalue":{"value":{"entity-type":"item","numeric-id":1098830,"id":"Q1098830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7800116d394e66eccaa26bcb1ff9bad2eb4e1f36","datavalue":{"value":{"amount":"+0.7575239539146423","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":"Q5960015$3960895E-30EA-4A77-9D9D-C2E19EF0C343","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f93297906719edaa04f6637b0f638656d6adbe9","datavalue":{"value":{"entity-type":"item","numeric-id":3240233,"id":"Q3240233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b008efad177e4dc775d1e2513ca98f09686d5885","datavalue":{"value":{"amount":"+0.7515158653259277","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":"Q5960015$F6E0EC0C-0B87-47ED-8306-774982253A46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e17b60fad5d2afad51f3c6f63bbaac077e85d35","datavalue":{"value":{"entity-type":"item","numeric-id":1670748,"id":"Q1670748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6c06a6f5f8636bccbd5a37660718b7c1c4a560b","datavalue":{"value":{"amount":"+0.7454280257225037","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":"Q5960015$AE836A29-B370-4752-AAD8-2421AFC55D0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0de98b3b81a887308d990bc8764cad13ad6527e","datavalue":{"value":{"entity-type":"item","numeric-id":1780896,"id":"Q1780896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2842ab787c844fce790f43e6feef68c39779034c","datavalue":{"value":{"amount":"+0.7433260679244995","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":"Q5960015$480265D9-8D21-43AE-B8A5-53F54E33DCDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c5f74c2db6562d7bf942f3c79813489801a00d2b","datavalue":{"value":{"entity-type":"item","numeric-id":4304145,"id":"Q4304145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be6a06e0b22d6660efaf896f8c9885813c8f1c27","datavalue":{"value":{"amount":"+0.7346941232681274","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":"Q5960015$6C0F1289-92E1-4494-9FD8-9086C5E33BE9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5960015","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5960015"}}}}}