{"entities":{"Q4247086":{"pageid":6276687,"ns":120,"title":"Item:Q4247086","lastrevid":46824345,"modified":"2025-12-25T16:18:20Z","type":"item","id":"Q4247086","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1301861"}},"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":"Q4247086$B41E6281-0F61-4D71-89DC-5E46F7233745","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"35f9b01191287a7d93d54d9726d11a5b89eaaf25","datavalue":{"value":"0927.03028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4247086$FC640D80-4721-4AAD-A353-48871ADAA7C1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"225fef1dc921d02fe56fa0a1d63051aa43de90eb","datavalue":{"value":{"entity-type":"item","numeric-id":2753880,"id":"Q2753880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4247086$D6BCE705-EED4-4C28-9535-302D2D121622","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4d6597da175fde1cefc44d8076e4392944f389be","datavalue":{"value":{"entity-type":"item","numeric-id":4247085,"id":"Q4247085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4247086$238E6C53-58E3-4836-A94A-59546617EE4C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c2c35fb8a8597468e70992cceb470233a004c261","datavalue":{"value":{"time":"+1999-12-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4247086$C5979D9C-969A-4255-8E25-1C3EDE44C232","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4247086$E9AC1631-871F-43CC-AA15-8AD302C72696","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4247086$6BA0531E-77A9-4E81-BA3F-3B879F60519D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4247086$3ADE3BEB-E62C-4E92-9FBE-B599C2AD3EF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4247086$8BA74BBE-0881-4EB0-A6C9-AB9D7D579065","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6f34008fbb00ba0b9ff666a8296e8880423be03b","datavalue":{"value":"1301861","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4247086$69734D7F-EECA-4064-9405-CB7EF847D165","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"73f877e2f1bc95df5bf8181b9880837b7bf0c2ee","datavalue":{"value":"interactive theorem prover","type":"string"},"datatype":"string"},"type":"statement","id":"Q4247086$BE4858D1-20B5-41EC-A6E7-9B0E9DD41833","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df1edaeddee64594d84836f6e81940b1399276dc","datavalue":{"value":"relevant logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4247086$09F8D719-803D-4A77-9424-72CB2419AFBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0179c11b620ab3d836a73c4e6e82bf8a434c8240","datavalue":{"value":"possible worlds semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4247086$54B7EDF9-FE46-4E58-923C-B7D6B76FD83C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ee62c2c4515efcba453f790d7547c6c4e5bf1f5","datavalue":{"value":"higher-order representation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4247086$061A1E2F-AF5C-4D6B-9381-96E6CB1E1A91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5343ecd15a8e87cb138c7d9e4c8f0d52a5afdb65","datavalue":{"value":"HOL","type":"string"},"datatype":"string"},"type":"statement","id":"Q4247086$46AB3884-8DF2-4EC6-B5CE-EBE438367840","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c5fcda2c98ddff866834785339eb37077e5eb1fe","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4247086$1085A608-8F6C-4DB1-B009-44385678B9B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f231912461a4cf859d87b4356c5e2a2037e1e84","datavalue":{"value":{"entity-type":"item","numeric-id":17631,"id":"Q17631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4247086$694872F5-DF13-4345-9E45-FBB008779868","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0709695994923c5ba76dabc568d464eda2daaeb7","datavalue":{"value":{"entity-type":"item","numeric-id":35806,"id":"Q35806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4247086$727A7E6F-FB79-4740-AD5F-AF21B56555E2","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":"Q4247086$F20C7306-5232-4CEC-9C26-A468DBB963E1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8019b479b34bcd67e6a47f9c5d967927262b4a79","datavalue":{"value":{"entity-type":"item","numeric-id":5004953,"id":"Q5004953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d31a332c03a63fba548abe3c1d37d14ad7df691","datavalue":{"value":{"amount":"+0.774823784828186","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":"Q4247086$58F932BE-EBDA-4117-AF44-F67DA04B198D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9db09a7fb68a35978bf8fa26d9ca51fa460cb0e7","datavalue":{"value":{"entity-type":"item","numeric-id":4450440,"id":"Q4450440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b81218a5c884482c588a2f309ad459accdd03ddc","datavalue":{"value":{"amount":"+0.7362521290779114","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":"Q4247086$8DF39D4A-AFD5-4E18-B232-806781B11D1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a42c4a9d6c15cdbbd91944aac4b9d8b23c319f43","datavalue":{"value":{"entity-type":"item","numeric-id":4032669,"id":"Q4032669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d4c8db7f809ad99a550499cee6cc1aa1959f063","datavalue":{"value":{"amount":"+0.7331276535987854","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":"Q4247086$A2D7AC34-479C-4199-99A5-F622D41DD7D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08191f53c385bffdb393e5fd926ff67f63a11cbd","datavalue":{"value":{"entity-type":"item","numeric-id":2735806,"id":"Q2735806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71533fe312dc19f139d08940699efb3e185e9279","datavalue":{"value":{"amount":"+0.7327236533164978","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":"Q4247086$72CAB556-86E9-494D-81B5-81A65A0B6439","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4247086","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4247086"}}}}}