{"entities":{"Q5300067":{"pageid":7329641,"ns":120,"title":"Item:Q5300067","lastrevid":100728308,"modified":"2026-06-05T22:57:52Z","type":"item","id":"Q5300067","labels":{"en":{"language":"en","value":"Satisfaction relations for proper classes: applications in logic and set theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6180288"}},"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":"Q5300067$54C0840D-9859-4BF2-AB38-BA531D37827F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"77d6ae9d43ac6c7e0852c29c2c14467d192e607b","datavalue":{"value":{"text":"Satisfaction relations for proper classes: Applications in logic and set theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5300067$A3967734-CD01-40FC-BF23-828407863E0D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a7dc55e83a79495074863330cad475d73ec99766","datavalue":{"value":"1278.03077","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5300067$C2E5C066-561C-412C-BC31-A39332836E70","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b45d521efaec148aee62e687e935da9c6f559039","datavalue":{"value":{"entity-type":"item","numeric-id":850059,"id":"Q850059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5300067$6DD0057C-47DB-4314-B281-DB5BE3BA8E8E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5c4d994537ec42b6c97cc8e2c49237541c4423dd","datavalue":{"value":{"time":"+2013-06-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":"Q5300067$791AE7CB-DF11-4C7B-91FF-895467A1FA8B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"144b84bd9ef6068eb1cb87ecb489fc684fa2666c","datavalue":{"value":"https://arxiv.org/abs/1201.5509","type":"string"},"datatype":"url"},"type":"statement","id":"Q5300067$DBB428CD-1CAC-40CC-9E60-61CD89D58ADB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"b9d8c5f5a992beb929fdd52ed8774f8d01d61013","datavalue":{"value":"https://projecteuclid.org/euclid.jsl/1368627054","type":"string"},"datatype":"url"},"type":"statement","id":"Q5300067$73C2518D-3CD8-4C85-8C18-D62EA761C992","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2c8fe0e0d9053b9c71e705326a25639cfa34093d","datavalue":{"value":"03C68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5300067$D2E3505F-2CCF-4663-90AC-E83FFD7EEB06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"17763f39d928d56ef4081eb9cbb67fb71c0baf0e","datavalue":{"value":"03E20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5300067$1B768C75-FB3D-414C-BA9E-2BF43C7671AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"98885bd1c25b8006ce085f2a50fc8ac0c1b6bdcd","datavalue":{"value":"03E40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5300067$AC9FC643-05AA-404D-8B0D-9C648748DCBC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7c716e7f0336fbdb62ef820c014150e36b09fb2d","datavalue":{"value":"6180288","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5300067$FD12B199-F697-48C1-A553-FB33D125DC99","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"722b26952e28dd918e64c0ac8f2b47200c7a8b60","datavalue":{"value":"proper class","type":"string"},"datatype":"string"},"type":"statement","id":"Q5300067$AE99D30C-96D4-4579-A9B1-BE365E10043E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"86883f625eb9ea1d0f9d5e4e00110dbc1e213e44","datavalue":{"value":"conservative extension","type":"string"},"datatype":"string"},"type":"statement","id":"Q5300067$05C546F2-1796-40AD-805F-A6BB497573B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b23248042bd506455f51600d00d7ec5443276f9","datavalue":{"value":"forcing","type":"string"},"datatype":"string"},"type":"statement","id":"Q5300067$7DEA3EB7-9B90-4AFF-BB3A-C20D37EF8B79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0350e0e29f42425c4d14e8d6278b69d3be25deb6","datavalue":{"value":"Boolean valuation function","type":"string"},"datatype":"string"},"type":"statement","id":"Q5300067$60914387-B65F-41AC-A1BF-4C125F27C558","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8286b6d46109da3ccadc1ccb5f006c06a8ca2014","datavalue":{"value":"class theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5300067$83A8B998-9251-42E7-9EF8-27048D5F3CDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52e12b19b8baecfbb27e19c343c935d6fa57f968","datavalue":{"value":"partial satisfaction relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q5300067$426AC820-68D5-48B7-9C43-E3E3F27EE8A1","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":"Q5300067$21BD22B5-DFE0-4534-A23A-23974E9F6B46","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"14d7a259828691d2fe81e5a92fc3f5360401d0b3","datavalue":{"value":"W2592976559","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5300067$0363DD87-2396-40F3-93EB-47017E454F75","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3652d520789475601e366029ce7b257ab62a1ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5905909,"id":"Q5905909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5300067$18502FEE-9813-4AD5-9274-AF76048C5814","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03f48f65b0d0bb8c9c02df48186fc1ecf0523097","datavalue":{"value":{"entity-type":"item","numeric-id":4154561,"id":"Q4154561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5300067$C6219A66-05D4-4612-B1E7-A513C9F0DF67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0430e4a9fe16a78c945c278746cad2959afea463","datavalue":{"value":{"entity-type":"item","numeric-id":3395521,"id":"Q3395521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5300067$F19FF9FE-E17B-40DD-AAF5-1793C72D3CCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16aed7838e0f4fcfe49a570973f81957761e777c","datavalue":{"value":{"entity-type":"item","numeric-id":5275739,"id":"Q5275739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5300067$85CF202F-783A-4932-98CA-0C639282BAAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd0842ce128cfedce92388e33aef9ec54f9d18a7","datavalue":{"value":{"entity-type":"item","numeric-id":4189277,"id":"Q4189277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5300067$C5065828-E5E8-4E9E-BBFB-42A26A870242","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdc7afc2322ff86f0e37d02850a7c7eb8b89014f","datavalue":{"value":{"entity-type":"item","numeric-id":5825661,"id":"Q5825661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5300067$3755A08F-E7C6-4504-BCE1-92F7CB1B9427","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f6f2db977611aa29104d67cbe7ce738b14823c0c","datavalue":{"value":"10.2178/JSL.7802010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5300067$53DEA0E6-C31F-4DBB-9219-00EFE601883C","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":"Q5300067$EC9AC46E-910C-4407-A46D-AAF92F0466D1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"222b5529369983e6fd18a25b82e69d1729f4b0e2","datavalue":{"value":{"entity-type":"item","numeric-id":3765769,"id":"Q3765769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bdb2d52df88d7c49864f01aa01b07e08a74a6ff5","datavalue":{"value":{"amount":"+0.731073260307312","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":"Q5300067$27A3FE86-3D3A-4604-9D52-10FB26CC7E3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb97e2acfadd7970f084a94efcce13432a137c1f","datavalue":{"value":{"entity-type":"item","numeric-id":2856063,"id":"Q2856063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dec2c95b125647c650fdc44290fac07a59aa9eff","datavalue":{"value":{"amount":"+0.7300993204116821","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":"Q5300067$323894B8-062F-498C-BB46-DE70F732239E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c681a56e97085b227d5d521b4f082330b98c40e0","datavalue":{"value":{"entity-type":"item","numeric-id":2266714,"id":"Q2266714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"680dfa97f8fb312f29f5d11229776da102c12d6c","datavalue":{"value":{"amount":"+0.7168934345245361","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":"Q5300067$14ED17E0-7292-4492-A4D8-7519541AE034","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e08236fa9196dfd579c405e2a36ba720a227ef8a","datavalue":{"value":{"entity-type":"item","numeric-id":2639847,"id":"Q2639847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31e4bbcd141960baf054f776395000978016db87","datavalue":{"value":{"amount":"+0.7104105353355408","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":"Q5300067$FBBEAD92-6D52-48A3-8D44-627ED035F70C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f64d81c9eb4e8ba5da1845da0ea340c298bf400","datavalue":{"value":{"entity-type":"item","numeric-id":3305410,"id":"Q3305410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"045d3bab3c87afa5af3b93e01e19672c13416d8e","datavalue":{"value":{"amount":"+0.706790030002594","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":"Q5300067$9A3BDBD0-FCB2-46E3-AC27-5A5F64C8CAD9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Satisfaction relations for proper classes: applications in logic and set theory","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Satisfaction_relations_for_proper_classes:_applications_in_logic_and_set_theory"}}}}}