{"entities":{"Q4018076":{"pageid":6047857,"ns":120,"title":"Item:Q4018076","lastrevid":55191319,"modified":"2026-02-04T15:21:40Z","type":"item","id":"Q4018076","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 92610"}},"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":"Q4018076$BC59EB21-170E-4CCD-A026-442AFC45E0E0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1e6596bfe81038383b01fdd528ed7eb15c6de09f","datavalue":{"value":"0763.03015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4018076$6A3AFF7A-E82B-4EE4-AF48-3E8D04830E93","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"be1a65edbb43ce1fc59464f99e70afbd93e8e2a0","datavalue":{"value":{"time":"+1993-01-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4018076$0FDF520E-E9B7-4782-89A0-B649E5A11C9B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4018076$3D06FA4D-0990-467D-A204-E9E945290BE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4018076$866E3E7D-7498-4B75-A8AF-C2008EB5CAED","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bc76e4ae1ed2a39314690049519c12895ff6a6d2","datavalue":{"value":"92610","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4018076$96343DC6-EC71-4AA0-89DA-4D32CB04F1E9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a5eef9a7839e51aae1829128fd74061b3797fc5","datavalue":{"value":"propositional dynamic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4018076$C2CE501D-5F68-4C93-BFD0-978BDDF94034","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4018076$18559614-3714-4F6D-8E47-FDA648E8A1E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c81921dca099f4e206959be52d60c9825608fae9","datavalue":{"value":"bi-modal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4018076$09ABFA09-3276-4679-8D2E-327E8BED4A50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3930cda7796bb0132c25235180129fc25b1457a1","datavalue":{"value":"inductive modal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4018076$26C6E1B3-EE1E-4E87-8FB1-6A450E7EFE99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6757fe8c8a7cbeffaed545fdacc76c535f990aae","datavalue":{"value":"Segerberg's induction axiom","type":"string"},"datatype":"string"},"type":"statement","id":"Q4018076$E3791E3E-D3BB-4B0F-BF75-1DB509037805","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4018076$7F9D2136-BD98-4450-BDC4-ABDE79C85798","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"05bdd07461d09bc38695333a1cd0618fef804a5b","datavalue":{"value":"filtration","type":"string"},"datatype":"string"},"type":"statement","id":"Q4018076$B2A33AE8-CE12-4B27-80AC-922ADB5D1B1B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a7ea5f16cc816facd5f588acca584d7c7aab2792","datavalue":{"value":{"entity-type":"item","numeric-id":454384,"id":"Q454384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4018076$C199FD96-997F-45D7-A82F-43C1C7A501D9","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":"Q4018076$58F9167F-A22E-4CDD-84E4-923811BA77D5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f7c50f86989a0fe95ab6f8ce156dd3330afd887","datavalue":{"value":{"entity-type":"item","numeric-id":5104707,"id":"Q5104707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65fc1572e073595bf5311a14fd402daa5861fa35","datavalue":{"value":{"amount":"+0.9665487","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":"Q4018076$37875671-568A-4880-A0C4-4E6D081FE23F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd7a841a86783f5686af0b03a5c7a0eac4f68324","datavalue":{"value":{"entity-type":"item","numeric-id":5146596,"id":"Q5146596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0820cca616cc40e7eea2f547ba2320c501688622","datavalue":{"value":{"amount":"+0.9424114","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":"Q4018076$41F11838-49B5-4F1D-A948-23C3B8C3310E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf6a8b1eba1d345e2100aa9c795e19e1684d80e2","datavalue":{"value":{"entity-type":"item","numeric-id":2883116,"id":"Q2883116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0820cca616cc40e7eea2f547ba2320c501688622","datavalue":{"value":{"amount":"+0.9424114","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":"Q4018076$96395EC2-EAFA-4CCC-B0A4-5EA8BAE7A12E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa577837323dba6d3743f445f82119f1c8bf8da8","datavalue":{"value":{"entity-type":"item","numeric-id":4942002,"id":"Q4942002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"043f0b40f73e575a02d8aee3415144e3f96be0d7","datavalue":{"value":{"amount":"+0.9333011","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":"Q4018076$0B8A88C9-9DA7-400F-8A1F-7D214C21D544","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85cee13b933501a840e0563ffba6f61f83ca0188","datavalue":{"value":{"entity-type":"item","numeric-id":4817192,"id":"Q4817192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b524e0a6354b197b13ee21b681b7ca6d1b06a50c","datavalue":{"value":{"amount":"+0.9244089","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":"Q4018076$6843C684-36AF-4CA3-8788-E7C2709D2219","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3af91b9b2afe043dfb4abf7d85dc66b028648be1","datavalue":{"value":{"entity-type":"item","numeric-id":2744124,"id":"Q2744124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b524e0a6354b197b13ee21b681b7ca6d1b06a50c","datavalue":{"value":{"amount":"+0.9244089","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":"Q4018076$996DBC1D-D716-4199-A14B-E8E3480121C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a007750dc527e0cbb7e0bc2b2c346bebfce94685","datavalue":{"value":{"entity-type":"item","numeric-id":3128959,"id":"Q3128959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b524e0a6354b197b13ee21b681b7ca6d1b06a50c","datavalue":{"value":{"amount":"+0.9244089","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":"Q4018076$C1CDF5EF-A304-429A-BC83-46398C0F1B3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a0b0ce6ef3bb346ac15cbb17532a398c57a7108","datavalue":{"value":{"entity-type":"item","numeric-id":4532193,"id":"Q4532193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b524e0a6354b197b13ee21b681b7ca6d1b06a50c","datavalue":{"value":{"amount":"+0.9244089","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":"Q4018076$A62C5D86-9AB2-4EB8-AA88-F71818C1ACF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a856558ad6609962880603f82817da18b242d77","datavalue":{"value":{"entity-type":"item","numeric-id":3126406,"id":"Q3126406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"307d8844b9a2fc17a24dc68756a24c676c0fff4d","datavalue":{"value":{"amount":"+0.92246616","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":"Q4018076$17B61109-F091-41B0-8386-9FA8D33B9435","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25def5dae799f8738005f23beea0ae868fdfcd37","datavalue":{"value":{"entity-type":"item","numeric-id":4250037,"id":"Q4250037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d01e68648feff4e5ea2f92a193c61395dc7e011","datavalue":{"value":{"amount":"+0.9224661","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":"Q4018076$E5526A00-456A-4838-AB6F-6142C079091A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4018076","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4018076"}}}}}