{"entities":{"Q4323830":{"pageid":6353431,"ns":120,"title":"Item:Q4323830","lastrevid":47304739,"modified":"2026-01-01T07:19:20Z","type":"item","id":"Q4323830","labels":{"en":{"language":"en","value":"Acceptable Numerations of Morphisms and Myhill\u2010Shepherdson Property"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 724870"}},"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":"Q4323830$8B8E204A-F6B8-4EDD-8E04-4EC1F4F8803C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a5a60727b0232f3df0cae841a8b9d29c7a23aca7","datavalue":{"value":{"text":"Acceptable Numerations of Morphisms and Myhill\u2010Shepherdson Property","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4323830$973FA6EC-92D3-4F74-8A2A-50D84A4D20F9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0b345e516829699765e9839f9e92a30f9338a7de","datavalue":{"value":"0820.03028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4323830$63939F2A-1683-408A-9AA4-D7695E1C456C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8d74e8b3f7f8cfe57ff367cf9d08a41a139dc9d7","datavalue":{"value":{"entity-type":"item","numeric-id":1102948,"id":"Q1102948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4323830$6979CBB8-0B86-4922-A964-CDD80DCF8CCD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7af1100b7fbaa31e618c4d49342e2fae8da143f3","datavalue":{"value":{"entity-type":"item","numeric-id":2793901,"id":"Q2793901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4323830$3E357220-BF4F-45B8-97A9-E4195C6437C7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5a1529ffb26db2b22f3624b5eae79e54a7bbf813","datavalue":{"value":{"time":"+1995-09-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":"Q4323830$4D40A6CB-2B59-4FD0-AE1A-2AD2E50E73AC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1267197712a0b8481bdd51a65bbac0428b08dd13","datavalue":{"value":"03D45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4323830$72CCE6D4-BB80-423D-85B2-EEC2A54A8432","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"57eee2f313463199e20b9235bce5c88ea02d3389","datavalue":{"value":"03D65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4323830$F376741A-9651-4AD0-97BF-1554C14B5C73","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0b2329d6505978d67c77f357bdc21df934bde89e","datavalue":{"value":"724870","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4323830$B7C8B320-EF9E-457A-ABB9-8EC9E20721A1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2fd1514e2356580dc993e1941174a8f42ea6e454","datavalue":{"value":"acceptable numeration","type":"string"},"datatype":"string"},"type":"statement","id":"Q4323830$6B30BE4F-8F30-4CAC-B6DC-15554624FE36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"89d86859041174bb7ddee5f0c83a876ac4e5171a","datavalue":{"value":"s-m-n theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4323830$959F9A40-6489-41C8-BF40-84C9069BEEFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"955b2e1a8bf04387b2af30c6c540de7c85e12029","datavalue":{"value":"higher type Myhill-Shepherdson property","type":"string"},"datatype":"string"},"type":"statement","id":"Q4323830$AAF89A44-AB7A-4FB9-A236-7982127AE3EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3abc9b3840a837d6f0f6309f8c60404ebd9b6369","datavalue":{"value":"weak acceptability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4323830$6EB276AC-CB2E-49CF-A8B5-FCA791C03191","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":"Q4323830$D04148E0-98AA-4A0C-9A84-0AEFC3E7193B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4a2494db392b1aa2060b101c6b1ddb356343e6b0","datavalue":{"value":"https://doi.org/10.1002/malq.19950410105","type":"string"},"datatype":"url"},"type":"statement","id":"Q4323830$78F5EFBB-9567-44C7-8479-C2EAAA7F09B2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"373f0d8a84d08551b9c82220b8910c9044f92e8d","datavalue":{"value":"W2044989234","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4323830$4562B263-4B09-479F-8C4C-93AB80B8CB73","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7a84397b338c23be80a7880f02c57c85be493c5c","datavalue":{"value":"10.1002/MALQ.19950410105","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4323830$32DFB562-D449-4FB6-B764-9343A53B3941","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"835bbe052962c77f756652064e6d1ceac653ae1e","datavalue":{"value":{"entity-type":"item","numeric-id":4722059,"id":"Q4722059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8149be2f98416fa6071dda551ff3cb9b7e98d974","datavalue":{"value":{"amount":"+0.814875066280365","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":"Q4323830$AB19735E-0DFA-4C60-A9C8-AA7A4742C0A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"655cc213e70df7ea251e5d2094d00691cdbbf410","datavalue":{"value":{"entity-type":"item","numeric-id":4724615,"id":"Q4724615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b52c757fe2a0b3ac026d735cb9831ce348a49a8","datavalue":{"value":{"amount":"+0.721318781375885","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":"Q4323830$785E5778-9A2F-4A9C-8C2C-44B6B5F45A36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4db520b4983cdcc143e0fb0380919a3de95dd830","datavalue":{"value":{"entity-type":"item","numeric-id":2732286,"id":"Q2732286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cdd2dfe18093f438a4bcdec1d9f933a39078a5a2","datavalue":{"value":{"amount":"+0.7130144834518433","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":"Q4323830$CA3E8DAE-56E0-4CE2-A56A-51A2DF3132EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4844995e291269447614179705a29383dab2f104","datavalue":{"value":{"entity-type":"item","numeric-id":579920,"id":"Q579920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb3bf69c87ab80fd280357e89063a2836832079a","datavalue":{"value":{"amount":"+0.7113191485404968","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":"Q4323830$3F0CB3D0-98C4-4697-96A0-8192FF5F2D22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d2c4475997009e69279d8e1edbe9973dffb413a","datavalue":{"value":{"entity-type":"item","numeric-id":3734394,"id":"Q3734394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7bdc783220119d8f75beb3b363fa438027fb2ee1","datavalue":{"value":{"amount":"+0.7108924388885498","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":"Q4323830$63E54A73-1892-4DC0-BB43-21A666635C6B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4323830","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4323830"}}}}}