{"entities":{"Q1209623":{"pageid":1220372,"ns":120,"title":"Item:Q1209623","lastrevid":47152546,"modified":"2025-12-31T20:38:26Z","type":"item","id":"Q1209623","labels":{"en":{"language":"en","value":"A new method for undecidability proofs of first order theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 168217"}},"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":"Q1209623$9F3ED700-3051-4173-99D6-8E3DF29376C0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"573bc5bb55d56e6ff024637c60590ae58e037c06","datavalue":{"value":{"text":"A new method for undecidability proofs of first order theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1209623$22B44627-F6EF-4302-8F87-54619CAA01FD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1932a7eab59aa3844525dda1e716efc215458293","datavalue":{"value":"0769.03026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1209623$F047F34C-C5BE-4534-8F46-70A144C6A77E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e2f84068f399b4bf44515de5ce2cf121094e9316","datavalue":{"value":"10.1016/0747-7171(92)90016-W","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1209623$0384062F-CA71-4A7E-B2D4-6D523AC54BFF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fa707505e4dc35c303a48188dedbdb1698ec813a","datavalue":{"value":{"entity-type":"item","numeric-id":437025,"id":"Q437025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1209623$77542738-E7FB-4F23-86AC-39A20F750057","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ea72303f92787da89554ee5fa15621068821a762","datavalue":{"value":{"entity-type":"item","numeric-id":99061,"id":"Q99061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1209623$A1CDF02A-F69D-44F7-AFB8-126ACB5AF708","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1772b6c81a5108c06854e0de4518fb90e5a6ebdc","datavalue":{"value":{"time":"+1993-05-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1209623$D46956D4-11E3-4A57-B368-9C8D96B84A57","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a27f9f06d965be24ec50f61065e06d2029a566a7","datavalue":{"value":"03D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1209623$90B6EBB0-BA2F-4BEC-83CA-22C5416A063C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1209623$FBF86453-1BFA-496B-9773-929FF72105F6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"de40b0c2d92d816b4da5044bb589fe263921df49","datavalue":{"value":"168217","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1209623$3B5929E7-0BB0-4F41-8E86-46DE6B4E402D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eedf0a7577d5ca06f255506591096b1becd15824","datavalue":{"value":"Post's Correspondence Problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1209623$9CCF17D6-4D5F-442D-90F9-694CC6DC73BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ab14670fd645ceec284d741b18aecb5f5131180","datavalue":{"value":"decision problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1209623$34EF4B0B-F132-4799-B2EA-8E7AF2AD86A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fafc1e43463752589a5cd1e31fa2b3ef0b0be113","datavalue":{"value":"undecidability of first order theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q1209623$04A300AE-D567-48C9-AE54-8A936A291ED2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf913a5cc090152fd1d902364cbd075927778c5d","datavalue":{"value":"term algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1209623$C66BDB9D-06A2-4DE9-ACCB-55A2C89E7BB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b33bdee2c72fa6f37d50892ec9eea9e03062937","datavalue":{"value":"partial lexicographic path ordering","type":"string"},"datatype":"string"},"type":"statement","id":"Q1209623$EABA972D-8287-41C8-B865-FBBF53380E93","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":"Q1209623$5101E641-19C1-4769-A947-32E55C598DF5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2982208fc0f6ac8534792493830a65f91c11f47","datavalue":{"value":{"entity-type":"item","numeric-id":4264733,"id":"Q4264733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1209623$D7CD5F36-1811-4A83-87F3-C2C7B415DC5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e46de5473f24f5d5442b7eab6c29167d52c46868","datavalue":{"value":{"entity-type":"item","numeric-id":1825184,"id":"Q1825184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1209623$258D6EFE-54FF-4839-852D-07DD1B191F71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f241207bb39341afad681685e7fc2b817c7ff774","datavalue":{"value":{"entity-type":"item","numeric-id":1124372,"id":"Q1124372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1209623$5BC69FCD-EEE9-4175-8478-EC5F5501CCEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eeaefa1501b49eb11345a7390fa93c7aaa33fb8a","datavalue":{"value":{"entity-type":"item","numeric-id":5753928,"id":"Q5753928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1209623$F91CF082-34F3-4684-B22E-D41D75B68557","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb7b8847a36d076106e01f43c31a170940dd0b60","datavalue":{"value":{"entity-type":"item","numeric-id":1055184,"id":"Q1055184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1209623$42CF8BAA-D86F-427A-BBA9-2EC9D1D20EFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a01d4a91dcf05e247efe3d36d8b1cf5c4792f88","datavalue":{"value":{"entity-type":"item","numeric-id":4385532,"id":"Q4385532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1209623$EB9E4867-4462-4D0B-9BB6-FE48266E5275","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"378088a63ec20245823db74d6a8845609e39ce21","datavalue":{"value":{"entity-type":"item","numeric-id":593789,"id":"Q593789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1209623$2CAFE7B5-3395-4AA4-B056-38AF462F2BF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6d3f5f0e6d39b0610560c479018fc71a2adcd20","datavalue":{"value":{"entity-type":"item","numeric-id":1098624,"id":"Q1098624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1209623$D041EBB4-21D5-42E0-9609-F6C47FE6975A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35f820e9c2b45f8f035a710ad26c0ff0e5c7ae48","datavalue":{"value":{"entity-type":"item","numeric-id":3221381,"id":"Q3221381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1209623$732E1DD5-C912-48EF-B78E-851034CEF43F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ca4f823ca2e82e86e612699cdb65f38c133999d","datavalue":{"value":{"entity-type":"item","numeric-id":4052071,"id":"Q4052071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1209623$AEC59FB3-2EB1-4AA7-A932-D6271C3AE71C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"271f4a7c2003a89ce24a1f14fd1296133af596ac","datavalue":{"value":{"entity-type":"item","numeric-id":1099648,"id":"Q1099648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1209623$9257F58F-E064-4F10-8C49-9238E07C5CCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbe5f4cde658e0562132d9b2eaacad8acd88115c","datavalue":{"value":{"entity-type":"item","numeric-id":3720554,"id":"Q3720554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1209623$C9E42C68-C208-498E-BF6C-69EA0E044189","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8bf1eb0085816c68ff7078182501fe6b0337105","datavalue":{"value":{"entity-type":"item","numeric-id":3743300,"id":"Q3743300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1209623$F4841E98-5E71-40FD-8739-D0A85F2F61F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ea54b811ff390aea0ed0ec764fa22772489e900","datavalue":{"value":{"entity-type":"item","numeric-id":4036585,"id":"Q4036585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1209623$FA79121E-9FB2-4299-8834-C6C0DEEE3534","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c059d1355bcb0df592c7e924663d48f24f3b387e","datavalue":{"value":{"entity-type":"item","numeric-id":5613949,"id":"Q5613949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1209623$C1412F74-1090-4CC5-AD77-62A64982009C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10514d04294539f6b18e653ffed15729ce3e519b","datavalue":{"value":{"entity-type":"item","numeric-id":5678447,"id":"Q5678447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1209623$6E443FCD-5F48-4B94-AE6E-290B53893A8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29a8d14eae1fab181499f44d4720082adebedfb9","datavalue":{"value":{"entity-type":"item","numeric-id":5845383,"id":"Q5845383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1209623$2C15E77E-BB68-49E3-9575-489EDF201B23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c64f0c9b576f1824f2de905ba6f67be3b88864da","datavalue":{"value":{"entity-type":"item","numeric-id":5845416,"id":"Q5845416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1209623$256EFDBB-555D-40B8-8F07-C00EEC0D4E42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c7b85d7065db0b8fe399a7e7a611f4f79c7bd7a","datavalue":{"value":{"entity-type":"item","numeric-id":5586299,"id":"Q5586299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1209623$86B771D9-E07B-41F7-AB40-D75112D1A730","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9635365b0780328d7ae22bc69b462e7144999d03","datavalue":{"value":{"entity-type":"item","numeric-id":5573961,"id":"Q5573961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1209623$E6DE19E6-DDF0-4B6D-9E94-B6D0CD322F5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0618da01793dd308fe44f4a7cd7a6f8b70dd5e31","datavalue":{"value":{"entity-type":"item","numeric-id":4385529,"id":"Q4385529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1209623$2B7F012C-8621-40CC-8FD3-D6C7DAE9F589","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9732b89c1ec3dfa5b9fdbcbf606dc155ea9b940","datavalue":{"value":{"entity-type":"item","numeric-id":1124375,"id":"Q1124375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1209623$99861110-62BE-40C3-9C0B-A16AC3AEF40A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1669261077901413d76dc0f7072dfdae93141a3b","datavalue":{"value":{"entity-type":"item","numeric-id":3912070,"id":"Q3912070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1209623$FCF0E5B4-9C6F-4B23-9732-0D7A8723BB73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c333a78bda8d3d5daf7c3712a569b0871ea168d","datavalue":{"value":{"entity-type":"item","numeric-id":2651342,"id":"Q2651342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1209623$320E092E-0422-47EF-801C-AD646A93141F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d1754004c3f86e40f3e8c976191013accf700a10","datavalue":{"value":"https://doi.org/10.1016/0747-7171(92)90016-w","type":"string"},"datatype":"url"},"type":"statement","id":"Q1209623$74591B51-F923-48A4-BC62-EF66B66AA8B9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"31109c9d29111a9b526bebab7978056e36d3b68c","datavalue":{"value":"W2011437767","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1209623$CAB8B7C7-6C80-41F7-A5F7-C43B6E6C5EA9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b713701d62b1812a72a660b2a8755f651cfd694","datavalue":{"value":{"entity-type":"item","numeric-id":3358706,"id":"Q3358706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eae9902c62a869dc55419c39a2a86c434b3596fc","datavalue":{"value":{"amount":"+0.9937552213668824","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":"Q1209623$95F3294E-082D-4C98-9A19-B5D671C733C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e16ea31fc7095481288ec58b7b46315e0644820","datavalue":{"value":{"entity-type":"item","numeric-id":5055866,"id":"Q5055866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33ffb80b9a64bf21b16457ca1b8711f28b6a7ac6","datavalue":{"value":{"amount":"+0.7702546715736389","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":"Q1209623$43BC3A73-E4E2-4684-B32D-E95B668A8E36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c6376485d2bd21ff78675227a1f331b69391e76","datavalue":{"value":{"entity-type":"item","numeric-id":1392274,"id":"Q1392274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f107722a5d77d5d430cdd1f0d87b353481d3a4c3","datavalue":{"value":{"amount":"+0.7677013874053955","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":"Q1209623$14D05815-C518-401D-B734-F365E869323D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"698adbd703df6b50bb36ec31d57dc5a4139b1f0d","datavalue":{"value":{"entity-type":"item","numeric-id":4594232,"id":"Q4594232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c8020f5fc5812d71dfac9f3676133bda18eed89","datavalue":{"value":{"amount":"+0.7590276002883911","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":"Q1209623$3F9C6A55-8626-4A08-AB1E-C60F8F0320C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10c26c7a9ed2151b60f7622ce24d2ac4e1eb1974","datavalue":{"value":{"entity-type":"item","numeric-id":1275021,"id":"Q1275021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f29e52ee82c6f5c4abb71425e4cf95bab253b7a8","datavalue":{"value":{"amount":"+0.7555671334266663","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":"Q1209623$6F268427-8711-4D8D-B413-E48365689506","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1209623","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1209623"}}}}}