{"entities":{"Q5483014":{"pageid":7512574,"ns":120,"title":"Item:Q5483014","lastrevid":49894750,"modified":"2026-01-11T18:23:19Z","type":"item","id":"Q5483014","labels":{"en":{"language":"en","value":"Filtration via bisimulation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5046367"}},"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":"Q5483014$140CB61F-946E-46C8-9360-B5A291CEE12F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cea868d649f89f505cdd18f1b1c732babf7ca773","datavalue":{"value":"1102.03021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5483014$16525F14-FDC2-4C24-8847-390725FAED1C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b54eb6f24cdec251693dac073683f53f8dacf64c","datavalue":{"value":{"entity-type":"item","numeric-id":472807,"id":"Q472807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5483014$FC37796E-27B0-4A38-B603-62EC69A04981","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3cbb3254b31442e822e7981595599f2c0a13db67","datavalue":{"value":{"time":"+2006-08-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5483014$7E8BC8D9-625A-4B46-B049-7FED326AF147","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5483014$0AA78A54-9629-4F27-80A0-7E82424CA9DE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"19dcccf6a3b71cf9820146f3d917a4bb90ad9ec9","datavalue":{"value":"5046367","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5483014$D44BB0A8-0757-45A6-AD74-2A7D5218B3FE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5483014$2E4B0B7E-57E8-40F6-851F-F42F9907C2DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c8e8acd84b89e6ac3d5aca9ddf85d36f88dc879","datavalue":{"value":"large countermodels","type":"string"},"datatype":"string"},"type":"statement","id":"Q5483014$039B4552-3C8E-4938-983E-CD84A1A5C692","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc481c9956349136fb46ebae74b8442d2d25b871","datavalue":{"value":"finite model property","type":"string"},"datatype":"string"},"type":"statement","id":"Q5483014$01F14831-8CE9-443D-AC0A-683413261CEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c7e97315ad5b66228e5a7bdc4c765a681216d8c1","datavalue":{"value":"products of modal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5483014$A417804B-9E5F-4488-86B8-135D42469A19","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":"Q5483014$5ACC6B06-DA51-4720-9A9B-C6942F41E011","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4242f82e5665baa972259cc9fea136df212e05c1","datavalue":{"value":{"entity-type":"item","numeric-id":5176659,"id":"Q5176659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56229f523828f1ea7de8ea8968e571ae37fab2e3","datavalue":{"value":{"amount":"+0.8255923390388489","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":"Q5483014$B9A14D41-04F2-4F68-A994-A7A4FD013C8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b27bb369d98eef9b9ef7987251391366bf0c54cb","datavalue":{"value":{"entity-type":"item","numeric-id":2827954,"id":"Q2827954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5ffa698bd3ecc29a9404dee9b7646d4ba7bf165","datavalue":{"value":{"amount":"+0.8243552446365356","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":"Q5483014$352C53B5-5391-42F1-9A56-FA535F4ECFD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c970910aa478c5b0f3c67d3ca23bb81421fc1c71","datavalue":{"value":{"entity-type":"item","numeric-id":4636310,"id":"Q4636310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66066005010e525a855525b29bb8138c1e6fcca6","datavalue":{"value":{"amount":"+0.8073446154594421","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":"Q5483014$33B12CB9-4CA7-4B2F-AE41-E7BD2231B3AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85e203576af7cb752d07a419a1f099184f056bb5","datavalue":{"value":{"entity-type":"item","numeric-id":4636301,"id":"Q4636301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a032c7476f1583f494316f0e2d45c5d196e79db7","datavalue":{"value":{"amount":"+0.8059917688369751","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":"Q5483014$77F6F2F3-5E6F-4D3F-BDA7-667125116740","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dccc9f89cc1c0388ec252c1099066ad638eb9d56","datavalue":{"value":{"entity-type":"item","numeric-id":3642988,"id":"Q3642988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0d1814c20e6a4bb8332df350a8ea189f91d97c6","datavalue":{"value":{"amount":"+0.8054853677749634","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":"Q5483014$DFF62E04-CB76-40E7-AA5D-17988583F86D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5483014","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5483014"}}}}}