{"entities":{"Q4035302":{"pageid":6065022,"ns":120,"title":"Item:Q4035302","lastrevid":55235806,"modified":"2026-02-05T04:06:27Z","type":"item","id":"Q4035302","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 176198"}},"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":"Q4035302$AF4443F3-9225-40EB-8FA9-C6BE48ABD7CF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"02bd2292881b670fd675e32a8e5675f11386a89e","datavalue":{"value":"0764.03021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4035302$FDD3DA6F-3105-475F-9DFE-016359B814D0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"abd8d5e490ea4daf6d00f9dd2f897565e059b6cc","datavalue":{"value":{"time":"+1993-05-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4035302$1ACF9992-BDA6-4D91-B2B1-9FDF4F447271","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4035302$E5A28062-1D9F-4C69-BC91-F291E2CD815B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"31eb4b2fe460225d8220386b6d12b964cafd1ca3","datavalue":{"value":"03C62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4035302$151F3062-0594-47C7-B04E-AAB7AFA814C8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8b3ff07b844e0a2914cf4d7427fb4b9dc2c3e625","datavalue":{"value":"176198","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4035302$E11E4167-B675-4763-8FD2-38CA8DDB5994","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"45cc74cb18d7e6cc373dccfb4357d1918be88ab1","datavalue":{"value":"intuitionistic fragments of bounded arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4035302$505B3503-C32D-4A04-9B50-120E5A6759B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"000d054838ba79f1c83227281d29722f07d85a76","datavalue":{"value":"Kripke structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q4035302$45580E1B-99D2-427A-8266-CA64C1FABB1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4035302$3DD5F348-96B6-40B9-982B-E23D97C5E4CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe51228e17b836f3520db7bc0de40e5086eebee3","datavalue":{"value":"soundness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4035302$0D7A94DD-F230-4295-8EC9-AEE39333A5DE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"556b5f897f5d545f04c26b56d4624f5cc4b2661a","datavalue":{"value":{"entity-type":"item","numeric-id":195654,"id":"Q195654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4035302$97483550-F101-4BF2-B5F8-BED88FA2D10B","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":"Q4035302$890ED484-99FB-4B65-BDFC-F7659DD620D8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9eac18e289762dfdbe681fd12b15d498424dee2d","datavalue":{"value":{"entity-type":"item","numeric-id":5393641,"id":"Q5393641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ecf5516c16a6ff7f3902d1b6aceb0ec7bdd0cb36","datavalue":{"value":{"amount":"+0.9756018","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":"Q4035302$43EFF547-532F-4848-A94C-9C5535E26FC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0794ddcdac09dfd873783111772c3f983fa5b0d0","datavalue":{"value":{"entity-type":"item","numeric-id":5477454,"id":"Q5477454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30c31f7b662907f07bc3b0e880e13ca48331df23","datavalue":{"value":{"amount":"+0.9409139","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":"Q4035302$7E673318-B74C-4B06-A7E2-F33EE4F3D6CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48bc64bb0f7ebf905e20cba0dac02c05a1701629","datavalue":{"value":{"entity-type":"item","numeric-id":3128124,"id":"Q3128124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4da79f3b6c7c785065ad5154306bc813cb1ceebb","datavalue":{"value":{"amount":"+0.9149928","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":"Q4035302$F976D588-1662-429E-860E-F680B711400A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"616ab76eab966f6c6a6441da808485224a21b7cb","datavalue":{"value":{"entity-type":"item","numeric-id":3520239,"id":"Q3520239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d4b34ddb0a46a120cfbcc99613c63b9c82019ea","datavalue":{"value":{"amount":"+0.91426915","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":"Q4035302$E6B7CBD5-7C44-4411-9940-E4C6C1B3A49C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a2f9922d5061b80fae17ab5f2047cc077af168e","datavalue":{"value":{"entity-type":"item","numeric-id":3684111,"id":"Q3684111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa36422ab3906317205a693c38e6ae34b1cedea3","datavalue":{"value":{"amount":"+0.9140107","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":"Q4035302$778BCE4B-43CE-49EC-B5F2-68C581681617","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5163a827293768332d0de49092eb375740de60d5","datavalue":{"value":{"entity-type":"item","numeric-id":3509169,"id":"Q3509169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d26e9e81285238449a4b6eda44da81cdcacccb9c","datavalue":{"value":{"amount":"+0.9052925","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":"Q4035302$0D533CC4-6468-4267-95E0-BCF6A8572861","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6139eb162ffafedfc84c8624167295d89372d593","datavalue":{"value":{"entity-type":"item","numeric-id":4264539,"id":"Q4264539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9cab56b506f8a758b627cb5108a014e5027658f5","datavalue":{"value":{"amount":"+0.90034807","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":"Q4035302$498147A2-ABA3-4047-AA0F-AFAFD97385C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18b8c98cc5d2a750a906a9b581298ea515071834","datavalue":{"value":{"entity-type":"item","numeric-id":5687313,"id":"Q5687313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ded0de5e74fe085be0d911a54d2f581eca943599","datavalue":{"value":{"amount":"+0.89969194","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":"Q4035302$86B7B378-F188-4B0E-943B-3B1535D8262B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d1a2d58d571d070913960c80cac8bacc5787644","datavalue":{"value":{"entity-type":"item","numeric-id":3682483,"id":"Q3682483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"169db67ea0fdf618f0db1daeca8814975cbec46e","datavalue":{"value":{"amount":"+0.89597607","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":"Q4035302$F3DAE505-038C-417E-B69D-553283964870","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"938df091a9def9716d44a9dbbee15649598abaee","datavalue":{"value":{"entity-type":"item","numeric-id":2937693,"id":"Q2937693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4725e637da432891231fce710b4095ae46d66614","datavalue":{"value":{"amount":"+0.8904462","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":"Q4035302$9639F786-64F3-44C7-B548-212BCC86D14C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4035302","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4035302"}}}}}