{"entities":{"Q4893140":{"pageid":6922719,"ns":120,"title":"Item:Q4893140","lastrevid":47411821,"modified":"2026-01-01T16:23:41Z","type":"item","id":"Q4893140","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 922620"}},"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":"Q4893140$F8217FC9-883D-41AB-B3FE-B3D30F03B2A4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8489df242069f398dd009217a653d154acce8207","datavalue":{"value":"0854.03026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4893140$B360C76B-CA73-41EC-A9B9-71B76B57D792","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"74e30887b1661f9905213e819a799c929192d3a6","datavalue":{"value":{"entity-type":"item","numeric-id":190340,"id":"Q190340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4893140$4F86BC77-407E-4FC7-87DA-3494F2A60A88","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"caff57f721dbff6a8dd47fa98fb79e0c3d56a4b4","datavalue":{"value":{"time":"+1996-09-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4893140$61C6FADD-E10A-4DF9-AC7A-E72D2744F5C7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c1d2d83da0d870574277144fdd1db9abaae162ec","datavalue":{"value":"03C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4893140$6849E647-E227-4288-9614-3C92FE8AEA34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25e5a5f23d3e2e2c05864da16eda493011c33276","datavalue":{"value":"03C80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4893140$61732AA5-DB24-4891-BDE5-DACC0397B16A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"176e47af9f9e7cf4ebff07fc1f9e4f94a83134c1","datavalue":{"value":"03C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4893140$FB0D5C32-F8D4-4F7F-9079-0B025ABAABB2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4a0a8a7316c51f28811c4498aa786aa61f17fe28","datavalue":{"value":"922620","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4893140$E7BAEEA1-CB3A-44A2-8C83-F98A29A3C846","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"066345834ce35a3f9005e468be9585e6c3822e2c","datavalue":{"value":"uniform interpolation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4893140$D2C10D68-B94B-443C-B35D-6D653EFEE4D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91445d454e88289d0cc1d387d2de4793c00e67fa","datavalue":{"value":"bounded bisimulations","type":"string"},"datatype":"string"},"type":"statement","id":"Q4893140$99624603-2194-4A5A-AB7B-3F82221165B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9494572a727d4fbc7eb210a420d2228514cb938a","datavalue":{"value":"quantifier elimination for bisimulation extension quantifiers","type":"string"},"datatype":"string"},"type":"statement","id":"Q4893140$5D0E81B0-16D6-4770-A98D-B524004D96CF","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":"Q4893140$53AB4A4E-690F-409D-B175-0BDCA0268135","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31a66723d39af21b716aa0696f74d721ec8b3a83","datavalue":{"value":{"entity-type":"item","numeric-id":878154,"id":"Q878154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"139d40d3e815b6bb572d347986ca671575393bf5","datavalue":{"value":{"amount":"+0.8513546586036682","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":"Q4893140$721DA7F1-C231-4C95-A950-43768F221C2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f96cf457d3b33a953fc5ad72fe5f3ba1b4c33e82","datavalue":{"value":{"entity-type":"item","numeric-id":3613043,"id":"Q3613043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10a0d8667f1b92fbbdbda62e0bba002a50a61530","datavalue":{"value":{"amount":"+0.8378596901893616","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":"Q4893140$D63A454C-6ABA-4EAF-8FE8-28FB35A0AC35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fedf073a5c734d8bf55a1ac6fc1c007b7a2fc787","datavalue":{"value":{"entity-type":"item","numeric-id":3647242,"id":"Q3647242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bbfd6a987d3338c5f3687fd4596aec6182394b61","datavalue":{"value":{"amount":"+0.8228455781936646","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":"Q4893140$8A561DA9-3079-43DD-9489-A84E6B0B01BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12cc7025f751df15f9ad5bdf9f063cb1a1245751","datavalue":{"value":{"entity-type":"item","numeric-id":781510,"id":"Q781510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb2a28baf39119813bdadc9b21796cf21a0b6528","datavalue":{"value":{"amount":"+0.8138408660888672","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":"Q4893140$9F1B5E58-1357-4A96-A924-7E7378CEC234","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04225f4473bb0d2061fc7a79e5131680e65f419a","datavalue":{"value":{"entity-type":"item","numeric-id":2904063,"id":"Q2904063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f4d47274e213704c1d267916cac3e4463a5cbff","datavalue":{"value":{"amount":"+0.7983514070510864","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":"Q4893140$E24DB0CD-DF38-4CB2-83CA-D97455BF188F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4893140","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4893140"}}}}}