{"entities":{"Q4227856":{"pageid":6257457,"ns":120,"title":"Item:Q4227856","lastrevid":96560522,"modified":"2026-06-05T11:36:34Z","type":"item","id":"Q4227856","labels":{"en":{"language":"en","value":"Truth Definitions, Skolem Functions and Axiomatic Set Theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1247610"}},"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":"Q4227856$4DAA4891-CD9F-4511-BBA4-8CFD0F4E59B0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"14108d89b6c4f8cafd27375a7a2c848c55235244","datavalue":{"value":{"text":"Truth Definitions, Skolem Functions and Axiomatic Set Theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4227856$3FB77101-4B72-4876-9FFF-5266C34B2295","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"26df75bce7a4c918f3a805f305e1b87ed173d03f","datavalue":{"value":"0918.03005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4227856$BECBB393-C545-4876-9E95-0DA9E49DAECA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b54fcc5f8f277dd9633fd665fec49bd76facbd58","datavalue":{"value":"10.2307/421033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4227856$FD9A5B38-4222-45E0-BC42-1CBD1C2F01D8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f6e6323a76251c50292471d4bbd0907fd41453aa","datavalue":{"value":{"entity-type":"item","numeric-id":175231,"id":"Q175231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4227856$910F73A0-B28A-4696-97E6-D70C2E5F2BAF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a8644b3f3170c33297fd848370044d7764102e51","datavalue":{"value":{"time":"+1999-08-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4227856$7602EBCA-1363-4E5F-AEFC-B38EACA39CA5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c41d42c9dd4d72310f7bd8140f1ad3d4dfafaf68","datavalue":{"value":"http://www.math.ucla.edu/~asl/bsl/0403-toc.htm","type":"string"},"datatype":"url"},"type":"statement","id":"Q4227856$7BFDABF6-4059-499E-9322-BB468D00A183","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4227856$38C21A08-71B5-444B-9905-8465AC694AE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c44e4550b60355cc572c6c4d7a5a72dc0832c1d0","datavalue":{"value":"03F40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4227856$A8BFD166-BB14-4BC7-97C1-513671C9A5BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4227856$0EF701C5-A0CA-42E0-AFE2-1A8FBF6ECCCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"abca938afd309309893053e8ee4f51374fed9de6","datavalue":{"value":"03C07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4227856$574E0D42-44E7-4452-B017-C9CDA1D3617C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25e5a5f23d3e2e2c05864da16eda493011c33276","datavalue":{"value":"03C80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4227856$B8575DF8-CD3C-44C4-9D64-E9D05431EEEC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7f78f6e499b9280f34dfe16ee4c8547a3b7ac8a2","datavalue":{"value":"1247610","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4227856$D0D81D0B-C573-4556-BBF8-85CC13E36954","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c30e52259e2227cb68686a0094ace6707c533e87","datavalue":{"value":"independence friendly logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4227856$DB9C2EBF-7041-4E2B-BA69-F169D40F0813","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39314e8577c6771db53e4d40b069f41ec5308898","datavalue":{"value":"IF logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4227856$6637801A-AB8E-4664-BDCF-76EC8DF05824","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b34e81c9be74c25aae2603a8dfa343c349c2721","datavalue":{"value":"Skolemization","type":"string"},"datatype":"string"},"type":"statement","id":"Q4227856$180A2BD7-226F-4A09-8055-2C2D3340E483","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"204206a2f11fac2e164f68d9eaa80872c4d6a41b","datavalue":{"value":"Henkin quantifier","type":"string"},"datatype":"string"},"type":"statement","id":"Q4227856$6A1C32DA-687E-4B72-9F77-8D680A8CD81F","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":"Q4227856$536EDBE4-1ED8-4330-811C-ACBDE593F662","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"00633eab43d87708ad667b0075276bd51dfe1a53","datavalue":{"value":"W2148121910","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4227856$7B0DD90D-3341-4CF6-B8FB-D177AC779E02","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5baf9bb4be1fea6d9511ea0cf092509d824bcb3","datavalue":{"value":{"entity-type":"item","numeric-id":4698332,"id":"Q4698332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4227856$78563D91-C602-433A-A3F3-43E94A195223","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6eb580c82523f253a797e87216521a6b51de0230","datavalue":{"value":{"entity-type":"item","numeric-id":4168917,"id":"Q4168917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4227856$9C650E2E-4C94-4951-8C73-B1A9CC31A16C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f89a5290015084f33b53f5ecddad650a9198f632","datavalue":{"value":{"entity-type":"item","numeric-id":5839930,"id":"Q5839930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4227856$4DC57484-FC59-45A0-9E66-158BC1A061EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dffad437e017fdc15baf42ce447a323a98e8dfcf","datavalue":{"value":{"entity-type":"item","numeric-id":4133603,"id":"Q4133603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4227856$6D6F507B-3455-4A52-AAB9-5FA87E40DF51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a9e9cd00bd888e0c2ec3144ef21f154ae7d49a0","datavalue":{"value":{"entity-type":"item","numeric-id":5573370,"id":"Q5573370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4227856$C18AB4DD-EB48-476F-A354-99DB3C6751BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dca7bf9ff748343f2efbe736997f3fd4b0e9f589","datavalue":{"value":{"entity-type":"item","numeric-id":5623654,"id":"Q5623654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4227856$A4A0CD95-0F3E-4135-9E40-FF1765D2135D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8413e35396f689c527307b15a1f798700960d2aa","datavalue":{"value":{"entity-type":"item","numeric-id":5691485,"id":"Q5691485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4227856$5385BD4A-8332-4F64-A1DB-24F894DD51E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9635365b0780328d7ae22bc69b462e7144999d03","datavalue":{"value":{"entity-type":"item","numeric-id":5573961,"id":"Q5573961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4227856$148BF560-6E29-4D02-B96C-2653FD2FD4A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da86d122e48ca47a994dd19a2ed1baa918b81c1a","datavalue":{"value":{"entity-type":"item","numeric-id":3960633,"id":"Q3960633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4227856$2EC7E6DA-7E75-4C71-8550-477DB75DE7FB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"627782bb8e66e4f5813f03d60fbe78f72f4da774","datavalue":{"value":{"entity-type":"item","numeric-id":2795200,"id":"Q2795200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4227856$8E08CDF4-B656-4D82-A742-A8E6EF8C874B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff14c4338728256de7d3fe337ac76aedcbe81421","datavalue":{"value":{"entity-type":"item","numeric-id":598297,"id":"Q598297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69fb87d5e60bbe1895872bdf9e6dad6a47ce6ce7","datavalue":{"value":{"amount":"+0.8258535861968994","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":"Q4227856$E3685913-71AC-4153-81E2-34FF4200ACA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9cadeb0cbdbcea2206210b92406402fcf304fa5a","datavalue":{"value":{"entity-type":"item","numeric-id":2702564,"id":"Q2702564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7228e61d186c23e392f5c676c2ffdddf4f0aa49c","datavalue":{"value":{"amount":"+0.7590929865837097","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":"Q4227856$168E1393-837A-4E2E-BD61-76D9F1255BC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0889c397bb9e0c6b3dac12ab5bfcbc3d54f3a508","datavalue":{"value":{"entity-type":"item","numeric-id":4639910,"id":"Q4639910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f858b2a328cdb9e755546c2f9cef3800601a369c","datavalue":{"value":{"amount":"+0.758387565612793","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":"Q4227856$0FC5BD95-7352-480B-BC80-E55B3E5F8FDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd6d9196b90aadfbe46f06604044c5d57c9eda7b","datavalue":{"value":{"entity-type":"item","numeric-id":4918424,"id":"Q4918424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47553b2154bbf73e077c930a16ceda1884898e38","datavalue":{"value":{"amount":"+0.7451150417327881","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":"Q4227856$7B6A82FB-EBC6-4A33-8BAE-5A331391B748","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Truth Definitions, Skolem Functions and Axiomatic Set Theory","badges":[]}}}}}