{"entities":{"Q1823017":{"pageid":1833759,"ns":120,"title":"Item:Q1823017","lastrevid":73029321,"modified":"2026-04-14T09:31:40Z","type":"item","id":"Q1823017","labels":{"en":{"language":"en","value":"The problem of finding an inference rule for set theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4114101"}},"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":"Q1823017$BD4BD49E-2C0B-4135-8093-12A6B37A0D76","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5c5c5c21d8372a3f6bd6852c34cd71e2210107d1","datavalue":{"value":{"text":"The problem of finding an inference rule for set theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1823017$465F59DC-E0E1-4A64-9FD0-C41BDBB17161","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"70ee8113f6072e96314ff9687342c74fbdb69b2c","datavalue":{"value":"0679.68178","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1823017$8888C1EF-544E-4A29-AE5A-9B4948D917BA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c3aa778c437b84fc71b7cc33fd76e700caa0472a","datavalue":{"value":"10.1007/BF00245023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1823017$E1A465CB-59A4-4FB3-B26C-77B11F1D4114","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ba90afe3c39216a5a167db74b8f9f42ac7df8da6","datavalue":{"value":{"entity-type":"item","numeric-id":220717,"id":"Q220717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823017$B8FF15FA-D26E-4B12-A9D7-452462B6FDD3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823017$7A5A2D52-3075-451F-A846-763C7BF930BB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-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":"Q1823017$F8A85626-162B-44EB-88F9-1575E6FE8BFC","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"22940410ab8f382829f45f3ba3afb0f322c6abb3","datavalue":{"value":"See the last but one review in Zbl 0679.68176.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1823017$D225C606-FEEB-4344-B1F0-1325E131A4A4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1823017$29EC4F6A-51EA-43CA-A456-DA6C5BDEA9E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1823017$AE629758-0EF3-4F1D-8B0A-522FF7BE8864","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1823017$B4B5DBB7-336E-4DEF-8084-D52FCE2F31AC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"789f45022da681f7a33122447493d996c17c8ab8","datavalue":{"value":"4114101","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1823017$3FA467C9-7D77-4EF0-BDB0-F8249793B376","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"08e28b7f7bfb3f315549f1e2c9c9047e2d25f89b","datavalue":{"value":"Q114267070","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1823017$49177810-D6F7-4B40-A677-E19E77BFD487","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":"Q1823017$B4B9B340-9F89-431A-A653-323132199E5D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6a97e5e88d07c0318b8e1c213a48e110cb4312a4","datavalue":{"value":"https://doi.org/10.1007/bf00245023","type":"string"},"datatype":"url"},"type":"statement","id":"Q1823017$92425318-95B0-49B8-AC1F-70AEEB69CFCE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cef7830791d268100be1748904a5a1807593f79b","datavalue":{"value":"W2034137401","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1823017$47A4F0F1-272A-47D0-8A8C-67FDA437E3A4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The problem of finding an inference rule for set theory","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_problem_of_finding_an_inference_rule_for_set_theory"}}}}}