{"entities":{"Q4254108":{"pageid":6283709,"ns":120,"title":"Item:Q4254108","lastrevid":46837269,"modified":"2025-12-25T16:56:11Z","type":"item","id":"Q4254108","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1309464"}},"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":"Q4254108$04EEB39F-43E5-4F46-B27E-BF580BAC0216","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fc45132ab4a4cc07ad0b85bf2006612017b9c479","datavalue":{"value":"0929.03026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4254108$DDE7D581-4397-48F8-AD8A-06C061912BC7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"77cf98fac63c3c6c906207a16892916922f8f929","datavalue":{"value":{"entity-type":"item","numeric-id":1409306,"id":"Q1409306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4254108$3A3D448B-ED35-4194-B7E8-3A1FE641A668","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"71d9a55352a0175487e313516c8c126b663aae3a","datavalue":{"value":{"time":"+1999-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":"Q4254108$69AAC3AD-0ABB-4E3D-A394-3C267C10C375","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5de55d9a32a58cf5025f7ea2e9323d2ee8e15a42","datavalue":{"value":"https://eudml.org/doc/195361","type":"string"},"datatype":"url"},"type":"statement","id":"Q4254108$EDB31546-B4F3-49DF-B538-7922B5A5CC97","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4254108$0873E6DA-5C0B-4165-9CF7-E2C0ACDE5788","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b638c7935436ccffba7a737e2b57436cbbd2533c","datavalue":{"value":"03F45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4254108$3D39A510-B881-40C5-88F2-DF097BB3462C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4254108$6D339CF0-FE4F-48F2-9356-D38DE8E8A247","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f86549d6bd9c6fd82ea8257f21c2d5d6ef11b21b","datavalue":{"value":"1309464","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4254108$B0BCF6D7-E1E5-4BEF-B947-88C6297C717A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4254108$375417C5-5553-42D0-AF91-95BF9429530F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce8801d294474a68f6d66c20b2d002a91b14ccc7","datavalue":{"value":"fixed-point properties","type":"string"},"datatype":"string"},"type":"statement","id":"Q4254108$0B7433A5-2DA2-45E0-AE60-615680E0BFE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6c5fe1784dbba99343c48e38b73e4e8b39b66772","datavalue":{"value":"provability logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4254108$E13A88FF-0095-408F-BDF8-E34309E810CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c13a82bf2e1b1ab75cafe6ae8c0b7db004c4fd52","datavalue":{"value":"derivability predicates for Peano Arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4254108$DA1A8A7D-C4CA-47B4-8A63-323B4EEE4585","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":"Q4254108$883474A8-C18B-42DC-8A3E-313799ABCD0A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e107e84381502149eb19d63e420857659cf747f","datavalue":{"value":{"entity-type":"item","numeric-id":1409307,"id":"Q1409307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16578e5eb5d02d73774b2bff0f08a5f7a45c8ba2","datavalue":{"value":{"amount":"+0.9073495268821716","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":"Q4254108$23049DC9-BB75-4DD1-B671-1C77564A5C32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b82186a9444265df0b7a4c90b5d876883297e067","datavalue":{"value":{"entity-type":"item","numeric-id":3060980,"id":"Q3060980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf0d2ae73507b183c91ca85a538a0d22d1cda83d","datavalue":{"value":{"amount":"+0.8102219104766846","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":"Q4254108$1B293799-1E88-4193-B5C5-25DAD7F609F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd45cb9f36132729a99432f45cc43673ae33557d","datavalue":{"value":{"entity-type":"item","numeric-id":5287692,"id":"Q5287692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef231ed2596058344a1d93a28772263558d21b6d","datavalue":{"value":{"amount":"+0.7913334965705872","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":"Q4254108$798BA217-4033-4D32-93C6-EE6CC0289F8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"266ce4026e37f619dcf0c79dcfdf5499bb3cfe9e","datavalue":{"value":{"entity-type":"item","numeric-id":2776807,"id":"Q2776807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42db8a131ca454bc8ca954dc817552cfff4308c8","datavalue":{"value":{"amount":"+0.7871676087379456","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":"Q4254108$15D90D16-70B9-4F40-B31C-B1874237011E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c165bbff6cacf8fbbcec45ad4a4fc8b100e8a4dd","datavalue":{"value":{"entity-type":"item","numeric-id":2433098,"id":"Q2433098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13b6f5c3df6736a48e929c2f7bc02c946a9ab450","datavalue":{"value":{"amount":"+0.7857006192207336","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":"Q4254108$DE260B63-3155-4EF5-8547-83F11F3E075F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4254108","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4254108"}}}}}