{"entities":{"Q3317099":{"pageid":3327807,"ns":120,"title":"Item:Q3317099","lastrevid":45941098,"modified":"2025-12-20T19:10:47Z","type":"item","id":"Q3317099","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3847379"}},"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":"Q3317099$9DF682CF-4656-4CDA-8830-D939D69036BC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"34ca5f967841028bda66a679911df4ebc67e6357","datavalue":{"value":"0534.03025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3317099$C4FAC6A3-2361-479F-8AD7-B09D3300E518","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f10f82ca55a74a3795ba5d1f05256bc7e1f360fb","datavalue":{"value":{"entity-type":"item","numeric-id":3317098,"id":"Q3317098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3317099$C2551D3A-B084-4232-B509-6B626F7402B2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0136733d5dd7d9f4d36f24c87a0b8375ae1cb2fd","datavalue":{"value":{"time":"+1983-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3317099$BD10F305-8215-462E-861A-CF1648E07E45","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2f1459d5951e049c51abbc0d85c8bd47bc411fa9","datavalue":{"value":"03E25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3317099$15064338-6F78-44BF-8C22-454DE5FD3F46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"17763f39d928d56ef4081eb9cbb67fb71c0baf0e","datavalue":{"value":"03E20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3317099$52E217E4-5E1A-48A6-8301-4E77C87999C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3317099$B64C2CE1-1428-450E-8C04-1360F122672E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ec54e8b518a18e96a84d6a8ee9799eb1a1bedec5","datavalue":{"value":"3847379","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3317099$238CE004-B008-4DA3-846D-85C598278124","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"575343b204ab6090d7f0099b40f67f6a9425ac66","datavalue":{"value":"first order logic with Hilbert's epsilon-operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q3317099$F3678C38-5ABB-424D-8C32-3861F66678D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b2cf531807d1424e6515228822fe70f93a61e21d","datavalue":{"value":"axiomatic theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3317099$9F884ECD-6E9F-40FB-9D08-A74D598D1BB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0836092e1fe2f2c9bcc68cbbaa259608b2f6de67","datavalue":{"value":"axiom of choice","type":"string"},"datatype":"string"},"type":"statement","id":"Q3317099$D3B1FCEE-2B6E-45D9-A362-DF6A9D85EB11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcc788132bbdf160b33253d9db586337f2f51fa0","datavalue":{"value":"comprehension axioms","type":"string"},"datatype":"string"},"type":"statement","id":"Q3317099$CB09ABF4-9C98-4FD6-B0BC-B668C206B868","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e4cba36f07e1a65bc597ae9ef4fc318f01161b3b","datavalue":{"value":"extension of Quine's NF","type":"string"},"datatype":"string"},"type":"statement","id":"Q3317099$A33646CA-9D6C-427F-91EC-6D712973C3AA","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":"Q3317099$01FE073E-5DEB-4966-861D-B8FAF9F9BFC9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69f7a9cee27635f48dbe32c2b39a0e90d50d8fe6","datavalue":{"value":{"entity-type":"item","numeric-id":4212925,"id":"Q4212925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cbf5ac7beb11ada236fc3c8a69ff06c8df9d1b91","datavalue":{"value":{"amount":"+0.8762034","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3317099$EB7251EF-FF6B-4A8C-BA15-F43D3656B131","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0089287715de899604945aa3747b0d5a0cfe32a","datavalue":{"value":{"entity-type":"item","numeric-id":4726254,"id":"Q4726254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2c08ca107d6b4a84804d8470e1a2b9de58d62d8","datavalue":{"value":{"amount":"+0.87587166","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3317099$97209278-B8D3-4977-A704-EF548D41C721","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a556c1bb7a7149c7d3db5e422403a54a257748f","datavalue":{"value":{"entity-type":"item","numeric-id":1364905,"id":"Q1364905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81d46c46a5ddbf77e58fd711d49d2b4ab3cd47bc","datavalue":{"value":{"amount":"+0.87554723","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3317099$C487A495-1244-4F9D-BC8D-7E682DD7CF56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"127888a229e28a66d136ee76409624c631df3291","datavalue":{"value":{"entity-type":"item","numeric-id":4353276,"id":"Q4353276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81d46c46a5ddbf77e58fd711d49d2b4ab3cd47bc","datavalue":{"value":{"amount":"+0.87554723","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3317099$5437FBD4-D9AC-4FBE-95A7-5014AC9299DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef37830a73164b8460e0ad4185355782478042d8","datavalue":{"value":{"entity-type":"item","numeric-id":5028319,"id":"Q5028319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a96de5532f07b0aad9355893fb42a920548cf1fa","datavalue":{"value":{"amount":"+0.87127006","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3317099$E8A18B13-C3E6-4434-B573-82A88E89454E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7023e94d25ff8336923d9312208ed8326b70ed7c","datavalue":{"value":{"entity-type":"item","numeric-id":5556592,"id":"Q5556592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1bf9bc0e64bfbf30178234e20f754d24bf101195","datavalue":{"value":{"amount":"+0.8688365","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3317099$075C1E12-427F-40B4-90BB-38DD7ED5CEDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd95d559d5d2de0036ed07e37a4049d5225225bf","datavalue":{"value":{"entity-type":"item","numeric-id":647343,"id":"Q647343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cda8f9c3663300bc46b97094805ad7eeac3f21da","datavalue":{"value":{"amount":"+0.8684122","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3317099$8E232D26-5070-4C56-9E01-74E4AA2A7D05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"586b8520d011b6feafbef3bf4c7dbc56ef21beb7","datavalue":{"value":{"entity-type":"item","numeric-id":5729312,"id":"Q5729312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a693e4ad9b9e6425d641e77c52709a06cd093387","datavalue":{"value":{"amount":"+0.8669954","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3317099$BBC22A2E-7806-4E06-BE42-BE1858CCF9C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d39eb312dc42d1456905792c2e9f8546e5a09d65","datavalue":{"value":{"entity-type":"item","numeric-id":4232316,"id":"Q4232316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81aa0fc99a0798f8b98df9a5e7f166400e125b6a","datavalue":{"value":{"amount":"+0.86288273","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3317099$C4D52CE3-1985-484E-B817-079FF3D895A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd3c1e606d61009f9e1672a222d17fe6125cd5a3","datavalue":{"value":{"entity-type":"item","numeric-id":3222183,"id":"Q3222183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6fadfb0510c0ab892c919e7e48a9ab376a03ef86","datavalue":{"value":{"amount":"+0.85986954","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3317099$64B6B7DA-A8EF-426D-8AD4-E8D0B286B222","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3317099","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3317099"}}}}}