{"entities":{"Q3138021":{"pageid":3148737,"ns":120,"title":"Item:Q3138021","lastrevid":47195248,"modified":"2025-12-31T23:34:57Z","type":"item","id":"Q3138021","labels":{"en":{"language":"en","value":"Decidability and undecidability of theories with a predicate for the primes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 431190"}},"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":"Q3138021$86E8F7E9-4324-4743-8D53-132788089C0E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1b7c84ad16e8119a9620b51c4d6bfc66b493c549","datavalue":{"value":{"text":"Decidability and undecidability of theories with a predicate for the primes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3138021$8BD60EB3-24C3-4C1B-B396-A47BA96FB3D0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2fb1ec69a45706b20dfde6e716d47997bad068cf","datavalue":{"value":"0785.03002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3138021$3157F725-7628-437B-A616-075A48BB03F4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b621f0cd56589dbd7fdb252e9e6c7686c0522cb5","datavalue":{"value":"10.2307/2275227","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3138021$1F4D80DD-8B4F-470B-B9D7-1606E577003D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0bd744a98a5abf1ebb1c00683e34fa4078d7c945","datavalue":{"value":{"entity-type":"item","numeric-id":762546,"id":"Q762546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3138021$6CB12AEB-1E78-452D-A3DC-DFBAA7658B68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a0b22c597c8b573856274c0b9425ef5e44cb3896","datavalue":{"value":{"entity-type":"item","numeric-id":654000,"id":"Q654000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3138021$12ADD705-D5F8-4D21-B6F9-612D32CA34E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"52d585795e88d2823ecbad6678edab4b820cb00f","datavalue":{"value":{"entity-type":"item","numeric-id":696977,"id":"Q696977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3138021$8E7BD643-55EC-4955-A748-EE5B1965F871","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":"Q3138021$3D4F886E-7309-45E2-BBB7-7CFFF64C2FEE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1a4582cf37b19337c7eae16fd67b6e107844c9e6","datavalue":{"value":{"time":"+1993-10-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3138021$FE31876B-BDA6-4A4B-9BB0-3934784E189E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3138021$3B5675A7-EE23-4A3D-A367-5F58601AB9BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"37c1d1a297fb80e10954aeabcf16524c43d89d08","datavalue":{"value":"11U05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3138021$0BAA92B9-A81A-4AF3-B695-D4CEDC398990","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"32cb1c0bceeaec7e63792477f6b51a7c8d2ae63b","datavalue":{"value":"431190","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3138021$E4213EC7-38D4-4D0D-AA29-6C8AFDC0BD50","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1477b886fde19866222f0ac82d01eee9662adbce","datavalue":{"value":"linear case of Schinzel's hypothesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q3138021$FE4D9393-81A6-488E-B248-D8E458A7EF26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f296b1c815bc9677e2cf9f6cda5da1af711d955e","datavalue":{"value":"primes","type":"string"},"datatype":"string"},"type":"statement","id":"Q3138021$EA3351A4-7EFB-4832-8BD6-1F82F8A14BEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9726e07b0da1b64817fa382473dc953e08b0e09a","datavalue":{"value":"multiplication of natural numbers","type":"string"},"datatype":"string"},"type":"statement","id":"Q3138021$0CCF39E3-E8AE-4EAB-B172-486541C3ED14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7aa02ccb360b6952bc93c5104a1ec16102769dfa","datavalue":{"value":"monadic second-order theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3138021$9E51CB37-4FEC-4CA7-A5F1-6525A211ED87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00963354a89fc76eb572f4e90ba27813f55ae173","datavalue":{"value":"successor function","type":"string"},"datatype":"string"},"type":"statement","id":"Q3138021$68C5359B-81FE-4B82-87BE-A4EC942DD389","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3138021$514E3BCB-689B-4C03-BCE1-072F154E280C","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":"Q3138021$ABAD1516-DC24-4E61-8D6A-864BE5C1DA79","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"160df565305b4ddbeae8e8cd1aabe8235c93be34","datavalue":{"value":"https://doi.org/10.2307/2275227","type":"string"},"datatype":"url"},"type":"statement","id":"Q3138021$8BC7D48C-4B98-4375-AA66-E92E4E3E3F45","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"48feefc86e1bb5ae54046d233797854e79a9e9f1","datavalue":{"value":"W2036224946","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3138021$E1318CF9-B7B3-4B9E-AA47-E7664AE66DEC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"77f378326274b0e97d3c4b043e99bd0b376a03b3","datavalue":{"value":{"entity-type":"item","numeric-id":1839472,"id":"Q1839472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3138021$D3F22320-588E-44E1-B5A0-2052C1523594","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e4c9eb0bc39c2db4fa09c1fc685181796f068e9","datavalue":{"value":{"entity-type":"item","numeric-id":1211504,"id":"Q1211504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3138021$9EAFA4B2-0A8A-40E3-90F5-C93CDAA4FEC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af5d1a78a8dd9095d53b8a39c1445c835e906c59","datavalue":{"value":{"entity-type":"item","numeric-id":5609381,"id":"Q5609381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3138021$6BDF5DF0-7827-44F1-A681-1D39123B2FAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"465c44674a94414cb55e7dc8cbdf974e7462af9b","datavalue":{"value":{"entity-type":"item","numeric-id":3287248,"id":"Q3287248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3138021$3204823A-C114-4FA5-BB2A-609BE9684941","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8a9103861105441ee58f95459519e41aff2b3ac","datavalue":{"value":{"entity-type":"item","numeric-id":790106,"id":"Q790106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3138021$101EBDA8-F35B-4E65-B2A3-C1EFFF9CCD7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75292f6880dd3275361618ebb07df15f46377e02","datavalue":{"value":{"entity-type":"item","numeric-id":4074888,"id":"Q4074888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3138021$4FDB5D26-B3B3-49EC-B091-3B0C1FDB4146","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a5aa94c8e45c27c05c3a12795740c87d5e2ef2f","datavalue":{"value":{"entity-type":"item","numeric-id":5613960,"id":"Q5613960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3138021$9289AB7D-81EA-4754-AA00-47D1D5B3FEB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1758902a66e2332f9d1d0268ecf38eeeb4d377f","datavalue":{"value":{"entity-type":"item","numeric-id":3862379,"id":"Q3862379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3138021$F209B2AB-4786-42FC-B14F-CFB086E16F1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15fb510d752d28c4cf4a7d891afb159d6461435e","datavalue":{"value":{"entity-type":"item","numeric-id":3934375,"id":"Q3934375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3138021$7A5892D8-87C3-4F1F-8573-9348FB10C9E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08a2cb9424d35028b0282f861b8ff5cdccc75079","datavalue":{"value":{"entity-type":"item","numeric-id":3877655,"id":"Q3877655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3138021$5B3C8B66-CC65-4312-B5E6-77EC376E0413","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"032081ebc56e1f76052b36c596c3a3c1141f05b4","datavalue":{"value":{"entity-type":"item","numeric-id":1243711,"id":"Q1243711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3138021$4FB4C15D-8EAC-4E7C-A65C-96BD294245B2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fdcde54e8664ba72c6096a01b7d36be5e300b926","datavalue":{"value":{"entity-type":"item","numeric-id":4391420,"id":"Q4391420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8368e7a01159d2ba7827ee8cf9f48e10e7771ae","datavalue":{"value":{"amount":"+0.8676173090934753","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":"Q3138021$A8D76CF1-EC8E-422A-AD97-5CB49C0180E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a47c6c1ea41ceef36d26338d104e72e35d37afb","datavalue":{"value":{"entity-type":"item","numeric-id":4338318,"id":"Q4338318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8368e7a01159d2ba7827ee8cf9f48e10e7771ae","datavalue":{"value":{"amount":"+0.8676173090934753","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":"Q3138021$E7EB84B5-FB8B-4F47-AA28-A3C855663255","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24ffcc4d82329843ae8bf86ea6d1f136e9f6772e","datavalue":{"value":{"entity-type":"item","numeric-id":5359574,"id":"Q5359574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7723ce89bff1723a2a593a41f1e43c8751c3eccb","datavalue":{"value":{"amount":"+0.8637921214103699","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":"Q3138021$6EA6E588-1A59-4A87-B0A8-5FC6A0884D7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"272e11d8361eafd3732c633f630850e4a00f0e3c","datavalue":{"value":{"entity-type":"item","numeric-id":5445159,"id":"Q5445159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10ae6cfa6dca5de876e40b84b28516cd272d5c1c","datavalue":{"value":{"amount":"+0.8497259020805359","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":"Q3138021$621572D2-EF31-437A-A535-5F4AC4F4D77D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c20c4dcefbc3437cb3846a91de3ef763959288d","datavalue":{"value":{"entity-type":"item","numeric-id":4697160,"id":"Q4697160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b45bdc4f9de3a43a00d5ab06b5495554e8a68765","datavalue":{"value":{"amount":"+0.8287106156349182","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":"Q3138021$05A9ED61-71E8-4535-8A80-0EC2013F7AC9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3138021","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3138021"}}}}}