{"entities":{"Q6938601":{"pageid":21135228,"ns":120,"title":"Item:Q6938601","lastrevid":84106538,"modified":"2026-05-10T05:42:59Z","type":"item","id":"Q6938601","labels":{"en":{"language":"en","value":"Satisfaction classes with approximate disjunctive correctness"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8084582"}},"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":"Q6938601$0C5BF51F-EB77-474F-84C4-21AC86638076","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d28dd19fc35da76944442886f3aa2d3388bb358b","datavalue":{"value":{"text":"Satisfaction classes with approximate disjunctive correctness","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6938601$AABB0C91-1939-45F6-B691-E524B5BBC7F3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e66a9646c31c8e611a95e2b269a9fdc7a4e3f0be","datavalue":{"value":"10.1017/S1755020324000182","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6938601$C775DF8B-2372-40DB-8302-21AAF8C2B1FE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d91baa7b851119daffbdb37a964d70bc49dc7e61","datavalue":{"value":{"entity-type":"item","numeric-id":204231,"id":"Q204231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6938601$C3523713-C400-4BA0-8F4D-E3C4EAB86F28","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"af0afed2c0d629b9762e7f6c9dfa985cdd4f9630","datavalue":{"value":{"entity-type":"item","numeric-id":2804470,"id":"Q2804470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6938601$B490F02A-272D-4ABD-B3FF-D7A4B292FEE1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5524f65dba04a4e42636027eef156c68c8569d17","datavalue":{"value":{"time":"+2025-08-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6938601$EDCD1D97-243F-45E0-874D-1B2FD20D4A1F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"31eb4b2fe460225d8220386b6d12b964cafd1ca3","datavalue":{"value":"03C62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6938601$4BEDDC7E-68E6-4605-9693-D9816FFE60E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6938601$DDA23BAF-3F12-4BCC-A1C5-15575152FEC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4dd17e948ef0e266d136e969bf8283741afbd898","datavalue":{"value":"03F25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6938601$6A84A0CC-DC73-412D-A37C-A3E15F7A168E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"28c6c497b4631e3b03185561ee172e4d4fb216fb","datavalue":{"value":"8084582","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6938601$C1CD0C19-FE6F-4B11-8B69-68ADA5F0416A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7090cb2b2cefa03cee6b50a67ca057c086ad0f00","datavalue":{"value":"Peano arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6938601$15B218CD-C485-46B8-A8D1-79EA31E11C0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"73869db8a189f3766b7a85b5b117cb75a7f0523a","datavalue":{"value":"axiomatic theories of truth","type":"string"},"datatype":"string"},"type":"statement","id":"Q6938601$936C338F-0AD8-47DB-A88E-9FD389494BD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4108cecd289b9cafbcb28752da70c2315de2efa0","datavalue":{"value":"conservativity","type":"string"},"datatype":"string"},"type":"statement","id":"Q6938601$58D67E56-4F2A-4259-AD5A-2ADCCBEA7E84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e2fa7d86735053739bb3cc40983a60dcfba6f52","datavalue":{"value":"disjunctive correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q6938601$072B7E5B-5036-4B0B-B5CD-39C1FD9F9038","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":"Q6938601$28434EBC-92D2-4417-96C5-438EE78788D1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d6a2a74a959d3903b9ad5040cf58103330aac42","datavalue":{"value":{"entity-type":"item","numeric-id":6179830,"id":"Q6179830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6938601$20B0BFF6-BB1A-4102-B2DC-E46F50C78690","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2ea905e0dd45e5f666435e07c5347d2d8ec010b","datavalue":{"value":{"entity-type":"item","numeric-id":4215630,"id":"Q4215630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6938601$7331FCAC-BD90-41BD-9BB8-05557FF5250F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e80af18a3782140809471dc5dbe8a13a584107e1","datavalue":{"value":{"entity-type":"item","numeric-id":975779,"id":"Q975779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6938601$D516BC10-55A3-410B-89A0-9DAC06DD811C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64e1c4dce91588e80ee0b2795fb6b99528e81f7a","datavalue":{"value":{"entity-type":"item","numeric-id":2042738,"id":"Q2042738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6938601$CDDD1D30-1018-4D0A-962E-CD7DD2C2A7FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1278a632d09f9faae9f5de4b7d3d06f1c6a5d58a","datavalue":{"value":{"entity-type":"item","numeric-id":6038484,"id":"Q6038484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6938601$9D9A3D8A-31E8-4A39-9063-650464908A5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fd4e02b4ea5eaa074b117b0fdcc5dc1d48b17bd","datavalue":{"value":{"entity-type":"item","numeric-id":5107235,"id":"Q5107235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6938601$095ED2DC-9C31-41D0-857B-2DC6D011BC7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a734f0e78a9068a093699bca0af4445b60fc7f5","datavalue":{"value":{"entity-type":"item","numeric-id":2312097,"id":"Q2312097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6938601$9AB0FAF9-1805-4DCF-BE5F-80456430E2E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dccf19753fdc4aceb4fe2e72e418d7c4420dcc62","datavalue":{"value":{"entity-type":"item","numeric-id":5286672,"id":"Q5286672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6938601$825FEDFD-1878-4639-B89F-C8E04FCD9386","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff29a8dd1570cd5ecd9b1603750ac8c06d7ab63a","datavalue":{"value":{"entity-type":"item","numeric-id":3005147,"id":"Q3005147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6938601$9546C37A-A554-451A-BF1C-9BDCED8FAF33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86108cb677c98bb6850d4621a5c75e6c35903675","datavalue":{"value":{"entity-type":"item","numeric-id":5677474,"id":"Q5677474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6938601$19DF138D-B22E-4943-8E31-853DCEAD2C65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ecd81987eb2b3620646f2d151ff26bdb537b884","datavalue":{"value":{"entity-type":"item","numeric-id":4001935,"id":"Q4001935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6938601$739E9B11-CC70-4C9E-AA69-4BF397BF43CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0445900aecd6fcb481704a431cc7bf16e84caa97","datavalue":{"value":{"entity-type":"item","numeric-id":3812219,"id":"Q3812219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6938601$CCB3333D-C998-497C-8B06-7A9C3F179C0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61c9e7069bd5bddd12844c15b7d134c0e326a682","datavalue":{"value":{"entity-type":"item","numeric-id":5484945,"id":"Q5484945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6938601$B50418ED-563A-49B5-A735-2A108BAD6578","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ad6c5288072a036b944d4667385334330a840ad","datavalue":{"value":{"entity-type":"item","numeric-id":5019780,"id":"Q5019780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6938601$5A5F14A6-275A-406F-B6CA-D41736D4FD3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb685597e7f0fa3e9b2031d9f7cf1f13ac4adf11","datavalue":{"value":{"entity-type":"item","numeric-id":3758815,"id":"Q3758815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6938601$BF6E9CE7-AB24-46EC-BDE9-CF94B224C616","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6da7c1426f0a39217938b80a6461316f714c7155","datavalue":{"value":{"entity-type":"item","numeric-id":3924205,"id":"Q3924205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6938601$FAA49A06-FF44-499E-8BCB-CBF24439F10E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02baa669dae63332f46f3fdeff95737f29d02e43","datavalue":{"value":{"entity-type":"item","numeric-id":4105666,"id":"Q4105666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6938601$CB86F38B-2532-4CC1-BE55-EF6F0F9DCCC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7bbe761ae08f93ee4eec33760284b7fcf9bcb766","datavalue":{"value":{"entity-type":"item","numeric-id":3450806,"id":"Q3450806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6938601$5F4F7B85-33E9-4FB4-894D-75559A32C194","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2d60cfaf06571701513355e4ccd122b3272e4d4","datavalue":{"value":{"entity-type":"item","numeric-id":6103462,"id":"Q6103462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6938601$E86B6089-1E2D-4DE5-A459-81F673396101","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5e6457006485b3db3fb1e730b51d235595d1daf","datavalue":{"value":{"entity-type":"item","numeric-id":2662691,"id":"Q2662691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6938601$C16F2DB5-A7EC-474F-A81A-D985EA7C8628","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4a1313ed254efcde5f707e2ac2d8b471e576f7f","datavalue":{"value":{"entity-type":"item","numeric-id":5551148,"id":"Q5551148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6938601$2B77DC98-3817-45A0-A698-4F20C8AB11C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bb0963c76aacc5a544a50d626e5e6af3999b5e6","datavalue":{"value":{"entity-type":"item","numeric-id":3786482,"id":"Q3786482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6938601$38D6EC96-5CB9-4E85-81A3-261C8BC267EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99abdd488d7de15aefa7f6afa4adfd032dddf4bd","datavalue":{"value":{"entity-type":"item","numeric-id":913793,"id":"Q913793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6938601$8708A73F-093A-44CD-85A7-1EEF9DBC8485","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a920c6b4898f1fffa291cea9f3560948770b8e8","datavalue":{"value":{"entity-type":"item","numeric-id":5357325,"id":"Q5357325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6938601$33BF9812-53F0-4C4B-BAFF-EB4A2FDC7F1D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Satisfaction classes with approximate disjunctive correctness","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Satisfaction_classes_with_approximate_disjunctive_correctness"}}}}}