{"entities":{"Q3085171":{"pageid":3095886,"ns":120,"title":"Item:Q3085171","lastrevid":45414664,"modified":"2025-12-07T15:09:55Z","type":"item","id":"Q3085171","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5872415"}},"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":"Q3085171$BE5F5647-22AD-455E-873D-2EA64FA6DD9B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"97b09f69848964c1d54ebefdc90a2d06fe26b967","datavalue":{"value":"1244.03070","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3085171$C9240F2C-AEBB-430A-8CBE-306B12F40CFE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f3d44d2e806c94564ac8ed3016d0ed20fdb29f21","datavalue":{"value":{"entity-type":"item","numeric-id":490671,"id":"Q490671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3085171$9616B1FB-54D8-4A4C-9B71-5B4505CD3A59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"614c0b0861d24ad38328ff9e52eacffff0d055a7","datavalue":{"value":{"entity-type":"item","numeric-id":2321272,"id":"Q2321272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3085171$1B5D9DF0-667C-4749-AECE-915FAE946CA8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7689f7450ca45c5720e9af63718c2696a88f018d","datavalue":{"value":{"time":"+2011-03-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3085171$A4333E82-BAB4-4BDE-9A5D-300791ADF1CE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3085171$92DCFCDB-530D-47B5-878A-B2BFCAE51B87","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fe261b331c0ce245dfdbea7ed47d9c38d0dad46b","datavalue":{"value":"5872415","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3085171$373F923D-4A8A-42B1-804E-385B8BA852AE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf27b6e7b72a61e367a54b87ef15419606d20968","datavalue":{"value":"Lindstr\u00f6m theorems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3085171$2A32EC28-4B24-4518-8ED3-D6A2FF6DAC17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3085171$CC52F7D3-3B21-4C0D-AC51-7F139F187021","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7bf200f42ee767590ef5a5488fe98149520d41f1","datavalue":{"value":"bisimulation invariance","type":"string"},"datatype":"string"},"type":"statement","id":"Q3085171$DF613BF2-C45C-4C08-81FF-BEEB00AE5DFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d64ca6f53acf429cc126edf70c03b7f98198789b","datavalue":{"value":"global modality","type":"string"},"datatype":"string"},"type":"statement","id":"Q3085171$F990A7C5-53AF-4B04-9464-9E6BCE0C4FAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"46cacea7dcf4d7bc803743d9b6041adf255334bb","datavalue":{"value":"guarded fragment","type":"string"},"datatype":"string"},"type":"statement","id":"Q3085171$A5D0BD7D-E5E1-4AA2-941E-C32EAD1ABDBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e008662fc81c36b776c5930ab556502efa1b872c","datavalue":{"value":"Tarski union property","type":"string"},"datatype":"string"},"type":"statement","id":"Q3085171$070E1FD4-D603-4C63-8EDF-61C3C270B547","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":"Q3085171$7B70FCC7-811B-40DE-A7FD-D410F5D4BF21","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e05d265e41e9fcb0d646d5435bfdbfd6f623ca6","datavalue":{"value":{"entity-type":"item","numeric-id":6169327,"id":"Q6169327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24ea443ca06b047454db2f1787865326299f3af2","datavalue":{"value":{"amount":"+0.8743066","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":"Q3085171$46D5DD27-FB65-43D0-8E6A-4D4A49BE0C4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4816a0b60d9a6780536f9218d9afce81847f48df","datavalue":{"value":{"entity-type":"item","numeric-id":1886323,"id":"Q1886323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce6a2d9b25b542838f51cd4f509f1cd5c245be71","datavalue":{"value":{"amount":"+0.86885715","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":"Q3085171$A30A6611-2E75-432C-9B6B-F4EAC41DE2B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73490b2cde8853a5dfd12f43df9c00f4229cf594","datavalue":{"value":{"entity-type":"item","numeric-id":3577747,"id":"Q3577747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d993129d6899744ec1983f2e18cb91bf17b9d34","datavalue":{"value":{"amount":"+0.8657416","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":"Q3085171$A467C6AC-5401-4CD8-8656-D090B7CAA23E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"abe943cbf6e238a22b9a5983cb2e1f12e06be1b9","datavalue":{"value":{"entity-type":"item","numeric-id":4644509,"id":"Q4644509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1757065ac59355d905c2b4baeac73422225aad7e","datavalue":{"value":{"amount":"+0.86570287","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":"Q3085171$B4FB24C2-2E27-443D-94D6-3F609D0AB8DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14831d2027db8a13d78a2961dc6bb1f3a733e9eb","datavalue":{"value":{"entity-type":"item","numeric-id":1267082,"id":"Q1267082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32ba62f9f3eba2b8ce0b4825a4b1bfde9e9b49c4","datavalue":{"value":{"amount":"+0.86370486","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":"Q3085171$18573771-1C33-482B-A7D9-113EC1A00271","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f07bd15c6033ec473a36c7267b0557db66d05a59","datavalue":{"value":{"entity-type":"item","numeric-id":2786907,"id":"Q2786907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92cb2a6a0a489503a6584ea26277629c7bbf2635","datavalue":{"value":{"amount":"+0.86095625","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":"Q3085171$57436E89-B922-41A0-B3FE-AEE6826F11A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cbd668a72999afe950907b2084dfc4639b76a7f8","datavalue":{"value":{"entity-type":"item","numeric-id":5271085,"id":"Q5271085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17a7637c792e40e85047a7154492fe9c079172e3","datavalue":{"value":{"amount":"+0.8597685","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":"Q3085171$6E1272D3-2796-42B7-9F80-F71D1543A67E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b51364195bde17eccc5a5a81a56c3a8b8514939c","datavalue":{"value":{"entity-type":"item","numeric-id":3395097,"id":"Q3395097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e298dd4655435a775d83c9cd5e239aa2257c08e","datavalue":{"value":{"amount":"+0.85881686","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":"Q3085171$81619209-8842-4961-8685-10DD1DEC8A43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32da014e27af5b8721b1d32334147627c3a21ba3","datavalue":{"value":{"entity-type":"item","numeric-id":5483012,"id":"Q5483012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3da7e60289c021e9e9e63512d58df16c96231cf4","datavalue":{"value":{"amount":"+0.8584661","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":"Q3085171$85665E87-4236-4B58-B17E-9136DDE2EDA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cfff814db920018e3510bb2ea304c35890b23bad","datavalue":{"value":{"entity-type":"item","numeric-id":3498476,"id":"Q3498476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"182293a958c99065b8f103e1e3a8175a466f046e","datavalue":{"value":{"amount":"+0.85701454","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":"Q3085171$28925E30-288A-4F59-B3A6-48B40BD8679C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3085171","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3085171"}}}}}