{"entities":{"Q5656759":{"pageid":7686319,"ns":120,"title":"Item:Q5656759","lastrevid":101572745,"modified":"2026-06-06T01:42:09Z","type":"item","id":"Q5656759","labels":{"en":{"language":"en","value":"Models of second order arithmetic with definable Skolem functions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3387338"}},"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":"Q5656759$9E111079-ED9A-4F91-8BA1-8CFAFB769F08","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"32c3da18aaf816292d622624a1e76ba6a35b938c","datavalue":{"value":{"text":"Models of second order arithmetic with definable Skolem functions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5656759$00DD9316-9DEF-4287-9F19-4749735DA57A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4d16361d7ba3d1ced09e928c892484fa1f554356","datavalue":{"value":"0245.02049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5656759$6D440DD9-9009-48B2-BE6F-11CB50ED6056","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2cfa96b896b4870aef46c7c53449a86ee7b9e184","datavalue":{"value":{"entity-type":"item","numeric-id":767733,"id":"Q767733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5656759$7AB01087-BAF0-443B-B9EF-59F68F87E1F9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"5797d223f34682fa810388331056bbf163f31972","datavalue":{"value":{"entity-type":"item","numeric-id":559381,"id":"Q559381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5656759$D3241B28-875B-4169-A39D-D795114BFAF7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4bb0eaa1d64c683ee03edf396d2a33ea56290ca3","datavalue":{"value":{"time":"+1972-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":"Q5656759$05A5989D-7E8F-43C3-8C5D-4986B682B0B6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"93e9479a344a4efb1e3f8d747dec2b9ccfec6d51","datavalue":{"value":"https://eudml.org/doc/214436","type":"string"},"datatype":"url"},"type":"statement","id":"Q5656759$95ABF1DB-69F3-48FD-908D-C622B12818A0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2c8fe0e0d9053b9c71e705326a25639cfa34093d","datavalue":{"value":"03C68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5656759$1A6C3B41-8B46-4188-936C-4D9E80B66B74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d09d696fa357365f057a7c984fce6a109a5f7b70","datavalue":{"value":"03C60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5656759$84E450E6-AA4B-41E2-A37E-B12B1AD12720","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"933c6ba8322680c85da12d59920a0a8822c2db22","datavalue":{"value":"03E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5656759$ECC107C1-1106-41B3-AAD1-870A80ADE6D5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5e32c0d7c0784aaf59ed26b861f5eddfccda139f","datavalue":{"value":"3387338","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5656759$F66EDA80-F65A-4992-BFC4-293410D6B3B0","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":"Q5656759$46F57730-0AFD-431F-A639-30BD02360152","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c1fcb68e19a2e65e3968315c63d117c8e7bfee34","datavalue":{"value":"W3022466966","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5656759$F8D11D61-AC18-4A4D-81E5-9C49BC59EA58","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"58ad36d3984bd42f761aadd525f12917a04607df","datavalue":{"value":"10.4064/FM-75-3-223-234","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5656759$B3A31557-B4FB-4EC6-83CD-BFED3F2B732F","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5656759$86E7C843-55E6-4224-9F3C-8FF9106F7975","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Models of second order arithmetic with definable Skolem functions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Models_of_second_order_arithmetic_with_definable_Skolem_functions"}}}}}