{"entities":{"Q1140629":{"pageid":1151378,"ns":120,"title":"Item:Q1140629","lastrevid":66224064,"modified":"2026-04-12T08:22:58Z","type":"item","id":"Q1140629","labels":{"en":{"language":"en","value":"On two problems of Harvey Friedman"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3679788"}},"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":"Q1140629$281C0EE4-9C22-4711-AAAA-D5D47D2585B5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5bd3e39d90d0965a5c73dd2a998f0d82f92d4e37","datavalue":{"value":{"text":"On two problems of Harvey Friedman","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1140629$659D7263-4FD4-4D93-8E38-B5E7EC50F45F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6248c1919ad43be179bc98deac27b817742987b5","datavalue":{"value":"0436.03018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1140629$81200DCE-ECCD-4ABF-A29A-613A509EEE32","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fc515dfd6c8d49c16a92ad2dc94af7ee4de393a0","datavalue":{"value":"10.1007/BF00405383","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1140629$D3A08132-7C1D-4D24-B913-E954DCEB86F6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"29cc63dfea9ef7bb420fe3e5ca2f392db64ee7d8","datavalue":{"value":{"entity-type":"item","numeric-id":1140628,"id":"Q1140628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1140629$0AB9FBBF-0A25-4AAF-A114-716C6AB22153","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1140629$8F299BB6-AE95-4C1B-B88B-367A8A4C5DB6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0b87f78dda5694898cc127305eecf88680ce6c83","datavalue":{"value":{"time":"+1979-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":"Q1140629$B5C6D693-2254-4CAB-9247-17A4C7BC0154","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"87f66489f0c14f30094b654591a05fdd61321103","datavalue":{"value":"03B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1140629$2212A6B6-D94E-44F6-9F7D-E4374DD7CEFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1140629$892D6DBD-C9DF-413B-9960-964DDD4BE18C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"399a00c41ff64158e8f6b2878bcf82e308084033","datavalue":{"value":"3679788","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1140629$6812EFF6-5DEA-4146-8132-EC6B008FBF1C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"abc29cf2be1ad7f0de43f63f1285a5e30c5e9ff1","datavalue":{"value":"structurally complete intermediate logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1140629$917D3E39-788F-4C66-9F61-CEECFE670ED6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3020c5a082e5813cedace6da7c6bdd6690dd9fb5","datavalue":{"value":"disjunction property","type":"string"},"datatype":"string"},"type":"statement","id":"Q1140629$B7DD7517-6C23-47E1-AD64-DE005D850259","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"82fa00e4070550855fdc2a07c49cf60c36e4faee","datavalue":{"value":"Kreisel- Putnam rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q1140629$2046F085-32A0-4598-9763-017422DD26F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"681e3b83d10da1c3c6a3afd83a30f71e30287a59","datavalue":{"value":"McKinsey-Tarski translation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1140629$246B272D-76F2-4B6B-91CB-844124F9DEF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"118c5084da3c7e94b439b8a9cc50bcfd225ab56d","datavalue":{"value":"Hallden complete modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1140629$3A048749-EF8A-4CC8-82D0-79D2750E8593","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"7265005971010d951eb1dbfa73764ea3b598cf6a","datavalue":{"value":"Q56474454","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1140629$9A14D2ED-5DEB-47A8-8DA6-95F9126DCC8C","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":"Q1140629$7BDDC59C-D67C-4177-8169-6F0E0FB163AE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"450ff4101819de0e4417c076932f8fb04360f092","datavalue":{"value":{"entity-type":"item","numeric-id":4079563,"id":"Q4079563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1140629$4209ABCD-85EE-4477-A280-F4B7DF8C884D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24f052a64cf669c48b098163e065f113a757924c","datavalue":{"value":{"entity-type":"item","numeric-id":3278334,"id":"Q3278334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1140629$871B4720-AA1E-4FC1-AA4B-B9CC5A966E2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40bf03b14ee12a3cdbc67fa7b1fe5ffcff272071","datavalue":{"value":{"entity-type":"item","numeric-id":3851084,"id":"Q3851084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1140629$32DB3AF0-3A6E-4477-AE78-9F02FC62F7FE","rank":"normal"},{"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":"Q1140629$E219AD8E-B4C9-4F8A-968F-8175C7E7F9A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d59fcf5819c4ce029268d5faf59b08c132aaf38","datavalue":{"value":{"entity-type":"item","numeric-id":2538110,"id":"Q2538110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1140629$9876152D-0010-424E-ADA0-45CAC918ACC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9b98f8f613033d46de8fdd5c10d1101f5756b9f","datavalue":{"value":{"entity-type":"item","numeric-id":5823271,"id":"Q5823271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1140629$98A5FF75-6CB9-4795-8BBB-6829679727A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c3a48dc71ab7bc77b1ce9ffe6a02b960104792e","datavalue":{"value":{"entity-type":"item","numeric-id":5796041,"id":"Q5796041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1140629$8BFC63FE-37DD-43A4-8CB3-5DF149C2C1CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0309c0557f9fc758ee71fe6eb1957c36e39215a","datavalue":{"value":{"entity-type":"item","numeric-id":4133597,"id":"Q4133597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1140629$CEA072BD-2C8D-4EA2-A544-39687B3E5C17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"307e631928f27ac094789f4f70de2452f467d0ce","datavalue":{"value":{"entity-type":"item","numeric-id":3856774,"id":"Q3856774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1140629$AF57FA8A-72FF-4CDD-9484-004F2B795D39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a54b9e308c7141029e5e3f531ea2cf0f5ed21631","datavalue":{"value":{"entity-type":"item","numeric-id":1214924,"id":"Q1214924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1140629$54C72BA2-6AE7-4E5C-88AD-3554D6B4FBBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98782dca1b1c9d3479c56bc90f4cd51924e8bc96","datavalue":{"value":{"entity-type":"item","numeric-id":5734410,"id":"Q5734410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1140629$699364AD-CC4F-40C7-995C-F7C6807241F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"308073133a440bc56451dfd8bd89c90c2af65f65","datavalue":{"value":{"entity-type":"item","numeric-id":1229698,"id":"Q1229698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1140629$591018F6-BBD8-439D-9018-DF4C7BEBA6EA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On two problems of Harvey Friedman","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_two_problems_of_Harvey_Friedman"}}}}}