{"entities":{"Q5311770":{"pageid":7341344,"ns":120,"title":"Item:Q5311770","lastrevid":48538576,"modified":"2026-01-05T03:49:21Z","type":"item","id":"Q5311770","labels":{"en":{"language":"en","value":"Bounding prime models"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2199975"}},"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":"Q5311770$F0698B21-FB43-46C2-9B9A-509AF01BFB63","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"02d5a78b16b1cc1627037ab61a548633300205d0","datavalue":{"value":{"text":"Bounding prime models","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5311770$4FFE09BA-90B8-491C-95D1-8C4EA1AEF108","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"74ad2979d95de98a68327eea0e8bd88da7408fad","datavalue":{"value":"1071.03021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5311770$59D35469-3908-4BDC-8FD2-14C4820D83EB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"de07eca08fd275b43aedd5c0b45bb2e3e71c52be","datavalue":{"value":{"entity-type":"item","numeric-id":456803,"id":"Q456803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5311770$C8D5CEED-8C00-47E6-9087-A7E6B8B2102A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"99d656eeef84f51d80bcbc7ccf03ab138401b634","datavalue":{"value":{"entity-type":"item","numeric-id":207673,"id":"Q207673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5311770$184BD650-F034-4981-85CC-C1DBE9A2A624","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ac7806f8c5b88107d03d2d360623fb237ce6f227","datavalue":{"value":{"entity-type":"item","numeric-id":499079,"id":"Q499079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5311770$D73ECFAD-F8E9-4729-AF05-0BB99A770D1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6fa8e092697f26e8493ed1bdb5b6bbe79c6f36bf","datavalue":{"value":{"entity-type":"item","numeric-id":494651,"id":"Q494651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5311770$4E007A45-CA1A-49EE-92E7-2F8E54F8D654","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":"Q5311770$72D69130-7E66-4495-8A40-2DD324D34E19","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0bf6b2a1195bceb76e95a6eaf6480b71590f9114","datavalue":{"value":{"time":"+2005-08-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5311770$4BF7CD7F-6809-4680-9CDA-6FFA1A904E70","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"51c3dc27e13e59ca92a9af5f9c02c332a8b9421a","datavalue":{"value":"03C57","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5311770$E9659C08-9F51-4682-8CC7-85211B102527","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1a0d5793d38347e211645d5f0ccb0309fc7b0d1a","datavalue":{"value":"2199975","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5311770$091333E5-C100-4629-A95A-6AE32B61F74B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a35e656ef704be84c22fc7a83e7d28ce5ae6659","datavalue":{"value":"complete atomic decidable theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5311770$1BB07A7E-2E44-4637-8BA0-75B6AB902806","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"34e2aea82bcbc1785116ba1a7fd2c55f61b952f1","datavalue":{"value":"prime model","type":"string"},"datatype":"string"},"type":"statement","id":"Q5311770$7F827B8E-F6AB-4D8E-94F0-60584116A348","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d234af893d451e6511b8b2e05813a0c4bccb67fd","datavalue":{"value":"prime bounding sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q5311770$6EF38714-1160-4956-BAE3-9A5541075EAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d628a0d9d710f812a6c7c56a7a2a3434790b065f","datavalue":{"value":"computable model theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5311770$02B9AC3D-140C-4407-9A9D-38D477BD9642","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":"Q5311770$E8BD121F-359C-488C-9A6A-FD25B4A69C5B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ece4ba7f89e9bebe5ed394104bd1e45af064a37d","datavalue":{"value":"https://doi.org/10.2178/jsl/1102022214","type":"string"},"datatype":"url"},"type":"statement","id":"Q5311770$E74EF3D2-FA05-4927-A7B7-C60BEFB0A830","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8c026acac02ecc5bdbb65d552fe735a22b4b49a1","datavalue":{"value":"W2134024760","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5311770$7FE512DA-A38C-4537-B0A5-C27EDF85C851","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1edcfc8f162dce621803913f4363a765362e71d8","datavalue":{"value":{"entity-type":"item","numeric-id":3819052,"id":"Q3819052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5311770$BD39D8F3-AB0B-4465-AAEF-F20BA0C95C7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e4536c763145bafc953ff8d1e052ba993634142","datavalue":{"value":{"entity-type":"item","numeric-id":1572657,"id":"Q1572657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5311770$6E7FF199-77B3-41D4-989F-7B91C974E606","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a107257780afe9a73ee9be305c171bcc4104bff1","datavalue":{"value":{"entity-type":"item","numeric-id":5829819,"id":"Q5829819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5311770$7E3874CC-2666-440F-BC82-EEEA595CF88A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83629abf139fb85e047a69756c5cf2fdfcca46f8","datavalue":{"value":{"entity-type":"item","numeric-id":5669049,"id":"Q5669049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5311770$A095522F-27B9-478F-951B-31048C8BBD05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16219a0289164a24350b6f327f07628d5e9d9f37","datavalue":{"value":{"entity-type":"item","numeric-id":2723507,"id":"Q2723507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5311770$C4021954-4DEE-434D-837E-84B0EAF4663E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2a775b2207c89bc34b91910680b9e1970c072785","datavalue":{"value":"10.2178/JSL/1102022214","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5311770$D3768D8A-68FE-4388-A84E-D2D1A02CC911","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf4bd25483d947f089a439903d4badf80911e889","datavalue":{"value":{"entity-type":"item","numeric-id":3617367,"id":"Q3617367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18472308825242ef299671c81e72721515f2a49d","datavalue":{"value":{"amount":"+0.7960658073425293","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":"Q5311770$11681441-4A75-45DF-B582-C6C3E7AD5469","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c83b9887b995b704bc801b6aaec37bb6f7588290","datavalue":{"value":{"entity-type":"item","numeric-id":5502824,"id":"Q5502824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43effb591d069d21dde95f98a409255f816d1cc3","datavalue":{"value":{"amount":"+0.7642861604690552","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":"Q5311770$8BB71F4D-07E8-4C86-B1B1-7EFC55B01E4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6f9272ce88cc34fdd0896f89bf7e66183e7f19a","datavalue":{"value":{"entity-type":"item","numeric-id":5311733,"id":"Q5311733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad6d80b1894598764a9df609ac66fa9f494c7185","datavalue":{"value":{"amount":"+0.7563241720199585","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":"Q5311770$84F5ED8D-EE33-47C5-85BD-4EDF2A550949","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8857e079d5c0a42f31478bf57a7504dbe5a144cf","datavalue":{"value":{"entity-type":"item","numeric-id":4592760,"id":"Q4592760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8de3fdc07b9ef20754a3e7bfff88563656f475b","datavalue":{"value":{"amount":"+0.7337096333503723","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":"Q5311770$F99FF439-F00A-43F2-8C48-136088EBF71D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2df0f3578a0500cf70428cc0d1efeb10661eec2b","datavalue":{"value":{"entity-type":"item","numeric-id":3616356,"id":"Q3616356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d68b220930922bb65464b92f8b8c4113947b651","datavalue":{"value":{"amount":"+0.7227402329444885","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":"Q5311770$84F1E3D8-FCAE-4866-8FEA-63C5F83B3D0B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5311770","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5311770"}}}}}