{"entities":{"Q3987627":{"pageid":6017486,"ns":120,"title":"Item:Q3987627","lastrevid":81332423,"modified":"2026-05-06T18:16:23Z","type":"item","id":"Q3987627","labels":{"en":{"language":"en","value":"Decidability of the Existential Theory of the Set of Natural Numbers with Order, Divisibility, Power Functions, Power Predicates, and Constants"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 31446"}},"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":"Q3987627$DC2883BD-10E1-49BF-8B1F-14A67914954E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bdf4d3b69946f37930d1e2189b71debbe4ce00bf","datavalue":{"value":"0806.03011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3987627$C7779224-F388-40D0-991D-3B8B3196C7B6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4dbe8a8cf8529656a4e25e0cc1513da9d1e6660d","datavalue":{"value":"10.2307/2159410","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3987627$3785C857-421F-4BE6-A06D-999F7B8B1BC9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c61f93f34511fdd6cecd67c10d8c088b5ba8c994","datavalue":{"value":{"entity-type":"item","numeric-id":673791,"id":"Q673791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3987627$DDDFA83E-19AD-4861-9B30-5322F350A76D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"120787504bea9565def539fb4bfb19084956028b","datavalue":{"value":{"time":"+1992-06-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3987627$563AD0B1-A0C3-41CB-B499-2FB9BF51D07C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3987627$FEB89DFB-DCC4-46D1-ABDC-47BC1A70C523","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3987627$3A7266FF-735E-4B76-A455-AD915AD5DFD6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"16363dc5b734bb967d1875bcac8d49d6cac16780","datavalue":{"value":"31446","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3987627$A35E2BD2-B820-4E71-96D0-B59D97F2D5F1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48ddf43eca498c7e7087cd696beb82ea63925320","datavalue":{"value":"algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q3987627$1310A800-EA37-45A9-9C8A-6A39D1E1C93D","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":"Q3987627$517DFF17-08E6-420E-B4A4-FBB29B4E8FCC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3cd2a4cbe52b9e1079e71a8adfa7e269469d1c83","datavalue":{"value":"https://doi.org/10.2307/2159410","type":"string"},"datatype":"url"},"type":"statement","id":"Q3987627$14987A13-35FC-451E-990D-0BFA6473F681","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"182e5903b8d5bd2aef221ba7c0d3f0d9703b72ff","datavalue":{"value":"W4249831957","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3987627$BEF0F297-5DD5-4764-96E0-62CB3BC74AAC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"eac1743f2fe15f5030be0e4cd8b08dd2ad36a217","datavalue":{"value":{"text":"Decidability of the Existential Theory of the Set of Natural Numbers with Order, Divisibility, Power Functions, Power Predicates, and Constants","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3987627$50A12F5D-DD12-4D9B-9E83-AAFA4F9579A5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d7b5600993d7350cf637b57a281d5c899e1fe82","datavalue":{"value":{"entity-type":"item","numeric-id":3858251,"id":"Q3858251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3987627$DE37218C-CAC1-479F-ADBB-E22F703DE155","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9539dcd8641c89aa1d2f85bb51f2d787f0a4465f","datavalue":{"value":{"entity-type":"item","numeric-id":1256449,"id":"Q1256449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3987627$453C1ACC-A5DD-4CFC-9FAB-C2F225AE5E27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2edfe8015b58c579c54c78cbe4fe122a242df00f","datavalue":{"value":{"entity-type":"item","numeric-id":4152529,"id":"Q4152529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3987627$055EED47-19B5-4363-BFC4-A3D76D1D4114","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"377ebd783c29f0363f6adc027e1b4b7bf47278c6","datavalue":{"value":{"entity-type":"item","numeric-id":3971059,"id":"Q3971059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af1c9a14d30b9f1ca8bf336938d911d2e01a8709","datavalue":{"value":{"amount":"+0.932245910167694","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":"Q3987627$B05B66B4-0CAC-484B-B13C-77C51E74F8C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2a458a78b291662760e20e64a2caf05dcb9f054","datavalue":{"value":{"entity-type":"item","numeric-id":1071748,"id":"Q1071748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7bece994c61d5da34546b9cbb6ea377a123ee375","datavalue":{"value":{"amount":"+0.7323910593986511","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":"Q3987627$E2F025A4-78F1-423E-9109-78EAC0E7C42E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64d7148f1db14a56b240e62b80fbb5edb6e33b25","datavalue":{"value":{"entity-type":"item","numeric-id":5359580,"id":"Q5359580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3adedb4953904932f4630c0d0eaa7812fa5a6850","datavalue":{"value":{"amount":"+0.7297264933586121","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":"Q3987627$959B0936-3DA5-4E3B-8570-0A4F6CC55CAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f7702578785a543f2b7b2de15c75cd1f8db16e9","datavalue":{"value":{"entity-type":"item","numeric-id":4894724,"id":"Q4894724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d05d88729758d31116aff58aa56c8f54f0056264","datavalue":{"value":{"amount":"+0.7223926782608032","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":"Q3987627$BB995314-65EF-4EA9-805D-EC415300187F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Decidability of the Existential Theory of the Set of Natural Numbers with Order, Divisibility, Power Functions, Power Predicates, and Constants","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Decidability_of_the_Existential_Theory_of_the_Set_of_Natural_Numbers_with_Order,_Divisibility,_Power_Functions,_Power_Predicates,_and_Constants"}}}}}