{"entities":{"Q5453494":{"pageid":7483053,"ns":120,"title":"Item:Q5453494","lastrevid":96364472,"modified":"2026-06-05T11:02:53Z","type":"item","id":"Q5453494","labels":{"en":{"language":"en","value":"Interpolant-Based Transition Relation Approximation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5256509"}},"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":"Q5453494$2DAEC9FE-5561-4E9F-8EAD-4286ADCEE482","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e487bf13f56d5345855c04020206764c7752dac5","datavalue":{"value":{"text":"Interpolant-Based Transition Relation Approximation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5453494$6D146BCC-6E67-4294-A317-137F9A4F2EB9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"99b1bf4511748528f7691fb1dd28ffce3f0d48c5","datavalue":{"value":"1131.68062","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5453494$4861B5BD-0003-44E8-9EDF-7906762C1994","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5dba032edc1a8e6efdb3b83b1f5d771addde6727","datavalue":{"value":"10.2168/LMCS-3(4:1)2007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5453494$82DA4C13-9A24-4C58-BC70-F97D02DD886F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2109ea3ab29767c79eca725b68331d0c21a9a6f0","datavalue":{"value":{"entity-type":"item","numeric-id":2225085,"id":"Q2225085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5453494$8D91C351-18B8-4592-99DE-4FD92DB14F2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"57a84b3343ed70002617a9eb1439c18c15bac9ff","datavalue":{"value":{"entity-type":"item","numeric-id":934708,"id":"Q934708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5453494$F1F2267B-BF41-440D-9AC2-5F62D1917B3A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5453494$BEF4D53B-AE87-4E74-BF8D-81E104F92D36","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"198ebadd055eae6a54aaf8b4ed7b348339bb3788","datavalue":{"value":{"time":"+2008-04-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":"Q5453494$AF1D0993-0CB2-4E8A-AF9C-76036FED261B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5453494$0F524BB8-71EA-46AB-80F5-05A15183A47D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"689b42647ed8d9f3a379211b75c46f6f41161dbc","datavalue":{"value":"5256509","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5453494$CBE21257-2DDC-4456-A671-B6C9439C2A91","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":"Q5453494$BA0B3634-C3B2-4772-8770-E1570EB40B71","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2fed9e46683736c689febd4389dfe6f5b4b3ffcb","datavalue":{"value":{"entity-type":"item","numeric-id":5716597,"id":"Q5716597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a999bc7e3bc9b89cd2e48f379fb6e817e4a64a62","datavalue":{"value":{"amount":"+0.9999995231628418","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":"Q5453494$46DE1EFF-FAB5-4C1D-87D0-C9680E4A6F44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e4e7b3b28fc678d1e76705f917d4311751cfcba","datavalue":{"value":{"entity-type":"item","numeric-id":3656880,"id":"Q3656880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5437775cc6a1896e4eafd5c03655e7c346c2bbe3","datavalue":{"value":{"amount":"+0.8186761736869812","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":"Q5453494$6FFA90DF-0752-432A-A9B4-A0EA49546370","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"176ad676256d70e6de51bb6da4f7f4c7779216e8","datavalue":{"value":{"entity-type":"item","numeric-id":5452708,"id":"Q5452708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08ea784acb6df233c132d6b23dd16f3baa6dab9a","datavalue":{"value":{"amount":"+0.776508092880249","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":"Q5453494$D06DAB95-FE2B-473C-B12E-489A2421450E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cdd4cf7bbbfb99f3d4855a1a4e443e817c997ae8","datavalue":{"value":{"entity-type":"item","numeric-id":3452263,"id":"Q3452263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9aff6710dcb0b047273f02b20a2d9cd5bc89063d","datavalue":{"value":{"amount":"+0.7526666522026062","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":"Q5453494$6194CDFE-AE9E-4E85-BC59-5519C0F21066","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18177d8357753c8dd75456ee7c56c747f213d512","datavalue":{"value":{"entity-type":"item","numeric-id":5308422,"id":"Q5308422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b519c1aa7296d514d927434ad4086f9b304517c","datavalue":{"value":{"amount":"+0.7502792477607727","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":"Q5453494$F89A198C-57A6-4943-A6AF-260969591F97","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Interpolant-Based Transition Relation Approximation","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Interpolant-Based_Transition_Relation_Approximation"}}}}}