{"entities":{"Q4175544":{"pageid":6205145,"ns":120,"title":"Item:Q4175544","lastrevid":31946684,"modified":"2024-03-19T20:20:04Z","type":"item","id":"Q4175544","labels":{"en":{"language":"en","value":"Two Applications of Logic to Mathematics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3609650"}},"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":"Q4175544$98537090-FBB0-416C-A312-FD77CF7346F8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0e425889b8741c4ff1105d988cbee167bf5e3f9d","datavalue":{"value":{"text":"Two Applications of Logic to Mathematics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4175544$9792CCB9-EC4C-480E-A0D6-18D1CBD27426","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"59aebbe9008396c77419da6ab393277deac7758e","datavalue":{"value":"0393.03027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4175544$6F285381-0297-4511-8D93-3AB2BA34EC98","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e6d75c2b5a7570279ed68e1a2bbf0f85108063d2","datavalue":{"value":"10.1515/9781400871346","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4175544$474197EE-7395-44D6-A149-13B1431C2801","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"057136d60f841fac35f8dec23b81e4925462b1bc","datavalue":{"value":{"entity-type":"item","numeric-id":768306,"id":"Q768306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4175544$FA99714F-B41E-4B3B-9FC0-C9C2F7F4017E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"23512e79b17ec0dbe00d89a570006ab4e1ecd403","datavalue":{"value":{"time":"+1978-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":"Q4175544$48747A88-8A96-447A-B426-5914F0F306E3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed0e9d16aabdfc4de2754948a872b6ceb30bba56","datavalue":{"value":"03C90","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4175544$C102027D-5B6E-46F6-B270-46F4581CE94E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89663cdc2c9f64b2cd0a104bcac86329d89b9b2d","datavalue":{"value":"03-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4175544$EB5D09FF-4482-453A-9D9B-E7DBC80C198A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2424091b03fd27bd558df223c60cdbfe1294ebd0","datavalue":{"value":"28-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4175544$8C4E477C-0756-4842-BA5B-0CA6BAC766C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7d09cabe89d8d154ee8ee1d2706489586262ac0c","datavalue":{"value":"47-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4175544$C3F329ED-C0E3-4150-9A0B-9A669EE31A77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"72c8b865c2c78b52392cdb1eee39270b44ddc4b6","datavalue":{"value":"47D03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4175544$F77D0240-D729-44BD-9C2D-04E4D8FA15B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"364ddb13774ccf25d752f10fc1945c7d91ae0410","datavalue":{"value":"30-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4175544$9DD811FC-60F1-478A-9BAB-BEC199B99D09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2c7e9d10ff5c09d4881365aa8252c30b72f806c5","datavalue":{"value":"26-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4175544$754E96C6-C09F-4549-90C3-B05715199D95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"37d47921a58c85c2a107636e2df4b5e33bf07bbe","datavalue":{"value":"03G12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4175544$751EC576-D063-40CC-B348-D6B260D9A81C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"98885bd1c25b8006ce085f2a50fc8ac0c1b6bdcd","datavalue":{"value":"03E40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4175544$50EA4835-7690-4C53-A259-88B21FF5FB75","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2325c1f861a63196633855dbd33340fd39a87725","datavalue":{"value":"3609650","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4175544$B9EBFD31-B57A-487A-A14D-D0F2D2034CF4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d6fb23744556f1552703f938f4744d91392d91c9","datavalue":{"value":"Real Analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q4175544$219EEE2F-101F-44F7-BB77-7481158A92F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f484b5491081a853a1c9e4be3d3f1fcfe8a918ea","datavalue":{"value":"Hilbert Space","type":"string"},"datatype":"string"},"type":"statement","id":"Q4175544$7821BA81-2342-4241-A8B6-92797947810B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"90bb76eeaa478a045ad70569a719eeb79498550a","datavalue":{"value":"Orthomodular Lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q4175544$E5645691-AA9D-4C20-ABA9-F29A425BC641","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"84e3e4603dd9315870e110959f29463c5a9c4369","datavalue":{"value":"Algebras Of Projections","type":"string"},"datatype":"string"},"type":"statement","id":"Q4175544$90EB3F41-239C-4107-9524-7CAB9BA02824","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1e6bd5fffb0658cd3f90c7bdbef2485523ea1e3","datavalue":{"value":"Boolean Valued Model","type":"string"},"datatype":"string"},"type":"statement","id":"Q4175544$6D538FC7-332C-4F95-AD7F-E9EFE4ECF483","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ba3cc6c1aed05e7fb059c93971db3541950efb2b","datavalue":{"value":"Measure Algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q4175544$A9A599FF-772F-40AB-88D4-2CD2EA01C000","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8e0909f99284cdedefb4347de47d7074ee333a1c","datavalue":{"value":"Quantum Logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4175544$3A4AF2A0-6C35-49A7-9852-003D37F070C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6607d9b467fd70e2d8b4ac4a9da6fd7f67d5fd21","datavalue":{"value":"Complex Analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q4175544$F28DFA20-D847-400A-8669-F12A10A2C0D0","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":"Q4175544$628AA1BF-9D30-4CB1-8CAE-B98FF79CD52A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b31e7017ba181affc5fc3ef6c6645397630eb0e1","datavalue":{"value":"https://doi.org/10.1515/9781400871346","type":"string"},"datatype":"url"},"type":"statement","id":"Q4175544$1DE8F3E7-63AA-4AA4-9548-10DC091E612E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"13bec9f6b148f0ae86257cc45706a8d370899438","datavalue":{"value":"W2115821519","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4175544$FC01C33B-ED7F-4B9E-AAAE-C8CAE31968D5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4175544","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4175544"}}}}}