{"entities":{"Q4874650":{"pageid":6904229,"ns":120,"title":"Item:Q4874650","lastrevid":41752568,"modified":"2025-05-07T23:11:50Z","type":"item","id":"Q4874650","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 871235"}},"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":"Q4874650$59430C4C-E766-40A4-8A7D-9E1C280CA10B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ce64256ee73b6b628a0afe1b2930a3f014735db0","datavalue":{"value":"0842.03024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4874650$B83CE4BB-461D-4346-B44D-9A9C3889B032","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ca60e4abfd0c45cace511a7d7434a08b65f8249c","datavalue":{"value":{"entity-type":"item","numeric-id":763332,"id":"Q763332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4874650$C3E8C14F-CBF1-4D54-BE55-B8221BC8813F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"818d4e227be848826de7c68bd56964bdf6300a06","datavalue":{"value":{"time":"+1996-06-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4874650$B30357FA-13E9-4F23-8C1E-613AD6D39D0F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4874650$58C34631-C55A-473D-B624-77AD13CF6584","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4874650$DDD091B1-FE4C-4819-B228-A8FF740206C9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"97608cc064a66df7aab331a674699ba55e3e33d1","datavalue":{"value":"871235","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4874650$A4CD9917-7A52-4D01-A448-C87615D306AA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1075ae83bdf3d6b15bfb6aea6a06cb70ff90d370","datavalue":{"value":"natural deduction proof systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4874650$ABCF77BF-2A39-43F8-AC8D-722797BD0813","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e40c26e0c0517ba3fd3b25ddd83cdad7abee259f","datavalue":{"value":"first-order fixpoint logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4874650$96A3D445-7ED0-4148-BB9F-303870AAFD18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e70d4337ccd63bd5a94b947eb4b97131d9622035","datavalue":{"value":"modal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4874650$F84A0118-D0C6-4ABC-AE83-B498C30B274E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e9a22e911be59909030f20efe51dab3fd4686dcd","datavalue":{"value":"fixpoint equations on formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q4874650$10E3AC69-8180-4700-8D3C-ACB1B8CC131A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e01c2e9fca6f8eae5967e213326fb0359ea050d0","datavalue":{"value":"logics of programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4874650$4496CAB1-9D15-412F-BF88-14F7CF62030C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48a9d57224b4c90795ed16b4505d8da2503b1dae","datavalue":{"value":"dynamic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4874650$A1028C67-71AA-46E7-B07F-99A9A95DDC81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4874650$88E2FDDE-0361-4AF2-B05A-BE2EBBD52EB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b7662493be8c807e4e49fd26f7b5c47a219f3196","datavalue":{"value":"\\(\\mu\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4874650$B4770BF8-2CFB-48CB-B487-BE150F6BF239","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":"Q4874650$96B8D5B1-C589-4DC8-8CAA-3E59ABA66F94","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d313e7f1c26a2551d6fe06601a87d25385c56f0","datavalue":{"value":{"entity-type":"item","numeric-id":1777372,"id":"Q1777372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10a46de645b399ff73c5b4d9e1c124ab696232f9","datavalue":{"value":{"amount":"+0.93933403","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":"Q4874650$9ECA8B5B-36F8-4DBC-9429-0A026D8306E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4369ff79a108f5e22c0a0b6f7e932f476cb1d34a","datavalue":{"value":{"entity-type":"item","numeric-id":3680812,"id":"Q3680812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d19bd7e87c080650b75df4aff1ece30d954802bf","datavalue":{"value":{"amount":"+0.9287145","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":"Q4874650$0110BA01-4694-4027-916A-B60F76EC7A02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37a76c3b17ea7036c11930d58c15cf275b595917","datavalue":{"value":{"entity-type":"item","numeric-id":3644843,"id":"Q3644843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c2a6ef454f9508737858536102769d1f1f4277d","datavalue":{"value":{"amount":"+0.9233772","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":"Q4874650$EC621385-D049-492C-B728-1C97F8449557","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab61ce7d865a6907d5bacbc5c327202562a7c857","datavalue":{"value":{"entity-type":"item","numeric-id":5039098,"id":"Q5039098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73969af1f0efa287aafd41df5a16bfeb09834450","datavalue":{"value":{"amount":"+0.9220044","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":"Q4874650$EE084B4D-FB93-40C7-A924-37304366A5F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1be5ae1bebf2ff766009419abd2758b8d8096b23","datavalue":{"value":{"entity-type":"item","numeric-id":5213573,"id":"Q5213573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a2b2571e980f5a1ccc2fcd1aac26da0d5023434","datavalue":{"value":{"amount":"+0.9181823","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":"Q4874650$945EA359-E37B-46D1-9441-B76EA0C8AA16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90a813664f4a19b295f60be8e770b0171bd75d3f","datavalue":{"value":{"entity-type":"item","numeric-id":3305619,"id":"Q3305619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c88c58bf17d43e903f7aab29d0a6a84dcee16b3","datavalue":{"value":{"amount":"+0.9168643","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":"Q4874650$B106BA21-9C33-4ACF-94D3-7AE5A30A02BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0243f4d23771544088dce9ece1c4730ffdede91","datavalue":{"value":{"entity-type":"item","numeric-id":1577342,"id":"Q1577342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b83acf1db1e2f3774a5c6724426e7d0ceb3e5358","datavalue":{"value":{"amount":"+0.91534936","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":"Q4874650$EDA3E64B-6734-4019-BCD3-B1AA09FB1A57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4c2f2f39a0c695dbffa7d725e1703c49ea94757","datavalue":{"value":{"entity-type":"item","numeric-id":1891252,"id":"Q1891252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97651e33f54c238836c6ffbdc9dd4469f7b6b297","datavalue":{"value":{"amount":"+0.91510046","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":"Q4874650$00C2A440-EA46-453A-9FD5-77DAA595644B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f31ecd5f0f936f1627b9b3961afe3757d7381b62","datavalue":{"value":{"entity-type":"item","numeric-id":3797160,"id":"Q3797160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cdce682e70bbc428ab16ee0e933e392a8a32ab75","datavalue":{"value":{"amount":"+0.9143402","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":"Q4874650$FFFC7E38-471F-48F9-8783-38226F97938B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00208d8e95432131ada27b43b8097d607ab26759","datavalue":{"value":{"entity-type":"item","numeric-id":2746598,"id":"Q2746598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07c879972c211d6b43b1c2aab24ec2f236d366ec","datavalue":{"value":{"amount":"+0.913103","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":"Q4874650$D001D6F9-70F0-47CA-A9C5-463C168AE0FB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4874650","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4874650"}}}}}