{"entities":{"Q479826":{"pageid":481593,"ns":120,"title":"Item:Q479826","lastrevid":62146767,"modified":"2026-04-11T04:05:08Z","type":"item","id":"Q479826","labels":{"en":{"language":"en","value":"Quantifier-free encoding of invariants for hybrid systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6377622"}},"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":"Q479826$CE69D055-78DC-40A4-A52F-ECCBE6FA3BEF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c4a831cb275e338e4a420299299596434468a72d","datavalue":{"value":{"text":"Quantifier-free encoding of invariants for hybrid systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q479826$781C4027-6FE0-4309-A5AC-2C41A696FECF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b2a0b4262f2b2c45b8550b27f84e9682579c21f8","datavalue":{"value":"1317.68111","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q479826$A2597457-9540-45A7-A938-356F9F395990","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"387e6ac60ed3a0144bb303179c23c53493d401d0","datavalue":{"value":{"entity-type":"item","numeric-id":329418,"id":"Q329418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479826$ED401F62-94F8-4198-AD42-B158FC23AB63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"49f362d073bbe8a8d138f2af9af0d2a06b61a58c","datavalue":{"value":{"entity-type":"item","numeric-id":479824,"id":"Q479824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479826$BEB3823E-DA85-448D-B4D7-834FB06BC1AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"02a3a6d65cef09233c3157717e074297efd5d7a8","datavalue":{"value":{"entity-type":"item","numeric-id":479825,"id":"Q479825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479826$FCCE3434-D8C7-4F06-8C7A-608EF06D5F1F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"70551fcc6e89042fc26ae9242a005533b44a2d7a","datavalue":{"value":{"entity-type":"item","numeric-id":169908,"id":"Q169908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479826$0002113E-183A-43C7-96BF-ECA814EC822E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"251a8180674f25d7da0909ef6cdc4a843414945e","datavalue":{"value":{"time":"+2014-12-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q479826$EF1F34F8-0237-41B5-9093-1A6DEF992D11","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q479826$7E07C64D-D041-435C-BB09-5C159FF0CB94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bec664fc111c8c38f0715786ddaeb8636a48223c","datavalue":{"value":"93C30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q479826$1F57D04C-7949-4A39-90C7-10D64F605D0F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6fa53fc108cfe6f8367d866286690ccfaebf3f9e","datavalue":{"value":"6377622","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q479826$5011A30F-E3C5-4925-807F-74885AD1C6B3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac8daf9b2a0058692665d0c45ec7b53d7ff6b82e","datavalue":{"value":"satisfiability modulo theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q479826$91E16020-438E-4644-A368-D856232FCADF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b03439e7dedf0c27568d228c7244768e0713fd5","datavalue":{"value":"hybrid systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q479826$90AD5C4A-7D72-4136-808C-E53B3E733E79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e6ab41959fd9494b5548d09c762ca90a9336e1c7","datavalue":{"value":"bounded model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q479826$A333325E-4BDD-467B-9E9F-8E4E1F65A8E2","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"22fc318c6c2e42dbf1c86e8b56323826ebc2c596","datavalue":{"value":{"entity-type":"item","numeric-id":14528,"id":"Q14528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479826$950BF165-82F0-47B0-9C2A-890DD9C2F818","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"842bcffb0bb918fd12447e4f670f8dc61d68f929","datavalue":{"value":{"entity-type":"item","numeric-id":21432,"id":"Q21432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479826$58FDF4C5-C706-4C0B-9C13-5B6DB21A1015","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0e57bdc762f9f3edfeef64e204b4ad9bd2d44d8a","datavalue":{"value":{"entity-type":"item","numeric-id":22891,"id":"Q22891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479826$FED791C2-D82D-4821-8EE7-FC5C33478428","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c4118392bd2a0c660ad243ebb2113b54caab0efc","datavalue":{"value":{"entity-type":"item","numeric-id":23848,"id":"Q23848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479826$CFA4F863-233D-42B7-81E7-8E791E7EB121","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":"Q479826$C52AB82F-8CA2-47F1-97B1-E9251416E64C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"956453e10bda5698f4240a6aa5ab26668ca2c612","datavalue":{"value":"https://doi.org/10.1007/s10703-013-0202-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q479826$BAE037A8-24C4-4F2A-B089-384060DBEC77","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1a474229f2b79b61ac786204c313ae11997e051c","datavalue":{"value":"W2074838304","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q479826$9197E123-3BAB-44DB-8D8B-F1F08875F4D1","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"749a601ef0f24e3a474a6b68f1a98a3a92c5a605","datavalue":{"value":"Q62041149","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q479826$DA09B00D-18D7-46F7-A255-EB2A82F146DF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9aadeb8520cccf139c519f5ece9b2874d839ad4","datavalue":{"value":{"entity-type":"item","numeric-id":5711504,"id":"Q5711504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479826$E4B3EDAF-5D37-4595-8671-0E9D3E0F9010","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b8c00e6859456436b4dd4fd8d1212e545db8330","datavalue":{"value":{"entity-type":"item","numeric-id":4953376,"id":"Q4953376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479826$621E0F80-2F65-4990-851F-67819E3119A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca50b56de23777ce618ce7b9747f11712b65365d","datavalue":{"value":{"entity-type":"item","numeric-id":2849590,"id":"Q2849590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479826$5AF69D61-4BB5-465D-80DE-09C485CC3620","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05cadba329c7993dd0092caf38c744ce79dfd9d6","datavalue":{"value":{"entity-type":"item","numeric-id":3656877,"id":"Q3656877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479826$5CBB972E-CE92-4FC2-A26E-02BD7662B88F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f73b37dadb75c736b16232997bce1c2bdc0a368","datavalue":{"value":{"entity-type":"item","numeric-id":5429353,"id":"Q5429353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479826$9476E2AD-95A1-45BB-A9D9-772EB9E68589","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f252ff86822bd99498e2b094b9f770ad55f5bef8","datavalue":{"value":{"entity-type":"item","numeric-id":3636860,"id":"Q3636860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479826$DC00BA16-BC73-4878-B13B-F682555E4221","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bca9d08b3ff4ec3a4dc10349b5d1571c578b1d8c","datavalue":{"value":{"entity-type":"item","numeric-id":5096392,"id":"Q5096392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479826$8CD87B59-1268-4C59-8173-41094A35A568","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2837eb28569a008677bba2643bbc6df5d206bee8","datavalue":{"value":{"entity-type":"item","numeric-id":4247790,"id":"Q4247790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479826$C1E66760-8145-4522-9185-67AA28E9508C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c364abc9f6e3795ee364ccb24440265ed3af41b","datavalue":{"value":{"entity-type":"item","numeric-id":3540072,"id":"Q3540072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479826$1D15D84A-074D-4733-AC84-A952C9DD9FA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f93a1a97b7d63078cdd8b8f03b4b0eaa2eacc4a","datavalue":{"value":{"entity-type":"item","numeric-id":3095239,"id":"Q3095239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479826$8EB17DDA-77F0-4D05-B9E2-1E06A9DCD482","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d770a871525146eb4607f50572fb10750bd12b6","datavalue":{"value":{"entity-type":"item","numeric-id":5714448,"id":"Q5714448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479826$32F1A6D3-3736-4E1F-8EA7-F39D3675C596","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9e668b6f805cdbc09b9399ccf1d56f2a981c7e2","datavalue":{"value":{"entity-type":"item","numeric-id":4393079,"id":"Q4393079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479826$9F802C2C-67B5-4151-B5AF-8DF3AE3B20BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55c4252d7d980545543cc918e92286a79060f15e","datavalue":{"value":{"entity-type":"item","numeric-id":3510848,"id":"Q3510848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479826$18E4AB0A-839C-4661-9F16-A15D50A4AC12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90fc00745ec3d767981805e52c2b6fd5aff5863e","datavalue":{"value":{"entity-type":"item","numeric-id":5945290,"id":"Q5945290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479826$EFB0C92C-984A-4C57-92FE-AC9297254F13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"348369ca3fccbe91226809a75cbf31afd7f3186d","datavalue":{"value":{"entity-type":"item","numeric-id":5900666,"id":"Q5900666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479826$038C938A-449D-4EB0-A44B-D9D07240DEB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"858dabb2d063dfef64236359106cb3c267264737","datavalue":{"value":{"entity-type":"item","numeric-id":1039839,"id":"Q1039839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479826$C75C36AE-A8E4-43D1-9636-B6F6840C41C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62e3b9080287225db99f33816b5af9675f145d43","datavalue":{"value":{"entity-type":"item","numeric-id":3612995,"id":"Q3612995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479826$6558ED6B-621B-452E-98AF-DA76055188AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52b40ca15922708fafcf7fdd65a80fccea7dd5c1","datavalue":{"value":{"entity-type":"item","numeric-id":4221299,"id":"Q4221299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479826$4BBE3CF3-FA06-4177-A852-7BC8730FA11C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e581de2eab09c924ee255779128b4867065bcb9","datavalue":{"value":{"entity-type":"item","numeric-id":2475634,"id":"Q2475634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479826$BE0511BD-D371-4851-B645-F5469BFC449C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7c55d1e19619f21e14505af50998a02035e162e3","datavalue":{"value":"10.1007/S10703-013-0202-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q479826$9C8D4A88-49CA-44E4-BC0C-76B3E856E229","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"722bda66784fe839f8b31c0ac7d90ff3db90eefc","datavalue":{"value":{"entity-type":"item","numeric-id":3512493,"id":"Q3512493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"213766552afad3a87ec43821b276d62806dde1ff","datavalue":{"value":{"amount":"+0.7695043683052063","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":"Q479826$D08F4468-AABA-4DCA-BFF4-C7D7ED2F011D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96bc94ce1d255a60ed5c9faa551cdd83938cf3a8","datavalue":{"value":{"entity-type":"item","numeric-id":2475635,"id":"Q2475635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f675ae9b159160574e531e52a4d9ffc38d575257","datavalue":{"value":{"amount":"+0.7429892420768738","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":"Q479826$02A1D06B-F13F-484F-9303-C0C03547D6B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b3acbcff542dd22e1e504b8565b8092827151a0","datavalue":{"value":{"entity-type":"item","numeric-id":5458327,"id":"Q5458327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f147da08aa3e7eac79e2ce34a81acd5d3feb037","datavalue":{"value":{"amount":"+0.7290256023406982","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":"Q479826$EA376677-2E23-49DF-8D61-AFFF5B0FA805","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99942df270589afefc0e5d054fa6c93e5bcd5a06","datavalue":{"value":{"entity-type":"item","numeric-id":5307949,"id":"Q5307949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07eb781e11dc3a62f8f72d812659064aa9dff6db","datavalue":{"value":{"amount":"+0.7290039658546448","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":"Q479826$6A783E45-1407-4108-B2E4-69A0FE6D6328","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f135000cfb5801f33f862789e630b25bcf69549","datavalue":{"value":{"entity-type":"item","numeric-id":6160910,"id":"Q6160910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1794190dbf5a389de6d99c48ae3f3501d4422178","datavalue":{"value":{"amount":"+0.7229151129722595","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":"Q479826$6939E678-7C40-4BB8-BAAD-15F5DE25B402","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Quantifier-free encoding of invariants for hybrid systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Quantifier-free_encoding_of_invariants_for_hybrid_systems"}}}}}