{"entities":{"Q5221592":{"pageid":7251162,"ns":120,"title":"Item:Q5221592","lastrevid":53699630,"modified":"2026-01-25T14:06:30Z","type":"item","id":"Q5221592","labels":{"en":{"language":"en","value":"A semantics for in-principle provability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7184890"}},"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":"Q5221592$9405E8D5-ADE9-47D3-9DC6-621573A14957","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4cc997aea93c7c6cef1cf19e017ea3feab4b8774","datavalue":{"value":{"text":"A Semantics for In-Principle Provability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5221592$901F8D1A-DF06-4A86-9298-42F852988171","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b05b6d94b6a40c7d43a26fd07f5c62988db3c541","datavalue":{"value":"1433.03142","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5221592$AA7758BC-DD35-4E5F-A647-B8AC6503F5DD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ba5d2959cc44d707618cd5df40a749aa031d11ff","datavalue":{"value":{"entity-type":"item","numeric-id":3094187,"id":"Q3094187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5221592$20460138-E6E3-42D0-856A-0092ED91FDA6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"933486030b3db1079f150f15c508d35175708ee0","datavalue":{"value":{"entity-type":"item","numeric-id":5221588,"id":"Q5221588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5221592$62CA17E3-EAD8-4D76-A57B-574719FAFAE2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cd3630e05975afdb259b29d18d30bdf474d1aa0c","datavalue":{"value":{"time":"+2020-04-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5221592$4DA554E4-3E0E-44C6-B96D-28768E289D8F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b638c7935436ccffba7a737e2b57436cbbd2533c","datavalue":{"value":"03F45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5221592$8B7206BE-C924-46D3-A336-72C9371D9E3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c44e4550b60355cc572c6c4d7a5a72dc0832c1d0","datavalue":{"value":"03F40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5221592$7922699E-9318-4C5B-BAA7-4F6A898257ED","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"add0d69774ebf824893011619e543205c67fa355","datavalue":{"value":"7184890","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5221592$6F6667F5-0E98-4A6F-8A7C-32B4226E85D7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"74ca24ba072ab1ccc574e4af480b59f681d2caa4","datavalue":{"value":"absolute provability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5221592$426015F5-217B-40D2-92C9-07B65EDC377A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b8b589384ac66b263de8aa34139fd488c1344be6","datavalue":{"value":"intensional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5221592$5FDEA592-50BF-4378-9F75-7517D32225D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cebe07eb653012d0c37e78b8a43bcff268c0de2d","datavalue":{"value":"epistemic mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5221592$ECD3FBE4-BB50-49A2-9359-F7143FEF79B0","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":"Q5221592$1D7B4048-688F-4387-9B9B-52A9154B52C6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9a169210f444cc6ae952c62d508a7fcdaea9fecb","datavalue":{"value":"https://doi.org/10.1093/acprof:oso/9780198759591.003.0005","type":"string"},"datatype":"url"},"type":"statement","id":"Q5221592$5DE871C8-03F8-4549-B05C-CE2E1DE86704","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"311a0c5ccb76ad351ed43e12757e0020e1961261","datavalue":{"value":"W2554348196","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5221592$59531E25-8C18-4CAF-8D6A-C06C321AE92E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d0a404313dbe3bb394515de9fc673e1c543a6a9c","datavalue":{"value":"10.1093/ACPROF:OSO/9780198759591.003.0005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5221592$49D421B4-DB23-48C5-8198-EF9540D2B7E9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9fa56757b47fdf0e00e70f1bde9ab2bbd14c40ce","datavalue":{"value":{"entity-type":"item","numeric-id":1263587,"id":"Q1263587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"093c0657de14f4b6daebc3e89f9dbb6b9e68fc66","datavalue":{"value":{"amount":"+0.7691709399223328","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":"Q5221592$6EDE0966-6E62-42D2-86F1-C2771AA8E561","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8bbae2c87ead9fdcffbfb32c5176647f4ebba876","datavalue":{"value":{"entity-type":"item","numeric-id":1094407,"id":"Q1094407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c54cfd89c66f39d35c549c6110cd9c15d3aa0f8","datavalue":{"value":{"amount":"+0.7497245669364929","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":"Q5221592$091D40C8-62DE-4DCA-9A08-BD6A0B6BD911","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85f481103611de5705d96a631213d560a40f8bc9","datavalue":{"value":{"entity-type":"item","numeric-id":4803960,"id":"Q4803960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c5beb4cc808d55379c72b506e86f8117b872608","datavalue":{"value":{"amount":"+0.7476815581321716","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":"Q5221592$A14562D7-F604-42BC-8134-12DBFE9732D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa6bd98da1bbdf3497e1b51e04ae382691b0db12","datavalue":{"value":{"entity-type":"item","numeric-id":3101071,"id":"Q3101071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7e6dc255cfb5b4017f098f6a9e982f3ec47767d","datavalue":{"value":{"amount":"+0.7464473247528076","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":"Q5221592$41112508-F9DB-4842-83C6-8DC3D077387B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e185f1be58a99673434b8d1b47cd779abe9cc2eb","datavalue":{"value":{"entity-type":"item","numeric-id":5221597,"id":"Q5221597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79911e2db070c2dacf24c9fdba0c37c83bf7985e","datavalue":{"value":{"amount":"+0.7449609041213989","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":"Q5221592$B2C9E877-9832-4C9A-BEA9-13AB3832AF22","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5221592","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5221592"}}}}}