{"entities":{"Q377475":{"pageid":379242,"ns":120,"title":"Item:Q377475","lastrevid":51859859,"modified":"2026-01-20T10:12:44Z","type":"item","id":"Q377475","labels":{"en":{"language":"en","value":"On predicate provability logics and binumerations of fragments of Peano arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6223054"}},"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":"Q377475$82B664F5-B186-4B98-806C-A0EBA26D747F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2eb7f8e7addd9aefa177deb16a267150cb76544a","datavalue":{"value":{"text":"On predicate provability logics and binumerations of fragments of Peano arithmetic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q377475$EFCAEB5B-0897-499C-AED3-7724E2129906","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ea6ee0f981bf06e26fc9e0c2eddf7fe4a8e9d77f","datavalue":{"value":"1388.03058","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q377475$4FBC054A-AB57-475B-A65C-A4981B06BC32","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"128c2b12d65261607bd53a5a5505e34270780d7e","datavalue":{"value":{"entity-type":"item","numeric-id":312495,"id":"Q312495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q377475$2C54E374-6ACC-4E56-8C06-C17B00681C01","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q377475$94DA94F8-7223-4335-ACCD-7195E7FA90DC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"102ef688e1f1ee42ad21d8460f0995ebefcc5ee1","datavalue":{"value":{"time":"+2013-11-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q377475$452578FA-EF00-462A-88E4-1B05681FDF96","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b638c7935436ccffba7a737e2b57436cbbd2533c","datavalue":{"value":"03F45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q377475$1CFEA334-4F76-4469-AD5F-9B671A7EA396","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q377475$BA0337D4-4FFF-4181-91F1-30B26DFDCA2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q377475$8435BB45-D0C5-4A61-8DD7-278719B85B06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c44e4550b60355cc572c6c4d7a5a72dc0832c1d0","datavalue":{"value":"03F40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q377475$A6464382-962B-45E1-8C6D-D041487999F2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d3e0de91c246676d36b024edbbd3f4dbbf5edbf3","datavalue":{"value":"6223054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q377475$E5DB57D2-9866-406C-8CC0-6C6066BBEF59","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f8d8b2ba2dab9cd7a0abecc72ba85c506d4e76ba","datavalue":{"value":"provability logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q377475$55F59307-060D-4A8C-A96D-A9419538324D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9914ace600fe82478c3798b2d72eaecf38356bf8","datavalue":{"value":"predicate modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q377475$A245D435-9A4F-42CD-A1CF-DC518268B5D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b7bebb7432c97f7be3aab507b0cc47903033f5c","datavalue":{"value":"fragments of Peano arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q377475$1D025BAD-0D0D-4204-9300-44EC769F88E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f5568241c0a4b0e077d2f292bb3e97bbc67d608","datavalue":{"value":"binumerations","type":"string"},"datatype":"string"},"type":"statement","id":"Q377475$27E56BFC-B616-4934-951C-1403F2BF4310","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":"Q377475$81812467-0E2C-45FE-BBFE-3001F78FEE25","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5b9443597671f1623d2fcd1c4d24c98546d7eb9d","datavalue":{"value":"https://doi.org/10.1007/s00153-013-0349-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q377475$C7D7C0F7-641F-4795-AD59-AA7F1C636F56","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3a82d966f351f06b09a479eab7bcc84d37dba13d","datavalue":{"value":"W1981681786","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q377475$2150EBAA-DF7F-45DF-B5E3-C5EC33673264","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"845969487dd8e0c91747e5b0285df64cc79ce670","datavalue":{"value":{"entity-type":"item","numeric-id":4397069,"id":"Q4397069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q377475$A73E10D0-40A2-4492-A43D-CE2D3D48918D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed62b11fa5ca9bc652f9dc5559868ec0fc881d75","datavalue":{"value":{"entity-type":"item","numeric-id":800346,"id":"Q800346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q377475$4777BA04-66BF-4545-9FEB-5240848AE2ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6368fe1ece1e76810d2cfa685335364aa401c990","datavalue":{"value":{"entity-type":"item","numeric-id":3273298,"id":"Q3273298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q377475$A3F1084B-3CEB-4757-9880-4D5EE9B9AE1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dccf19753fdc4aceb4fe2e72e418d7c4420dcc62","datavalue":{"value":{"entity-type":"item","numeric-id":5286672,"id":"Q5286672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q377475$D478BA34-FA11-4662-AA61-88963AF8867D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad6ebf27c05ea7fb08e6180cf24f5d8e2bdf2041","datavalue":{"value":{"entity-type":"item","numeric-id":4918381,"id":"Q4918381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q377475$4C28DCA9-97D9-418D-8E7F-CCCDC3CB6951","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"939bb175e94564ce4bdc5eb26ddf0a3180c8f37d","datavalue":{"value":{"entity-type":"item","numeric-id":4354788,"id":"Q4354788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q377475$F8ACDD7B-8E9A-4015-9AE4-E461E5C53CE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65af634f8ea04e9717486b98f2f6b61acf5b154f","datavalue":{"value":{"entity-type":"item","numeric-id":1235695,"id":"Q1235695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q377475$F184D65D-B4FD-423E-997E-EDC803FE4D66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0cf0f0361f6088836a7c4b387112946d3604b02","datavalue":{"value":{"entity-type":"item","numeric-id":2501168,"id":"Q2501168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q377475$F2AE684A-B9CD-4D61-A2B9-C10DEB4327C6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c4ce3dff4a702e98d19cc33400f281a9ca270c08","datavalue":{"value":"10.1007/S00153-013-0349-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q377475$1FEBB6AE-2AF7-42D3-AB41-E15C140872F0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6005b88badd1d5d65fa1000e0dac197b7ae652f","datavalue":{"value":{"entity-type":"item","numeric-id":4692089,"id":"Q4692089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12805659bbb83686fed09095b77b2280e87fea98","datavalue":{"value":{"amount":"+0.8077133297920227","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":"Q377475$F1C79C7D-2432-43E4-9A98-FC52D347C42F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5de23aebabd33253baf63deae4f5e29c291ae6e","datavalue":{"value":{"entity-type":"item","numeric-id":3809769,"id":"Q3809769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"34100ff91ff9cdb32704399c7b198ad1ea1f494f","datavalue":{"value":{"amount":"+0.8012846112251282","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":"Q377475$4945CEE3-2533-4372-B815-D84FDCCB916B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"358ae4f0a526c674fc95bdebe5d97060ee3ba2b9","datavalue":{"value":{"entity-type":"item","numeric-id":3816054,"id":"Q3816054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72fdee2a51a3b1f7c63ce382d86a3aadb3876ac9","datavalue":{"value":{"amount":"+0.7933778762817383","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":"Q377475$EA89DECC-F572-479E-A72D-D3B098318B70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b826ef5cda30a1157e287a75867f2245504cb11f","datavalue":{"value":{"entity-type":"item","numeric-id":1176101,"id":"Q1176101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"387b0ff63d142c6dfccb97bd40742c9ed85d0a25","datavalue":{"value":{"amount":"+0.7923780083656311","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":"Q377475$CCD93B20-7E84-45D1-AD48-496ADD357B88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92bb06fe855bce19479d9b431caa37291ef90a74","datavalue":{"value":{"entity-type":"item","numeric-id":3757914,"id":"Q3757914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4d22adffb93457ff35fbc642751bbefd8932aab","datavalue":{"value":{"amount":"+0.792108416557312","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":"Q377475$51BF51BA-FFA8-44D6-B6D5-D427363A259D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:377475","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:377475"}}}}}