{"entities":{"Q918217":{"pageid":920065,"ns":120,"title":"Item:Q918217","lastrevid":65371098,"modified":"2026-04-12T02:07:26Z","type":"item","id":"Q918217","labels":{"en":{"language":"en","value":"Reasoning about continuous systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4157897"}},"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":"Q918217$EBE35F38-12C5-479E-9DD2-A56298DD36A5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e992a3d5c71ec42f1ef6da4f3441da5317eabed8","datavalue":{"value":{"text":"Reasoning about continuous systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q918217$51A4F0B2-2AC0-407A-804F-4F5B26C0639D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5d2457f07d9c8ad6bbd5de83037487e4765ff7f1","datavalue":{"value":"0705.68072","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q918217$F714B080-DFCF-4981-AE72-DA9057976694","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5956b97e6a8aa3695afce0d39b5fa83f91f7262e","datavalue":{"value":"10.1016/0167-6423(90)90017-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q918217$A50AF479-F425-4F14-BD3D-CFD1BB9794B1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"613df68fa62667b65d3e5e1997bd8d1766de280b","datavalue":{"value":{"entity-type":"item","numeric-id":239148,"id":"Q239148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q918217$A086A76D-AFEB-4AA9-BC17-783031322591","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4082512e7d3530b9726df691c7c28e9fec542a8c","datavalue":{"value":{"entity-type":"item","numeric-id":169675,"id":"Q169675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q918217$8ECCB229-54C5-4187-B500-DC181E628E05","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q918217$352427E4-85FE-4F97-AE9E-E77698CE5214","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q918217$2095AE35-6951-40B4-ACA2-B989C28FCF40","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"71841ae983946ee03f146cb35d68305c7a0c0986","datavalue":{"value":"4157897","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q918217$BDDCD4BB-2330-4675-8F40-53432E1B075C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d0ee5bb8aad28eed36f5713779776bbca0e75117","datavalue":{"value":"continuous systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q918217$364D507E-13DD-461D-B7B0-7388A3743280","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3321f1e6937e1761c224a834401274ba797ec1ed","datavalue":{"value":"mathematics of program construction","type":"string"},"datatype":"string"},"type":"statement","id":"Q918217$7E40EE45-2BD2-4229-8C09-38CCDA18717A","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":"Q918217$532C0454-A204-4ADB-BFF4-BEBB2D53334A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6909957007022a9ebd3406d155a4ec3c235b572b","datavalue":{"value":"https://doi.org/10.1016/0167-6423(90)90017-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q918217$FAB17248-BFBA-4ADF-A2C3-1CDAD1AF3DA5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7a7f89cf5248527fb43bb951e125a5612076300d","datavalue":{"value":"W2160446582","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q918217$FB11420D-B050-45E5-8E94-ED5DE90BC975","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73604b2f7822c0b985c6dccc0a653bffe420e556","datavalue":{"value":{"entity-type":"item","numeric-id":1380117,"id":"Q1380117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"805e12ed6e0e226a4bb54192193c441af2d65f2f","datavalue":{"value":{"amount":"+0.7004498243331909","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":"Q918217$EBBE57E1-6BDA-4E50-A37F-565B4D2707EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54d399b782245a929406341711bcb835700c8955","datavalue":{"value":{"entity-type":"item","numeric-id":4702570,"id":"Q4702570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"805e12ed6e0e226a4bb54192193c441af2d65f2f","datavalue":{"value":{"amount":"+0.7004498243331909","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":"Q918217$57968066-046F-4376-9E49-7C7E6C751021","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ba5b1452cf38a9928a9cbac502d88b79ede0959","datavalue":{"value":{"entity-type":"item","numeric-id":3637259,"id":"Q3637259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb117a23fc2d2114212bc0de6d7867517521685c","datavalue":{"value":{"amount":"+0.6893412470817566","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":"Q918217$7D1E26FB-9944-409E-B0C3-DE4DA6D87F9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"009613d89c99158abc87282db46ebcf08cbd17c4","datavalue":{"value":{"entity-type":"item","numeric-id":2027208,"id":"Q2027208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4731c6440819428fb154c68999da4918e16da5dd","datavalue":{"value":{"amount":"+0.6879454255104065","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":"Q918217$ACCE4D07-FD27-46C1-AB33-EC5EE3B13C8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e73124ac6a3cd9c13d79448c43935324f05f53da","datavalue":{"value":{"entity-type":"item","numeric-id":3319764,"id":"Q3319764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aeb89a5790fa7e66bf9a7c003729f30d6c6797a6","datavalue":{"value":{"amount":"+0.6822125911712646","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":"Q918217$4185185F-D08F-4CC7-A0B3-0E1530F0EA22","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Reasoning about continuous systems","badges":[]}}}}}