{"entities":{"Q6546447":{"pageid":14157601,"ns":120,"title":"Item:Q6546447","lastrevid":55671250,"modified":"2026-02-17T20:45:12Z","type":"item","id":"Q6546447","labels":{"en":{"language":"en","value":"A bounded model checking technique for discrete-time nonlinear systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7855856"}},"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":"Q6546447$9DD92562-8B7F-44D9-B275-EAADACE2E933","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"795e8f1fa2a908ba2e2936244c378d5ff2bf94b3","datavalue":{"value":{"text":"A bounded model checking technique for discrete-time nonlinear systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6546447$E8481834-6FAA-4795-A7AB-E6807E25044A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"378ebd0f5179d92a37fd453add01e5438bf88800","datavalue":{"value":"10.1007/978-3-031-43835-6_5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6546447$AEA3B219-34FA-467B-B8B0-D6B1D2347F11","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e57507c35f4ca94183703ddae4f33cafd6b23935","datavalue":{"value":{"entity-type":"item","numeric-id":2234090,"id":"Q2234090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6546447$B762103C-8FCF-46D7-8E62-E8CB7DFEA687","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3ac5d72dc82d80a692370f9be2d83e2596bf756f","datavalue":{"value":{"entity-type":"item","numeric-id":545131,"id":"Q545131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6546447$8AF123E9-631D-4C85-BF80-AA98B32D0548","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5bd3869bc3ccb0a873a984a806d7689b9c2afe97","datavalue":{"value":{"entity-type":"item","numeric-id":2764141,"id":"Q2764141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6546447$74E5445E-6489-40F0-B7D7-025F03884EDF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2c775b7be76488bf652b31b8283b5e517156ef32","datavalue":{"value":{"time":"+2024-05-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6546447$938B1D66-9BAC-4D1E-A845-C87BE9FD3810","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"39a0025ac480893a6c3723330b06364463bbd01f","datavalue":{"value":"93C55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6546447$E0B2FB7C-9824-4E60-9251-871A5DBFC74C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"559e9e993b5739992d837c78bb1ff74a483fa093","datavalue":{"value":"93C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6546447$71BEA1A2-06FA-4499-8BB7-F9C3A61B3058","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f47b8551cfcd2e27e18ae083a8521741e193efcd","datavalue":{"value":"93B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6546447$29C7F698-CFFF-44A8-AF66-AD1B7748C115","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"07dc25860f850581687d0f55039ea13853bedfda","datavalue":{"value":"7855856","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6546447$A8370FC3-C405-4CA4-9C0D-BDDD30B3359B","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":"Q6546447$488061C2-79B4-4998-BA6E-9167F8B2AC15","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6920ce6a126f18e82d65e8effcf860c634e06c34","datavalue":{"value":{"entity-type":"item","numeric-id":1322162,"id":"Q1322162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6546447$E0218F22-9E41-42EB-8384-1DD1BBB2AB47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b0c7436976c5b9893e05c1462fed16a80d7904d","datavalue":{"value":{"entity-type":"item","numeric-id":5322945,"id":"Q5322945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6546447$7B32A6D6-116E-45BD-B942-0E7FFAA798E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95e05874adaeb011a4cd5b67d5ea8904bc3c7223","datavalue":{"value":{"entity-type":"item","numeric-id":1090654,"id":"Q1090654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6546447$D7F8E0DE-BAE9-47DD-B80F-0F0A712C6799","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0abdd406e7aec40790f3fe183b128ec872cef1a6","datavalue":{"value":{"entity-type":"item","numeric-id":4724466,"id":"Q4724466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6546447$76225B69-F90E-4C06-A043-66A475E09850","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abf5667edd20bf607f41849b86ac22a0984c3e35","datavalue":{"value":{"entity-type":"item","numeric-id":883144,"id":"Q883144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6546447$1389E004-5812-44B5-B52C-574DD857ED28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9609fda2f0935bb8cd423d77799bb741e5862be3","datavalue":{"value":{"entity-type":"item","numeric-id":3900559,"id":"Q3900559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6546447$9DD28A4B-5C70-4BB4-BA8C-61178108823D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20088838b4f3ffa48f33c282f01143698cba154d","datavalue":{"value":{"entity-type":"item","numeric-id":4978661,"id":"Q4978661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6546447$8BA2FD2C-11CE-4A4C-B497-2DE8AA1D03BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"043b92649e7ff029c15ec8b6960da0e04c1ae254","datavalue":{"value":{"entity-type":"item","numeric-id":4503930,"id":"Q4503930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6546447$45F62B95-BA13-4E94-AEEA-FA9EAC68FF66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b1964c95e59063e92317da65c8b196839c0f5e2","datavalue":{"value":{"entity-type":"item","numeric-id":4974124,"id":"Q4974124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6546447$4BBB1527-B268-4633-9C5D-70DEBB2F350F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6f719ece3bd7d435197cdea3754e2944a3a9b0c","datavalue":{"value":{"entity-type":"item","numeric-id":2982511,"id":"Q2982511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6546447$4BE48BEC-E9D3-4305-BAEA-3810241699B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"786d8ece5c1dae7e7cb18e339912f7de915f3e86","datavalue":{"value":{"entity-type":"item","numeric-id":2234091,"id":"Q2234091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6546447$5926BA8C-0345-4E21-A256-C0E689CF98EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fd141145e8ea8fb37817516875d456dca78935e","datavalue":{"value":{"entity-type":"item","numeric-id":1856195,"id":"Q1856195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6546447$2CC33E28-480A-4288-88E2-D22A8039CCE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c8ad98750fcd08c9a8f3be99c0b013a08ae3ff9","datavalue":{"value":{"entity-type":"item","numeric-id":5353268,"id":"Q5353268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6546447$8A0E82FC-A715-4A73-85F1-C454886CFFFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d5eb573f82e366344add49075d7077ddcf4dd70","datavalue":{"value":{"entity-type":"item","numeric-id":5452193,"id":"Q5452193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6546447$BDA6CE34-F9D9-41DA-8B1E-D1A1C654C32A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac3f42fcca75a7a8c6467aed91331be1686e2ebd","datavalue":{"value":{"entity-type":"item","numeric-id":1990521,"id":"Q1990521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6546447$74B45617-7F5D-4A26-BAEC-670BE430966D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c2393e97e64ee18f1cafb22397a643f4447eabc","datavalue":{"value":{"entity-type":"item","numeric-id":4003793,"id":"Q4003793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6546447$F4CC3183-E53E-4C1B-9495-62F024481140","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37f5e7b9368615051c1055b4de5c53078517205c","datavalue":{"value":{"entity-type":"item","numeric-id":5281987,"id":"Q5281987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6546447$4CCDBE8E-807C-47B0-9BAC-4FD0C22148B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c9acd441c1cbc4dd22a67a37ff75a560df1cd6e","datavalue":{"value":{"entity-type":"item","numeric-id":3141919,"id":"Q3141919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6546447$251F2F98-4881-477E-887D-F2E397B02994","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8765ce74fa896731d67d85589a695acaf2dc6c7f","datavalue":{"value":{"entity-type":"item","numeric-id":4804911,"id":"Q4804911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a1eb97b7659680a6824a345156c5bc92e226597","datavalue":{"value":{"amount":"+0.7691591382026672","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":"Q6546447$7FB63873-50EA-40E1-B6EC-881BC5BF0273","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a11bd1fcb85f60cb9a48898f6ca76162412a40ab","datavalue":{"value":{"entity-type":"item","numeric-id":4418864,"id":"Q4418864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ddee299c832961452db048d630f14548769d10de","datavalue":{"value":{"amount":"+0.7300694584846497","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":"Q6546447$99BD120C-E6AE-4E65-8EB5-E64A2FCD8058","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86891089eddbc210a5c7252d207632660086c2c5","datavalue":{"value":{"entity-type":"item","numeric-id":5877492,"id":"Q5877492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86c77ec15e54e5d8f4d13141b56a30d754e626ea","datavalue":{"value":{"amount":"+0.7210104465484619","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":"Q6546447$28D76AF7-FF26-41E9-9648-FACDC1772013","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e01117554cf20c9215b45a52e97248033fa135d","datavalue":{"value":{"entity-type":"item","numeric-id":3426788,"id":"Q3426788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d84496a03e9b4e015b6831a7dc317535dc4d3bd2","datavalue":{"value":{"amount":"+0.7120721936225891","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":"Q6546447$C3F85E20-143C-4BE4-BC13-6A8F4DDB19A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de3de4ea3881304cfc8a9c65394153af64228c8e","datavalue":{"value":{"entity-type":"item","numeric-id":5491856,"id":"Q5491856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94a5d696cd16406d6fc88c4ea66cb2aeaebc30fd","datavalue":{"value":{"amount":"+0.7103338837623596","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":"Q6546447$AA55D8BA-5FB9-4E33-94DE-ABD261135033","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6546447","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6546447"}}}}}