{"entities":{"Q5300895":{"pageid":7330469,"ns":120,"title":"Item:Q5300895","lastrevid":51761534,"modified":"2026-01-19T21:40:58Z","type":"item","id":"Q5300895","labels":{"en":{"language":"en","value":"Realizability for Peano arithmetic with winning conditions in HON games"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6182514"}},"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":"Q5300895$E144ECD6-57AA-4A2C-95BB-5F1CDB2F948C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a1dea64e9919d3203e9443d385b7a9d70739edc8","datavalue":{"value":{"text":"Realizability for Peano Arithmetic with Winning Conditions in HON Games","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5300895$E67B7BA0-D64D-4855-9377-1652CF3E37C8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"523136d0385c32b10bbe5738811762cfacf1bfa7","datavalue":{"value":"1377.03019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5300895$D6948840-D5B7-48F6-ABA5-F944BC07EEA3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4710b44e8684eac470e780701edc1668afb6dfde","datavalue":{"value":"10.1007/978-3-642-38946-7_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5300895$76CCE474-14F4-4315-873E-6220F5B1D470","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e6a7c9fa9dc3fdeaa7fa6fbe2fe38f9449434b88","datavalue":{"value":{"entity-type":"item","numeric-id":345703,"id":"Q345703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5300895$21406A84-65E1-4586-A2DB-79214944A4D3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5300895$B3C66098-078D-41B5-8128-DFA5FC52A94B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b3abb5fb4ae7972a30f51c8d6a09a9ae6d81d017","datavalue":{"value":{"time":"+2013-06-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5300895$8DAC390F-7291-467F-9650-EEADD0185F4C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5300895$A84C1C79-E5EF-421E-AD49-B7C3D0CD9CF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5300895$91F50BCA-AC11-4FAF-99A5-D07CE69E881E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5300895$585FF7DC-90E2-45C5-B728-6C1C38D3A1D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"44bfe90f17a7ad0027a9dbba6d9564554d8f86b7","datavalue":{"value":"18D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5300895$AB13FF69-F692-4D43-8CD7-5203E991AC3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d5c83f057600e5614b7fec59c8e4ac61cb41ba8d","datavalue":{"value":"91A80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5300895$7055CDB2-B0E0-47AE-8A9A-A317D0E614C0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4138e0aaf9439702f68a68b76c8fba0b5658530f","datavalue":{"value":"6182514","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5300895$2A743C67-8C90-48BD-B927-A42205B9A3E2","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":"Q5300895$182F90D3-6DC5-44DC-8BF6-60B2ACAEA8CE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"68a6d8959ce33763fe4340b39ac5ac9703e0de9a","datavalue":{"value":"https://doi.org/10.1007/978-3-642-38946-7_8","type":"string"},"datatype":"url"},"type":"statement","id":"Q5300895$270DD628-9DFC-438E-B1E5-988860434964","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"dc0ae177901ad5dde3a0b2c4d7bcdb38f722612f","datavalue":{"value":"W1261060912","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5300895$6499E8E5-6079-47AA-9715-4052BCF4350B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cdb9f307403d1bbfcc67411d909a1fd37854bf7c","datavalue":{"value":{"entity-type":"item","numeric-id":345704,"id":"Q345704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2e97ab8599b64a5fc505f35c40fc327dd1e08be","datavalue":{"value":{"amount":"+0.9954347014427184","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5300895$02347688-D700-4B2C-AC02-EF8050AAD548","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7691ab4a57caec0bda90e060a83fdf013d327509","datavalue":{"value":{"entity-type":"item","numeric-id":2973242,"id":"Q2973242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f58f53866d177c6d0df5a2b40475c7941dc1b405","datavalue":{"value":{"amount":"+0.8556279540061951","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5300895$C073E345-7566-46EF-AD87-A184486598E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"910c9cce5b7e616f23f6714d9ffc588ab2ed830d","datavalue":{"value":{"entity-type":"item","numeric-id":5360216,"id":"Q5360216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9871221cd544941fc9f877d96472004aefd5eac5","datavalue":{"value":{"amount":"+0.7496650218963623","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5300895$DDFCDDC7-7745-45F0-97DF-C4326E8DFE4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b97ed9fc3bacdb0b98adc91b8ad5a012c0dc0a7d","datavalue":{"value":{"entity-type":"item","numeric-id":1946669,"id":"Q1946669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42002b8ac41d4649c1b9257484f9cd6ce22dc4d1","datavalue":{"value":{"amount":"+0.7427758574485779","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5300895$79E8F552-56F4-42FF-81EB-A0B34F8DCC8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ff9ddc6fe1a55941c90677f589ce0b4da36c7df","datavalue":{"value":{"entity-type":"item","numeric-id":4944901,"id":"Q4944901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7119ff134381407b35d89905a6d0b19f462c7197","datavalue":{"value":{"amount":"+0.7366533279418945","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5300895$DF668EBB-AFCB-4F2E-AD39-C6472A91B939","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5300895","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5300895"}}}}}