{"entities":{"Q1399964":{"pageid":1410704,"ns":120,"title":"Item:Q1399964","lastrevid":67519407,"modified":"2026-04-12T18:33:09Z","type":"item","id":"Q1399964","labels":{"en":{"language":"en","value":"Induction in the timed interval calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1957324"}},"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":"Q1399964$A31E6EC4-0BA0-4F29-918F-D3177A83465E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8d5b9646886528322242d41722c5af9c686befd4","datavalue":{"value":{"text":"Induction in the timed interval calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1399964$0D07030B-E399-46A5-83AF-2A0345247BBD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bab2bf1fd3ee80258fe9ebc930769f2668420537","datavalue":{"value":"1028.68086","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1399964$B7159151-3F73-4140-9B92-E49315267299","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1cbcbf49dfcd35633d5a43394487a47c6a087282","datavalue":{"value":"10.1016/S0304-3975(01)00378-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1399964$0BA57AD9-EE75-465A-A0DF-86D4DA3F681D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"39d69d8109c8a2bb1e439a0057fdd481133781d7","datavalue":{"value":{"entity-type":"item","numeric-id":1399963,"id":"Q1399963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1399964$24E8F779-A9A7-4FF3-9525-3A08BFC080FB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1399964$855401B6-6C7B-4291-8FFF-2A2F23C8847E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1395e3cd70742e731c96f59db982fc04f0d8f93d","datavalue":{"value":{"time":"+2003-07-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1399964$7701BC76-0AA3-4A77-8E5A-26C4E2CC3CCF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1399964$AECF3EBC-9B8C-4636-8C1E-B09CB46D3312","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"419f8c889ebb4bd414a117b8a859bb79266741c9","datavalue":{"value":"1957324","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1399964$CE167FD1-7932-4DEA-84A8-B10E30281A6F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b22863552bba58878d785c89991416926f8e8c4","datavalue":{"value":"Real-time specification and reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q1399964$03C2084C-E768-4F19-89C9-E17DE24237BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"084a60c40b841821d57b1a3b1b9abf23fb819810","datavalue":{"value":"interval logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1399964$E175D3E6-65E9-4016-919E-1C7618E09D77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1399964$8569066C-DDA9-4D5C-A44A-72AB8DF59618","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa8a6101ff90bea77f851517b5a991ddcaf7286b","datavalue":{"value":"induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1399964$6BC5B6D1-6378-4B7E-BED8-14EC36423A64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"052d8c8c1188c4697b67553f366d395d2089dacc","datavalue":{"value":"timed traces","type":"string"},"datatype":"string"},"type":"statement","id":"Q1399964$6D4F9351-89E7-4854-81C2-39AB0EED8EB4","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":"Q1399964$3D314634-73EC-4ECD-94FB-72D44493795E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"28be00999402ba1831663223455b0aaa86bbae93","datavalue":{"value":{"entity-type":"item","numeric-id":4692471,"id":"Q4692471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1399964$2E0ADF8A-C19A-4871-9AB1-025A7A1B167F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47c90a0234d12f2deecebd25f6a7da5747e61762","datavalue":{"value":{"entity-type":"item","numeric-id":4494114,"id":"Q4494114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1399964$9C97070E-2860-4269-AB15-43380BD64EBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f37e8ba0251a16df51f940680106a4e06358b662","datavalue":{"value":{"entity-type":"item","numeric-id":1377324,"id":"Q1377324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1399964$0FDEBC7E-3F2A-4C95-9B4A-3CC72981F12F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"619994850bb56a20aaab6f1ba0dc34503beb8888","datavalue":{"value":{"entity-type":"item","numeric-id":4213375,"id":"Q4213375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1399964$C9C34457-1B90-4A39-BACA-D1857785C87E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea73c316535d221d474870ae19006e468ba7d51a","datavalue":{"value":{"entity-type":"item","numeric-id":3128862,"id":"Q3128862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1399964$4CC774DF-68F1-4BF9-BD99-DD84510ACCAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80ce4b80471340cb55a693292be4e006b860c889","datavalue":{"value":{"entity-type":"item","numeric-id":3680239,"id":"Q3680239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1399964$14A7DCE9-91C5-4D36-B6E0-B798073A8380","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6453ed1e44e7e3579fb9c2bb45e3dadf04c69d5","datavalue":{"value":{"entity-type":"item","numeric-id":3126783,"id":"Q3126783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1399964$8B00D8D0-E3BC-4AFC-848E-6766DFC8BA8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"949e790961c3e16a147fe269e6af37ded7bb7e20","datavalue":{"value":{"entity-type":"item","numeric-id":1331923,"id":"Q1331923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1399964$CE98E909-9872-48A6-9F93-C60C5711C92F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b99dbc44853de1ea6d2956eafb640499b501c52d","datavalue":{"value":{"entity-type":"item","numeric-id":1183485,"id":"Q1183485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1399964$D96F901B-49BB-4BAB-AF23-70C6F3BACE73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb546abd67bf6e86ebd0867fded79221f1363869","datavalue":{"value":{"entity-type":"item","numeric-id":690305,"id":"Q690305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1399964$A989D477-CB9C-474A-A95A-5607853BB7CA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0589be1b480791e1231ce1e22fe7c1a9b3c9c656","datavalue":{"value":{"entity-type":"item","numeric-id":4415138,"id":"Q4415138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1ebff00fac9cdca5377df87bbb1b460e4d93501","datavalue":{"value":{"amount":"+0.782490611076355","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":"Q1399964$B939B1FE-E71F-492E-B9C6-2E2557E92FDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"993d53e8a7616fafa199e2439bc77467372fbc4d","datavalue":{"value":{"entity-type":"item","numeric-id":2703744,"id":"Q2703744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d795b8e011b26f01d3b61fd6af95ec66ffcbf7af","datavalue":{"value":{"amount":"+0.7745218873023987","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":"Q1399964$3C91C549-0B1F-4750-A4BE-0F885A026791","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"556ec3441c0515c339a21b6f58d69d4686963209","datavalue":{"value":{"entity-type":"item","numeric-id":4281664,"id":"Q4281664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0860595c56b6e58ebea0ccbbd5eca5b9cee5c1e","datavalue":{"value":{"amount":"+0.7693982720375061","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":"Q1399964$055F2CB0-E4EE-4915-AD6B-21A5A88477FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"034b0b406f8e0f155e4fb660a7ac822ba82d65a5","datavalue":{"value":{"entity-type":"item","numeric-id":1261314,"id":"Q1261314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d39536964b58fa8b283e877a8308157bd25b20b","datavalue":{"value":{"amount":"+0.723241925239563","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":"Q1399964$6F55B900-6777-4F70-ACD7-94438CB7A764","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"675b27067f8fe5caa30271b9b1d7a694f01248e9","datavalue":{"value":{"entity-type":"item","numeric-id":3455067,"id":"Q3455067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67e7ca972ddf380765ccaac2692d6522db837446","datavalue":{"value":{"amount":"+0.7227169871330261","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":"Q1399964$1A2D67DD-FA31-4A22-9719-59405B1FDA57","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Induction in the timed interval calculus","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Induction_in_the_timed_interval_calculus"}}}}}