{"entities":{"Q1708707":{"pageid":1719448,"ns":120,"title":"Item:Q1708707","lastrevid":72160494,"modified":"2026-04-14T03:02:04Z","type":"item","id":"Q1708707","labels":{"en":{"language":"en","value":"A specification theory of real-time processes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6852762"}},"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":"Q1708707$26957497-1F36-469F-B6E6-6D1DC181BE40","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"83b552a48e028cd3d7d0a1ca791761656426d3ef","datavalue":{"value":{"text":"A specification theory of real-time processes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1708707$FADB5D8E-6653-4832-A05D-C2A15BCF7AF6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b4055aae3eb3179b2617d0e4cfdb7a7875618290","datavalue":{"value":"1486.68103","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1708707$C4C0A032-76E4-46F0-9E76-347F3885B79B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"80d13becf4549116f8dfabf9c0880cd636995304","datavalue":{"value":"10.1007/978-3-319-51046-0_2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1708707$8902D5DF-C858-4D82-AC0B-1D7AD69437D5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"535e5f91cc2ad05071b5c14b7adc902e93de34a5","datavalue":{"value":{"entity-type":"item","numeric-id":402130,"id":"Q402130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1708707$EBD932F1-89EE-45F9-BFE4-894849A2FA91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9491c0a0f4df059e837824eca71ad92c31ba0be2","datavalue":{"value":{"entity-type":"item","numeric-id":278754,"id":"Q278754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1708707$21FAE097-BC85-4CF6-87CA-051B3217326C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ce4c06e761dc26b3e41ce19450af68b5cc9744a2","datavalue":{"value":{"entity-type":"item","numeric-id":355064,"id":"Q355064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1708707$09953A5A-ED05-4B8D-B55A-AC4F4E2C73CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e27ba413d292f7b6fa375ce4205d55ab082f005f","datavalue":{"value":{"entity-type":"item","numeric-id":1708706,"id":"Q1708706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1708707$CCEC22B2-27AC-4BDB-BD9F-CB163605081D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8a82fdf4a918c0f6ebce8b814fffa2efa1f2ae62","datavalue":{"value":{"time":"+2018-03-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1708707$9E588D91-0EA6-448F-BD8A-0369EEB3E8DA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1708707$69EBD759-8D44-4579-B51B-1E403CB09E8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1708707$DD651F77-338A-4875-8A47-94DCA17D1AEA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1ab836b451566e04c248caaa40b0f072bb36770a","datavalue":{"value":"6852762","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1708707$817AE644-DC9C-4E2E-BBF8-4CF4775E5598","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":"Q1708707$EBC88AB8-0544-47E3-B58D-752F549359BD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1e90761cea359d705e69a528dc5b5a84fe19590f","datavalue":{"value":"https://doi.org/10.1007/978-3-319-51046-0_2","type":"string"},"datatype":"url"},"type":"statement","id":"Q1708707$9FAD9C0C-B9E3-4383-B5EF-E018B5D6B9B5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b3f9da1567c5f97ac6fff31e6aa6ae1fbbdc6ec5","datavalue":{"value":"W2563328880","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1708707$922FD49C-18E9-410A-9578-13D7F8A1FE47","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"832af7993609796c831bb891552fb592755b37d6","datavalue":{"value":"Q59556875","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1708707$16DB7E94-4A8A-494A-9329-CC78968388C6","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"474c1edeabd5dbe88c9e8be2d86b0653aa426ab9","datavalue":{"value":"conf/birthday/ChiltonKMW17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1708707$C610F038-CF25-4BF9-AF33-9D6AF5B899F1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14006c5fc1c2445fc179a31a15044d44366abf6d","datavalue":{"value":{"entity-type":"item","numeric-id":5890048,"id":"Q5890048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63ba93a62978bf61707f0505070ccd6db152afe4","datavalue":{"value":{"amount":"+0.9321516","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1708707$980388A4-9352-4DA5-94FF-9ABB1A9D612E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3979dec079f0048d6f66f3bd48eb788ff780fa01","datavalue":{"value":{"entity-type":"item","numeric-id":968306,"id":"Q968306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ff2754165f0c6c58a6b16e5fb5c396712303cb6","datavalue":{"value":{"amount":"+0.9274473","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1708707$08C951C1-A6E2-49E4-9087-1B9646EF229B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4678dffff78254552192155159d057c332468e7e","datavalue":{"value":{"entity-type":"item","numeric-id":2767163,"id":"Q2767163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c83973c49b7cd47d6c699e74dd4779adf68f06c","datavalue":{"value":{"amount":"+0.92133856","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1708707$AB745CED-B6A5-4180-85D6-54E65CA02743","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb15dbe19849588caeb895716de1ff3c5a04ec9c","datavalue":{"value":{"entity-type":"item","numeric-id":1331923,"id":"Q1331923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d2f2ec741f82f8cfbcfc188303b141bc2fb7a2f","datavalue":{"value":{"amount":"+0.91805214","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1708707$6CCC8395-8416-4F9F-86FD-5FC00D6393DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c73374baa6b72c5548685afb86533a508fd57d07","datavalue":{"value":{"entity-type":"item","numeric-id":5170746,"id":"Q5170746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68f8760052a24821e6b064aea99b9f805ba1dc8c","datavalue":{"value":{"amount":"+0.9106829","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1708707$DA61CED3-8C7A-4BAA-A106-B738DBC8F6F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a9bb69bda6a5c3fb7e34f516df78aefa606e1ec","datavalue":{"value":{"entity-type":"item","numeric-id":4003544,"id":"Q4003544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6f24fb8ae3c763c87e631bc3b5393b76eae39de","datavalue":{"value":{"amount":"+0.9060823","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1708707$3E613EAA-1FA4-4DFB-A3A0-4F96D648C7F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c3005a3ed7c93b95f599b331687e586e72eea8f","datavalue":{"value":{"entity-type":"item","numeric-id":3999508,"id":"Q3999508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf24302548c3c3318b6b3206e05b04b6c21da0fc","datavalue":{"value":{"amount":"+0.90341187","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1708707$0FFE85DD-E802-4B33-BF78-3EFA0C6D5E9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f178f6d6899337c82b7efea85b79c9996a71276","datavalue":{"value":{"entity-type":"item","numeric-id":396986,"id":"Q396986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf24302548c3c3318b6b3206e05b04b6c21da0fc","datavalue":{"value":{"amount":"+0.90341187","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1708707$5BF7E6AC-4194-4B6E-89A4-65593AEB4B0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea418ffe8b66a5a5428a5256bbe8e46d1b64b171","datavalue":{"value":{"entity-type":"item","numeric-id":2576947,"id":"Q2576947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb8f3cba7e8c12d63289edcfe3583ddfafbb03c3","datavalue":{"value":{"amount":"+0.9012629","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1708707$173764AA-C395-4739-B327-01AE6E3D2814","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A specification theory of real-time processes","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_specification_theory_of_real-time_processes"}}}}}