{"entities":{"Q3689162":{"pageid":5719068,"ns":120,"title":"Item:Q3689162","lastrevid":50227601,"modified":"2026-01-13T14:14:48Z","type":"item","id":"Q3689162","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3912349"}},"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":"Q3689162$AF123236-B856-41EC-A6E2-A668E7F3C767","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4f9d10b32119a808261354dd2737354ed7c79f35","datavalue":{"value":"0572.03008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3689162$71E5F74C-CD8C-4DC8-8B90-8BC8DA9CE461","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"47f57cd36df9e30d446df3867dc3917e4ea74654","datavalue":{"value":{"time":"+1982-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3689162$A90B76DE-D165-45DA-A34B-0599013187CB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3689162$DC1BF8FC-BC89-45E6-BA22-332D677E4238","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3689162$37D1511D-7C03-4AC5-A4E9-1CC3EC90F9C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3689162$1F9E6015-61DE-4301-8184-3C993BAB73EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3689162$E3533541-A55B-42B6-BD2D-17C0C2404441","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"56a95c8ef1ffac843c418a1210cb829b9d5bb72a","datavalue":{"value":"3912349","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3689162$F3E07BD0-C674-4DAF-87F6-E5D8E3AE9269","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42add9694273fcf9f5c36b120730ac4756fc4b97","datavalue":{"value":"axiomatic systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3689162$A10D8D47-2C89-4A70-BA32-76903A9993E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3c1f897de344e40671927fb871cf39bb8d89fd67","datavalue":{"value":"symmetric regular logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3689162$A901D67C-489D-415C-8B45-321CB033C856","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c6a90df17f6e71ab4f9a0973a36c90d20f16d02a","datavalue":{"value":"inverse propositional dynamic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3689162$A1BA0F07-F53B-4591-A335-30ED06471F10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2a2faf303f989993a1d63975dc22ba73f1afb46c","datavalue":{"value":"conservative extensions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3689162$F722A190-0F64-4C45-A077-1112CBFEF446","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee0a69ba46a5f23ccf6ad83fcf01b7501a19fa4e","datavalue":{"value":"cut-elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q3689162$5ED52CE8-8E7A-48BB-B22B-937E897B9ECB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9e7860b5f5f8e3f51d43313692926606ec1d28de","datavalue":{"value":{"entity-type":"item","numeric-id":1344879,"id":"Q1344879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3689162$CDFC73DD-C41C-4EA6-BA6D-D93C5D3F717E","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":"Q3689162$E93328F0-6379-463F-8F83-1B9657257D2F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"661490dde3d431cdfa96834c184b8b743f3ea63d","datavalue":{"value":{"entity-type":"item","numeric-id":3758809,"id":"Q3758809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9415c0787d70dc7a6b9722492269d51199b83353","datavalue":{"value":{"amount":"+0.7708286046981812","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":"Q3689162$C611892E-8E48-4DEA-8B66-6092A5996EB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a64df18dd0530bf2a60ccb742992f0cb607f4c7b","datavalue":{"value":{"entity-type":"item","numeric-id":4992392,"id":"Q4992392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6fb5bbe3dc5feb1174dc732c01c0a386b1aaffce","datavalue":{"value":{"amount":"+0.7545244693756104","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":"Q3689162$DD214E6C-C71C-42B4-86F8-AA5BBDD593CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"789d1d838d92025bdf935c9eaffd4b1282f54f49","datavalue":{"value":{"entity-type":"item","numeric-id":4295221,"id":"Q4295221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"edd8d845c0e843f6aa54544789c78f1cf19bccc0","datavalue":{"value":{"amount":"+0.7431869506835938","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":"Q3689162$92CC30D2-00D4-4D45-8412-554EAA9CFF42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d449e330b67c1db762bef7ef8feb887512bf38aa","datavalue":{"value":{"entity-type":"item","numeric-id":965900,"id":"Q965900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"edd8d845c0e843f6aa54544789c78f1cf19bccc0","datavalue":{"value":{"amount":"+0.7431869506835938","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":"Q3689162$0E3C2189-4CFF-467E-8564-389B39A9703C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33b1a50d1b3a1a502ea8e44b5e262dde9e24167f","datavalue":{"value":{"entity-type":"item","numeric-id":5452174,"id":"Q5452174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"855ec89b448d2cf73efe2ddae1c58f87c6cf1d37","datavalue":{"value":{"amount":"+0.7375438213348389","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":"Q3689162$BBF0B158-75F4-4437-BD0A-7D62FDBCACF5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3689162","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3689162"}}}}}