{"entities":{"Q3619259":{"pageid":5649165,"ns":120,"title":"Item:Q3619259","lastrevid":87517007,"modified":"2026-06-04T11:52:42Z","type":"item","id":"Q3619259","labels":{"en":{"language":"en","value":"Data constraints for validation of real-time software"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5540311"}},"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":"Q3619259$D6D04175-3D9D-4043-877E-A6E0633FDBAA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f89e64e5e32f291e64ba71ebb09e2cf7f7295ea6","datavalue":{"value":"1157.68389","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3619259$D2848D06-CA97-4762-AA5A-3BA5656DC012","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"23dc7d1c785d52ea65d4c0f274b9e4b977feb2a2","datavalue":{"value":{"entity-type":"item","numeric-id":2026557,"id":"Q2026557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3619259$111A463D-49E6-41F9-8573-558B0CD71496","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ad819c3bc76e5cf32315e40c35a21680db871149","datavalue":{"value":{"time":"+2009-04-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3619259$A2CA5948-5C59-40A3-96CB-8657DCF4781C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3619259$AB19676E-1598-45BC-B663-BA03E238E053","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a9997832e16778abe96a276f7124a0f8763e19b0","datavalue":{"value":"5540311","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3619259$66151C4E-2E56-4D6A-9566-100695B16260","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6521d4973e9b08aae01d7526b7a46fc6ab324b96","datavalue":{"value":"verification and validation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3619259$CC695062-930C-4F32-AD99-F089F3C9210C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb49467b0eaac11205bea2d762375c665f5d0a6b","datavalue":{"value":"software engineering","type":"string"},"datatype":"string"},"type":"statement","id":"Q3619259$803E84FC-1BE3-4F7F-9302-DEA43773A0AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"685c5dcc3853c6d5bfe76fd43d5eddc0c605649b","datavalue":{"value":"real-time software architecture","type":"string"},"datatype":"string"},"type":"statement","id":"Q3619259$C375808E-F949-4DAB-8A0D-2BC593ECCDAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c28b8ea3a29a459e44f40d76e6774707e8937474","datavalue":{"value":"real-time maude","type":"string"},"datatype":"string"},"type":"statement","id":"Q3619259$C15B63D9-07E3-4045-A5C6-220C78EC858C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e00becea862aed6aa9ab04304a96b21116cbce9","datavalue":{"value":"data constraints","type":"string"},"datatype":"string"},"type":"statement","id":"Q3619259$497C108A-C927-4359-A94D-1754818FF137","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":"Q3619259$0984CFA3-4E19-42FD-8EF7-790CAA0D57F5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65674946a0e1a03082e5b14588f878aa5f61e520","datavalue":{"value":{"entity-type":"item","numeric-id":880982,"id":"Q880982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81343582bd16f2190a7ace1a3032c471cca828b9","datavalue":{"value":{"amount":"+0.662013828754425","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":"Q3619259$022FFF21-4ABB-497F-96A4-F5EAE33BA964","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d01fcc315f7f7403d43f6ea215e81a2dd623520","datavalue":{"value":{"entity-type":"item","numeric-id":4418624,"id":"Q4418624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c94efc89b1b7e8ab958c483090ea20eb5906fa44","datavalue":{"value":{"amount":"+0.6617081165313721","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":"Q3619259$83132B01-9905-4BD3-92AA-22E59E32E3EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0afadc385957c97316e78162191366918519a34c","datavalue":{"value":{"entity-type":"item","numeric-id":1431366,"id":"Q1431366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d34f80fd12f870a9e2100c04bb79e4cdd9baf46","datavalue":{"value":{"amount":"+0.6612702012062073","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":"Q3619259$B83D0080-D424-4CC7-BC93-F5EFF20838AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12c71898783af7783eb24138ded4dd61c96d5d0b","datavalue":{"value":{"entity-type":"item","numeric-id":2729076,"id":"Q2729076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b4a2933d8d9b286f509f38e4abe16189af78d43","datavalue":{"value":{"amount":"+0.6588425040245056","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":"Q3619259$59891054-2139-4DFC-A960-327B6534D322","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5c4141ff9111104b2df0ca6fc30665bc1f55d57","datavalue":{"value":{"entity-type":"item","numeric-id":3656878,"id":"Q3656878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff5fbdcb273f5619acc412bb1ef2d1589b0bf61e","datavalue":{"value":{"amount":"+0.656829833984375","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":"Q3619259$C75E80A3-8A10-4478-8FF3-86D637EED669","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Data constraints for validation of real-time software","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Data_constraints_for_validation_of_real-time_software"}}}}}