{"entities":{"Q5239225":{"pageid":7268793,"ns":120,"title":"Item:Q5239225","lastrevid":55373704,"modified":"2026-02-17T14:43:47Z","type":"item","id":"Q5239225","labels":{"en":{"language":"en","value":"Facetal abstraction for non-linear dynamical systems based on \u03b4-decidable SMT"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7120145"}},"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":"Q5239225$7746BA65-8901-4890-927F-D7088C0A4020","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8aa7e691b01115c882308c9cc1d5c723d44cc51e","datavalue":{"value":{"text":"Facetal abstraction for non-linear dynamical systems based on \u03b4-decidable SMT","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5239225$C657DFD2-F0B3-4E5B-8491-69EC21F12D99","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3bcdebdc32fb671f98ca8002117ce6abc355a62c","datavalue":{"value":"10.1145/3302504.3311793","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5239225$5A60C975-0850-4C80-9B48-C57A528D65DD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8fa84f57d804aaf31f58858be616d04e3d77b666","datavalue":{"value":{"entity-type":"item","numeric-id":282092,"id":"Q282092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5239225$511C8378-F200-4AB0-BA59-5F5C171427E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d9b09522aaee1c72f01701b4e5032b55d6618dfd","datavalue":{"value":{"entity-type":"item","numeric-id":282093,"id":"Q282093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5239225$9AD455D8-C4D7-4DF5-BEDF-389CEFF73C00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"927d2f86e0ef2bc7f16bc07c02b69a31ac8e5491","datavalue":{"value":{"entity-type":"item","numeric-id":5239224,"id":"Q5239224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5239225$7EAC624F-CA33-488F-B50F-0A10BEB37F53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ab7785e5c27e59a61a01e5cd31f701b7740f2c10","datavalue":{"value":{"entity-type":"item","numeric-id":832199,"id":"Q832199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5239225$789100FD-20B1-40F3-8911-18C01227B424","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"98c891e2c7c8bb10a79e88f50e061e3624273d02","datavalue":{"value":{"entity-type":"item","numeric-id":832200,"id":"Q832200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5239225$CD3A8B81-F5D0-4016-8512-7E90F2131A27","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b5836cbe288323d6943609762b2a41f27b0c712e","datavalue":{"value":{"entity-type":"item","numeric-id":5239212,"id":"Q5239212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5239225$805AF264-70AB-4807-9384-0500F53419AB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"57e80c845c96b0988db493e5ae271fe0a944be8f","datavalue":{"value":{"time":"+2019-10-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5239225$CFD0D8C7-51B1-4FDD-835B-49E03F347F8E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5239225$4C3EEF27-F85B-4DF8-B7C6-96BE8D51D4DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5239225$3A97ED04-60BE-4041-B940-41F53469EFD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bec664fc111c8c38f0715786ddaeb8636a48223c","datavalue":{"value":"93C30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5239225$3B3B1658-4291-4153-B34B-41E4D17EC082","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f3e38f1f8ae7d9a719f62c42c919c4be1533de91","datavalue":{"value":"7120145","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5239225$EC3DFF56-D0B2-4D66-A6F7-A7B08595C8D5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"69915e018ed669c5d09bb1f8b68333ef5bbefe95","datavalue":{"value":"SMT solver","type":"string"},"datatype":"string"},"type":"statement","id":"Q5239225$E8A76031-D433-4CB2-B319-6DCCCCDBF66B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f8f7ff3a5e17e9b8956bcbde9a29d669fb36effb","datavalue":{"value":"discrete abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5239225$4AC5E7C8-FEBF-4408-9871-F6F05F03051D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"554ce1904bc7aad8ab28dec67ee5f4a3db655bbe","datavalue":{"value":"dynamical systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5239225$FF1A85C6-37A3-401D-8BE2-92E4EE8DFEE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b03439e7dedf0c27568d228c7244768e0713fd5","datavalue":{"value":"hybrid systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5239225$5B172B2B-8FFD-42D0-A1A7-71B06A4677F3","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":"Q5239225$C218B35E-727D-4FC2-B875-7943361008D8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"19608293e8beaf5e3c4a59c5460d9522d7c85aff","datavalue":{"value":"https://doi.org/10.1145/3302504.3311793","type":"string"},"datatype":"url"},"type":"statement","id":"Q5239225$94A41067-F248-43B0-83D3-CD5096B0AFE2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8844e525669afecfe07d565428e8e5d9dc7d73a1","datavalue":{"value":"W2939770589","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5239225$19253B29-D066-4ED2-8ED5-E32E5726B295","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84beaa525a322cf9de9af936090f3be46f0c4cc2","datavalue":{"value":{"entity-type":"item","numeric-id":5307453,"id":"Q5307453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1cff23bca662863b4e85389f122e3142bd396e1","datavalue":{"value":{"amount":"+0.7164378762245178","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":"Q5239225$B5FB9F43-983D-405D-B67F-AB461F7BBE43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02064d46cda919cdf2892a4cd7fc6638ca504bb6","datavalue":{"value":{"entity-type":"item","numeric-id":901261,"id":"Q901261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73957e15816347841dc70b6ab9733248a375faf6","datavalue":{"value":{"amount":"+0.7159565091133118","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":"Q5239225$CD21EC90-073E-42FB-A132-1130CBC57B7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"baf526ce1d9380790dd1bf506f9c4d85c60e90d5","datavalue":{"value":{"entity-type":"item","numeric-id":2475634,"id":"Q2475634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aef1b3e808bd5eb7b2ef4c39481c6153cb737dcc","datavalue":{"value":{"amount":"+0.7115713953971863","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":"Q5239225$667856FD-E134-4377-8FAB-46A367987BCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be6fe6348262b5ca3d2465b8dcc27390d658f2bd","datavalue":{"value":{"entity-type":"item","numeric-id":3172856,"id":"Q3172856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0b301438cbdd42101ad60f5771c057b0a32e869","datavalue":{"value":{"amount":"+0.7025895714759827","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":"Q5239225$D99DEB66-3CDD-4390-BBD8-746CCCCFFC0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0341ef690e744836ae0c5bd736a767679c550745","datavalue":{"value":{"entity-type":"item","numeric-id":4736610,"id":"Q4736610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"faa32ebba4343b11497dee865e821f1e10dea0e8","datavalue":{"value":{"amount":"+0.7024753093719482","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":"Q5239225$0BCD10E4-228F-4B4E-97A3-FCA55FBA3FEF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5239225","badges":[]}}}}}