{"entities":{"Q4777261":{"pageid":6806841,"ns":120,"title":"Item:Q4777261","lastrevid":74469006,"modified":"2026-04-14T22:43:23Z","type":"item","id":"Q4777261","labels":{"en":{"language":"en","value":"An extension of the Kreisel-Putnam system"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3453565"}},"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":"Q4777261$0C407AAA-C32F-4B75-B121-AD92BE528DB6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c6e441bf56df67c338cc81a09847f45c8b4e7bda","datavalue":{"value":{"text":"An extension of the Kreisel-Putnam system","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4777261$2CF0D56D-AD4D-48BE-8D59-6390822FDDFD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"236b3d3274f8142a9c9e0b15b6c301648e158180","datavalue":{"value":"0289.02014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4777261$9B16BCE2-89E6-4479-99B9-841F040D5ABA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"689ee5864a4ac38aa9056a91792cef94b685d921","datavalue":{"value":"10.1007/BF02015378","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4777261$48864C76-B6EB-4D65-96E0-3ED3BBA75AAF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c7d35598f1714d10c3581343f7ef77742ea3131a","datavalue":{"value":{"entity-type":"item","numeric-id":3043132,"id":"Q3043132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4777261$13AA003B-E04E-41ED-BDDA-3D3B9A9CB7BC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"718868df62fa29cb04609217d34e1254e53a40d9","datavalue":{"value":{"time":"+1974-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":"Q4777261$0B7922E1-2C79-482C-9571-A1C3788B2017","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d9cf70a52d80da471967e50ad62af89d11a516db","datavalue":{"value":"https://eudml.org/doc/137895","type":"string"},"datatype":"url"},"type":"statement","id":"Q4777261$BF7FB6EB-8BD5-4D21-A792-65BC45FF9AAE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"87f66489f0c14f30094b654591a05fdd61321103","datavalue":{"value":"03B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4777261$0E831CF3-7CCA-4241-AA47-222B8B46AFD2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d931c942e9d1a75693afd15abf941bec7b773ed9","datavalue":{"value":"3453565","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4777261$466F8AF2-A2FF-445B-95D6-7AE9BD1D598C","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":"Q4777261$97CECB5E-118B-4DBE-A3F8-5EFFCD64E23C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"06fb0b94e59c5adb31c73df20ec0bcc54d345cfb","datavalue":{"value":{"entity-type":"item","numeric-id":3246321,"id":"Q3246321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4777261$93546878-0F32-4E17-97D1-37A2252A46D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3c6d07dd80de4de8f6f1d51aa5d78e790a6fd51","datavalue":{"value":{"entity-type":"item","numeric-id":5812175,"id":"Q5812175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4777261$6517D4D3-82EB-48C7-A6FC-97083B903235","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7ad4575fda9e58502e7ca9a0e1b9cb8795b22868","datavalue":{"value":"W2067555452","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4777261$C5FEDCDE-8039-4A55-B2B1-4F7DD71B158E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An extension of the Kreisel-Putnam system","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_extension_of_the_Kreisel-Putnam_system"}}}}}