{"entities":{"Q2770973":{"pageid":2781711,"ns":120,"title":"Item:Q2770973","lastrevid":83175635,"modified":"2026-05-07T06:31:30Z","type":"item","id":"Q2770973","labels":{"en":{"language":"en","value":"Finitization procedures and finite model property"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1704397"}},"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":"Q2770973$6FF6541E-6DF4-4AA6-990A-7198CFDFA4CE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a9a91985f93f99fa13354191330bbe55cbad0eda","datavalue":{"value":"1007.03037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2770973$E8C7D012-438A-4D57-B937-6B44A0A904A5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0c1e221b56878445e44ab777850ee5c206a8293b","datavalue":{"value":{"entity-type":"item","numeric-id":2770972,"id":"Q2770972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2770973$9E5C0FCF-35A8-432E-8BA6-587894FB65D7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3f004312de52306fc7600bb16bd0709c1b334f36","datavalue":{"value":{"time":"+2003-03-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2770973$3E3D89C3-F231-4B3E-BD1D-FEA8A1017870","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"31eb4b2fe460225d8220386b6d12b964cafd1ca3","datavalue":{"value":"03C62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2770973$5E05FF58-8AED-4213-B814-13ECB2162E53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"da16cc6c6eb08bf82419ecf96189672d0591bc99","datavalue":{"value":"03B53","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2770973$05FCA8BB-14D9-4FC0-B298-C2201FBB2819","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2770973$D39FE0A4-2DAA-4A8E-A721-30A8A16BD5EF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"23da32c4047831951acec53953bcccdf7b524341","datavalue":{"value":"1704397","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2770973$A6DE5384-DB5D-498E-87AA-655FCB9DF8CE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"72b4c28ef22afb5dd45673a8f726a3ff9c57025d","datavalue":{"value":"relevant model theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2770973$3374A44D-E49A-4A32-A493-8F4C71A0CBD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be534d4950188959ddd440cd819bee45bdd13efe","datavalue":{"value":"relevant logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2770973$3703C45B-8758-4411-84B1-53BA6E8632E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"720c3de76408c0968fd3d796d839c3822d3c5e57","datavalue":{"value":"paraconsistent logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2770973$F84A0E85-B41B-4F38-8FE8-3508AAC5381F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b6e93b364f4fbd66556e8e755c428bfbc6f3187","datavalue":{"value":"paraconsistent model theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2770973$82C266E4-7410-4A39-951B-4DC8526D16EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29e85a61e7939ee6f14f83214f0f77882dcad4fc","datavalue":{"value":"first-order arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2770973$74C5CC1C-B5B3-4922-B070-78D69D3DE1D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac29fe212ac0c4f3218093771cefb4e2fa0aea78","datavalue":{"value":"Hilbert's program","type":"string"},"datatype":"string"},"type":"statement","id":"Q2770973$C5E3207B-C65D-461B-A423-FC143EC7566B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"12f5e3c5a7d771667189c351e4bbe27ce777e1f2","datavalue":{"value":"strict finitist mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2770973$795D61EB-0C19-4CB9-90B9-B897B8B1C5B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"964ec6defd3a96e87038b82ed5a45440e849d391","datavalue":{"value":"collapsing lemma","type":"string"},"datatype":"string"},"type":"statement","id":"Q2770973$E5D3D5CD-FF26-4F44-B4CB-26CE09FB2F92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df295a03a26a085e64e0b16acebc1e8bd58f6f57","datavalue":{"value":"finitization","type":"string"},"datatype":"string"},"type":"statement","id":"Q2770973$78BA5730-4E0A-4A25-8FBB-BA4ABFBABF74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc481c9956349136fb46ebae74b8442d2d25b871","datavalue":{"value":"finite model property","type":"string"},"datatype":"string"},"type":"statement","id":"Q2770973$1F969F9E-F927-4F47-844E-8FC71D9E9C20","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":"Q2770973$2BCC0B5A-54AA-45A3-B4B6-A824F39760B6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a3865a72a20650cfec0245c66a5702352be64c3a","datavalue":{"value":{"text":"Finitization procedures and finite model property","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2770973$F56289EF-AAE0-44D2-A169-78FFA03F5104","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e564427b46103c49785239499fd2430e05e2677","datavalue":{"value":{"entity-type":"item","numeric-id":6601601,"id":"Q6601601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2770973$27013CA9-9630-4B5A-AB1E-E6BCA7D65437","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be167ee165e5428332f437a491d781c127ba296c","datavalue":{"value":{"entity-type":"item","numeric-id":441154,"id":"Q441154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"100c12049b97075b29f39dd7ceb6fda9ea85dca3","datavalue":{"value":{"amount":"+0.7461194396018982","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":"Q2770973$1FED9C25-F43B-47B5-8DD5-1BDFFF73DE1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9418803d7a046db2b8db2ddf152b13c02ffa1b5","datavalue":{"value":{"entity-type":"item","numeric-id":3799998,"id":"Q3799998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6df096f87252065f292373efe123fcd86e6ed8f0","datavalue":{"value":{"amount":"+0.7186461091041565","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":"Q2770973$F415E12B-C0FF-49EA-AD98-E807DF8064F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76e7e761f95733a326465102a2cfa1743bc2a47e","datavalue":{"value":{"entity-type":"item","numeric-id":4847764,"id":"Q4847764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb4b6dec6bdb52ed4c57564374d822a6185b1988","datavalue":{"value":{"amount":"+0.7179136276245117","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":"Q2770973$D103CB70-6661-43CF-8C0E-830D843BE8E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"baf51f4856ed63cc63239a8a8cca5d93b8c792f2","datavalue":{"value":{"entity-type":"item","numeric-id":4227556,"id":"Q4227556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb4b6dec6bdb52ed4c57564374d822a6185b1988","datavalue":{"value":{"amount":"+0.7179136276245117","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":"Q2770973$184E5C76-8496-453E-A9E7-FA870755B035","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20a7604ff6ce25fdb36cd3d4b19aa2866b5741c4","datavalue":{"value":{"entity-type":"item","numeric-id":3452183,"id":"Q3452183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03ee74e670b019d9f4f6c3d8d28dfa495a1541b5","datavalue":{"value":{"amount":"+0.7138159871101379","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":"Q2770973$47C3BC00-3CE9-4D9A-AE53-A372EAAF634E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Finitization procedures and finite model property","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Finitization_procedures_and_finite_model_property"}}}}}