{"entities":{"Q3274971":{"pageid":3285679,"ns":120,"title":"Item:Q3274971","lastrevid":56671653,"modified":"2026-03-18T15:44:06Z","type":"item","id":"Q3274971","labels":{"en":{"language":"en","value":"An application of games to the completeness problem for formalized theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3157164"}},"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":"Q3274971$4DD01B90-57A1-4977-B69E-61EBF4E4F1E5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"21f41f737b7169bf6c1383e6c5a5b939ebacdc68","datavalue":{"value":{"text":"An application of games to the completeness problem for formalized theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3274971$0C3EFECF-8A00-4844-B8D9-B9DE8DE84927","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"05ece7ce233b9b329a6a5718b862c9c029c1a60a","datavalue":{"value":"0096.24303","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3274971$F7825D71-E0BE-4AEF-8315-8EA100B477A6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d67134b63b86a737cbf981df8b43b8283dfbeaa9","datavalue":{"value":{"entity-type":"item","numeric-id":294724,"id":"Q294724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3274971$775A5C02-72EC-4F39-B408-87A5252B771A","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":"Q3274971$D3F2FEEE-6FB2-486D-9CB8-015D2E5A2537","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b733604afa3a648384279f872bdd54e6b747380d","datavalue":{"value":{"time":"+1961-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":"Q3274971$47A2D7F4-64CF-4937-A226-5A5719E7C136","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"731a70b807ad3e372f5ab7871e7ff2aa3081e68f","datavalue":{"value":"https://eudml.org/doc/213582","type":"string"},"datatype":"url"},"type":"statement","id":"Q3274971$599D5FC6-1C06-4061-A092-E55211457C83","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d8684b5145b47c33fa28a147b08e7344a0c52f91","datavalue":{"value":"3157164","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3274971$295E808D-CFAD-45B0-AFA4-09A6F55BD3B5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2e52d3efb7f97d74890a026183b5a92a080ef346","datavalue":{"value":"philosophy and foundations of mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3274971$27ACA7F0-A6DA-4791-BC4C-BF020049B231","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":"Q3274971$54932960-CD6A-4036-B5C9-50548F3F16FA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e61e3b185aac1bdacfa142a6ebb652254dbb67fd","datavalue":{"value":"W1555138513","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3274971$B51105AD-789E-450D-A270-7BB7B0E2C271","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8621b93a2a4d7d30b9aa6aefe16673e803945751","datavalue":{"value":"10.4064/FM-49-2-129-141","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3274971$E9EA11C4-D910-4E1A-810B-275128034010","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":"Q3274971$0542A7D6-D447-472D-A438-305EFED95CDD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3274971","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3274971"}}}}}