{"entities":{"Q4856150":{"pageid":6885730,"ns":120,"title":"Item:Q4856150","lastrevid":47369821,"modified":"2026-01-01T13:11:19Z","type":"item","id":"Q4856150","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 819502"}},"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":"Q4856150$639EF8EB-66F5-4DFB-829A-A8ECC4FA1ACA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1be3038ce18ed464ec116442b5f9815b1a91a533","datavalue":{"value":"0860.03004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4856150$1D0C65BB-E65A-40D1-AA9B-0C1F42A227B0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"48df1de5dcfcd296c388549b360f3903e6842b17","datavalue":{"value":{"entity-type":"item","numeric-id":1181861,"id":"Q1181861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4856150$2D9DE51C-C803-42A7-BE25-18F2A511E8B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a3c980f83e7f664794f831f32317e59e4b1e448c","datavalue":{"value":{"entity-type":"item","numeric-id":3096992,"id":"Q3096992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4856150$BF44B9F7-7814-4E45-A8EC-960EE8AF9AE0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"09dfcead45b92f8fc854b845b201747e7a5bc426","datavalue":{"value":{"time":"+1995-11-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4856150$CCC9293A-373D-4E25-A6A9-4224299849CD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5eb59e57cdf22dd229e0d8b292a33dd322f6e9d4","datavalue":{"value":"03-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4856150$67A3F7FF-FCCA-45AB-8909-85C5B9B72783","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d8724ac1f861fd4485a474d1844744a1ace24834","datavalue":{"value":"03-04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4856150$CEC248AE-2A59-4915-8BB7-59F20B784FAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4856150$5EC333E5-CF04-4276-8E82-2D28ED08A518","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3bc40261bc1d7a63439624399df1a8fd51cc1f34","datavalue":{"value":"819502","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4856150$732632CE-4EEE-4090-B1C4-CCF7850FFFB4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4856150$795D8822-AAD0-442E-8633-F08C52120DFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"54d1b3f2ba41f686a394b40af2682f0686fa040b","datavalue":{"value":"logic textbook","type":"string"},"datatype":"string"},"type":"statement","id":"Q4856150$605C3159-E994-4284-A3C1-04EF64CC7B76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb65eda6977dc01fab82f29ae7e63378b5d31224","datavalue":{"value":"Hyperproof","type":"string"},"datatype":"string"},"type":"statement","id":"Q4856150$E341A2F6-AFE4-492E-9689-756EFE4D5E56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"711686e9412e59a30045f4c16e0ffef0457360e7","datavalue":{"value":"formal language for pictures","type":"string"},"datatype":"string"},"type":"statement","id":"Q4856150$FCA9F9E8-2F31-43FF-8303-090AE4B74E62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b6f966e4d6ca933ec639419988ab70ff720dec4","datavalue":{"value":"incomplete information","type":"string"},"datatype":"string"},"type":"statement","id":"Q4856150$9B4FF224-8EA0-49BF-9EDE-13ADC9B0D6B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"56e2bb29096bece740dc8e645256701aee83d754","datavalue":{"value":"proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4856150$FDF5A9C6-94DD-4C76-8B4B-57A4A6FDC1A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2204efedd85f7b0ca457ab200e3cb82a7b01f6ab","datavalue":{"value":"consequence","type":"string"},"datatype":"string"},"type":"statement","id":"Q4856150$B0639401-57CE-457A-8B8A-33C1C3D9E71B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7b4060cf24a024e509d28c85cba8a220c0d2bfd","datavalue":{"value":"nonconsequence","type":"string"},"datatype":"string"},"type":"statement","id":"Q4856150$1AC2FA2C-73EB-4016-915B-12C97C73B490","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87dd55c46f28e025f7f537ba4ca1b1f3e1ba66f7","datavalue":{"value":"inconsistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q4856150$D72A83F9-CE00-411D-894B-A7E25C1A0F3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a8781b9bab5e9a8413b1d3857954a70d5b1ca2dc","datavalue":{"value":"logical independence","type":"string"},"datatype":"string"},"type":"statement","id":"Q4856150$8FDE4FB5-B240-4257-A387-22D7E2FB5DAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a6bf8911013dbf1a8fcc79d9729f0494a9c6c3b5","datavalue":{"value":"Russell's barber paradox","type":"string"},"datatype":"string"},"type":"statement","id":"Q4856150$33BB5524-79B2-414C-AE62-4D4F053CD62E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d38e8883c7ac370227509cad6c8a7124cffe8eeb","datavalue":{"value":"Macintosh program","type":"string"},"datatype":"string"},"type":"statement","id":"Q4856150$810EDE00-AD9D-41D4-BB77-DCB8128BF771","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d76081471dd644a398d55bd6a5c308c0f0d40f80","datavalue":{"value":{"entity-type":"item","numeric-id":33967,"id":"Q33967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4856150$1DE3D0F6-FB91-48BC-BC86-83E54F539D39","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":"Q4856150$44BBD5D8-B495-4F6B-9E07-B2F37599BCF7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ffa971d51991bddc082eee1c53704c2f7e00879e","datavalue":{"value":{"entity-type":"item","numeric-id":4875400,"id":"Q4875400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3c39d04167c8bad78d6b0fb97dcaf57aa670399","datavalue":{"value":{"amount":"+0.7547054886817932","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":"Q4856150$CBF2DEB6-5401-468C-83C0-1AF35575E83E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ffdeb3e53ab217f78fc230dc884c48260f7aa54e","datavalue":{"value":{"entity-type":"item","numeric-id":4459901,"id":"Q4459901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3c39d04167c8bad78d6b0fb97dcaf57aa670399","datavalue":{"value":{"amount":"+0.7547054886817932","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":"Q4856150$70D34EC6-10EE-419B-869B-168D66AE7A7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"def4506297db4f79c833590fc17882cc38468a19","datavalue":{"value":{"entity-type":"item","numeric-id":3096993,"id":"Q3096993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"370159a745d3be4bb6c601ee9a9e8c77f56707ca","datavalue":{"value":{"amount":"+0.7235391736030579","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":"Q4856150$1748C9F7-F55B-47AA-892D-A2289BA3DC2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a77e50dd532ffc4db130e41075362e75a6f1b95","datavalue":{"value":{"entity-type":"item","numeric-id":5691519,"id":"Q5691519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"759ea0bc7372b6540b769b658d822caeafc5c06a","datavalue":{"value":{"amount":"+0.7212910056114197","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":"Q4856150$043B2233-5BF8-45BA-96DD-82F23C38340F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c125515bb12e9e60c4e3ee1c7caa3ec4f3ac20ba","datavalue":{"value":{"entity-type":"item","numeric-id":4888736,"id":"Q4888736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d578f8a549bab0abb376b18c65af2176c2947167","datavalue":{"value":{"amount":"+0.7212907671928406","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":"Q4856150$99035346-D102-41EC-9DE3-F8772934EEF1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4856150","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4856150"}}}}}