{"entities":{"Q5419879":{"pageid":7449453,"ns":120,"title":"Item:Q5419879","lastrevid":41848053,"modified":"2025-05-09T00:37:19Z","type":"item","id":"Q5419879","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6302903"}},"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":"Q5419879$84A02450-25B9-4211-B744-40A46FAD70D7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"00efcd49157ff04548c916c9ac76f8ab38670b8d","datavalue":{"value":"1301.03063","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5419879$EA390D74-6665-4BC8-AA8B-70B041C3D4D6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0ec2ee5f3fb3ad4b04ebc27b1a49c143dcadb098","datavalue":{"value":{"entity-type":"item","numeric-id":385071,"id":"Q385071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5419879$FC5A1928-B227-429D-8A83-73EB15E4E1B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2188a88b6674acb5d2901ff8f3d0f4e479b75adb","datavalue":{"value":{"entity-type":"item","numeric-id":385072,"id":"Q385072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5419879$59DA05E8-6EE2-4B9A-B8B1-A79E3695E073","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"43778674c2b2702627340bb6c16c332cef55ae85","datavalue":{"value":{"time":"+2014-06-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5419879$BA41E57B-B6C0-4E12-83A8-772B78B206EC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b638c7935436ccffba7a737e2b57436cbbd2533c","datavalue":{"value":"03F45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5419879$945B6D1D-7DD2-4860-A4B3-5B1182758B65","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bac80d7456f4774e7adb7f7ec989a570c3f33ba1","datavalue":{"value":"6302903","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5419879$5B728B49-D109-4C0A-9992-F9D00ADE4CDD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5419879$8162D270-B513-4588-BD1F-0E93A7CDBE4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5419879$A44D97A2-0702-456C-8BFC-28918ED11AEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4078614c737f77e34731be764c56affada452b","datavalue":{"value":"Kripke models","type":"string"},"datatype":"string"},"type":"statement","id":"Q5419879$E3A822E7-CADF-4B24-9E75-F14F2CC3B630","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a998147d443972c872aaa14b9cc1780ab934e26","datavalue":{"value":"transfinite provability logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5419879$B2DD5510-132C-4280-9FA0-FECBDC40F82A","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":"Q5419879$13C99ECA-4B9F-41D5-B737-FD0F7E8BB656","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1eaf2aa6dfbd45412019c03011961f4a9ad602b0","datavalue":{"value":{"entity-type":"item","numeric-id":5300077,"id":"Q5300077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7dbb3d68631e20b8c9918a5d350ec9d272c82e81","datavalue":{"value":{"amount":"+0.9650897","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5419879$F684D8F5-D427-4518-B465-022A044474AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d457e7ee95b83a8eae90882e9ec091e36dc8cb29","datavalue":{"value":{"entity-type":"item","numeric-id":3211282,"id":"Q3211282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f46e58a92ff0877e23b1e72d467550a5592e44e4","datavalue":{"value":{"amount":"+0.95235085","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5419879$93DEC557-2BE3-4E78-9F11-B170CEF16B95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"234a4596465ea31e00245da18ccd8e2692e13815","datavalue":{"value":{"entity-type":"item","numeric-id":2449857,"id":"Q2449857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2a5b287614f51a8593b433ada05e5cc1e583733","datavalue":{"value":{"amount":"+0.91479456","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5419879$EBAA139B-D437-4C35-B300-582C44D44954","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a7c1973bcff90f91dd9f036fca74c5b9ea86a7f","datavalue":{"value":{"entity-type":"item","numeric-id":1271561,"id":"Q1271561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17036263bbb32891b86eaa4e857070c246889ade","datavalue":{"value":{"amount":"+0.9125552","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5419879$FEAD235F-782C-4157-907D-F91A47EB2080","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0108300adc6ece2b5ea582a3150c11ec47889494","datavalue":{"value":{"entity-type":"item","numeric-id":1295382,"id":"Q1295382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e41b89716657219306901c108166911eb9852dbd","datavalue":{"value":{"amount":"+0.9090564","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5419879$11DCC008-EFFD-4C45-AFAB-A2D126BD27AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ae55e810a28069cad266a25d02d642a90ea38ba","datavalue":{"value":{"entity-type":"item","numeric-id":4011718,"id":"Q4011718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60706cd0bbc9553c4fde861498d6a56126963e57","datavalue":{"value":{"amount":"+0.907088","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5419879$AA0A3262-CD13-46CC-80A9-8513CCA7456E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8218e59ae286c562334b203388247726e58e9477","datavalue":{"value":{"entity-type":"item","numeric-id":4299137,"id":"Q4299137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a64b8c81696cebf4e566133a8e2401e6321b735b","datavalue":{"value":{"amount":"+0.90317094","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5419879$F3297730-D6E2-41A8-8299-1E810419BB32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"881bd68086e292c713738bef1403838214e75b72","datavalue":{"value":{"entity-type":"item","numeric-id":3138010,"id":"Q3138010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df8b44a1991c2a89a9da6b10305a4cd5146f82d6","datavalue":{"value":{"amount":"+0.9026371","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5419879$4A20FEDA-328D-4383-B0B0-1FE984674A14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dcaf5dcbbc41b337e20d7a68e812ee7476d08ba1","datavalue":{"value":{"entity-type":"item","numeric-id":701294,"id":"Q701294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf74a6ed1bb4ecadb177fd0d19380e444148dd7a","datavalue":{"value":{"amount":"+0.9019005","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5419879$40755F81-8115-4024-A512-032C46851416","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f223f8f230b2e5ab77e1e5965fa86b0b5aa75c0d","datavalue":{"value":{"entity-type":"item","numeric-id":749522,"id":"Q749522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ec8517afdd11f22d856b9e798d30e13603f2dd0","datavalue":{"value":{"amount":"+0.9006828","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5419879$3B86B6DC-2665-4F17-AF8B-F215CC6F88D1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5419879","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5419879"}}}}}