{"entities":{"Q2990747":{"pageid":3001471,"ns":120,"title":"Item:Q2990747","lastrevid":52595060,"modified":"2026-01-23T01:45:19Z","type":"item","id":"Q2990747","labels":{"en":{"language":"en","value":"Simulation logic validation method of hybrid systems applying classical first-order logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6613163"}},"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":"Q2990747$DAED1984-C757-435F-82B8-D643E4B2CF66","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"58765b88d1ca4f3b0a566ac8ee1b12cceb534320","datavalue":{"value":"1349.68118","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2990747$EE209D36-D8AC-485B-80AA-E0A3EBE00EBE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"897157c4fa12077f62ff25fc79f73221280f482d","datavalue":{"value":{"entity-type":"item","numeric-id":2990746,"id":"Q2990746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2990747$524DDF83-7FC2-4F4A-9D68-48EA88BE2CE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"000eec63e6043748f0ce6e3ffdf606bd1aa0690d","datavalue":{"value":{"entity-type":"item","numeric-id":1774953,"id":"Q1774953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2990747$12897016-3C17-4FCC-A66A-FE8CD08C0781","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5f28f5891448179098b630afdd911c54ee23e1cf","datavalue":{"value":{"entity-type":"item","numeric-id":1655390,"id":"Q1655390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2990747$8CF7D883-BC82-47F8-B262-F883C8A2FF64","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"632762f18b1136ebfb5f13b4269afddfefdbe92e","datavalue":{"value":{"time":"+2016-08-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2990747$BB918FF5-DA94-4EFD-8D97-B791978FD837","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2990747$5AD3196E-DB70-49ED-8D0A-D61B4710F642","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2990747$44E486E1-277D-46E7-85C8-7BABAA386E55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2990747$450374AE-D43B-4E86-A54B-18FAB6E68C3A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"11fe5a12b76b2f515fe89efe8ce84005fe0d308d","datavalue":{"value":"6613163","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2990747$E20B017E-9FDF-4277-B167-24FF43614A35","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2907b2463730ed7d33eb3c4ec1feba8f7d41150d","datavalue":{"value":"hybrid programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q2990747$4BF14FCF-06C1-42FA-A71A-401BC0707535","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01a5d612336137a9ab10a76fa7aee0b667c9127a","datavalue":{"value":"simulation logic formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q2990747$31D5889F-444D-4162-B01E-30DF776D7AEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"384064e395b990bf24a8c9be0e4ee81100dc4ceb","datavalue":{"value":"simulation semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2990747$30738E62-DD28-4644-84C4-D411C070CC8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6ab93481eed14d33cea3440f75e51c7cc9cc251a","datavalue":{"value":"formal deduction rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q2990747$975DC0A2-A78D-42EF-9FAF-C0E5098A8DCA","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":"Q2990747$DEBBD550-3E47-4499-A758-7A4EEB22FF20","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fecd1697f57159c1e7f5a89b1c992b793d6b506a","datavalue":{"value":"10.7612/J.ISSN.1000-2537.2015.02.016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2990747$B43095EE-8FF1-437F-AA80-90BFE327CC32","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8bf7ec0f3a410a417075a3d76c794495c1ec5d3","datavalue":{"value":{"entity-type":"item","numeric-id":3613026,"id":"Q3613026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa80442dc24e671bc4bd3084729d0330bf989537","datavalue":{"value":{"amount":"+0.7355894446372986","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":"Q2990747$F9C8332F-6961-440B-8D0C-A6F53C2566D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6b8b012aeb60c5a87d330347f8fb589a2658a98","datavalue":{"value":{"entity-type":"item","numeric-id":5047167,"id":"Q5047167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a5f40d63b671a94cadd6dfda391fa4367d7b622","datavalue":{"value":{"amount":"+0.7242370247840881","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":"Q2990747$327979EA-748C-458F-BF06-B645D479906F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9540d01c94d6496f77cc2ed5a824f585a544af3","datavalue":{"value":{"entity-type":"item","numeric-id":5434526,"id":"Q5434526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b5bb3a4226aca36d8719a09f6896a3dc4a1fd77","datavalue":{"value":{"amount":"+0.7193961143493652","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":"Q2990747$C43CBB84-AA95-46F6-BFEB-FAA5ECCDE7A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9da2b9d16f6d4da2394fb5fd1e868ec40668e1a","datavalue":{"value":{"entity-type":"item","numeric-id":2948232,"id":"Q2948232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de2581950d15ad14cbb15054da12ad04b1cff401","datavalue":{"value":{"amount":"+0.7166829705238342","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":"Q2990747$186B2F3D-021D-4B47-8FD7-E018942FE86E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0eda65487c904ff5c6e306b55b6240b3531b43f","datavalue":{"value":{"entity-type":"item","numeric-id":4511265,"id":"Q4511265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98c0ac936cdc1e5db99773a3a428fd81d6293d20","datavalue":{"value":{"amount":"+0.7126455307006836","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":"Q2990747$C5373CAB-AFFD-45AE-AB9F-21606A83108D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2990747","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2990747"}}}}}