{"entities":{"Q3648828":{"pageid":5678734,"ns":120,"title":"Item:Q3648828","lastrevid":50838782,"modified":"2026-01-15T08:57:24Z","type":"item","id":"Q3648828","labels":{"en":{"language":"en","value":"Realizability of real-time logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5641078"}},"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":"Q3648828$4E55B6C9-F78A-4FD8-AB8C-992283F46380","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b5beac19244b6988b0ccfee26d9da8deb7d00494","datavalue":{"value":{"text":"Realizability of Real-Time Logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3648828$E914203E-2791-457F-B67C-6A359369C341","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"597d00b6ce075fa1140e9adb4bab41591d1383ac","datavalue":{"value":"1262.68117","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3648828$ED64BDEF-58C2-4AF3-B280-B028DA5137C2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ba4a63137ff30e708762b37c91876fa8f44807ca","datavalue":{"value":"10.1007/978-3-642-04368-0_12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3648828$9C2ECD61-EBB8-4F79-8399-E7904CF036A1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e2b65dbd282c1f97bc4cab6e67d32bfc907f46f5","datavalue":{"value":{"entity-type":"item","numeric-id":528192,"id":"Q528192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3648828$AEB6977C-2A44-4E07-B354-5CCD601A4AF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"78c3f9f38aefd8497e435cf677955510a3778959","datavalue":{"value":{"entity-type":"item","numeric-id":487252,"id":"Q487252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3648828$FFEF2561-5279-41A2-B4C4-977734397685","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9b646ee061509acb6a3506609036ee3c01bb9d7d","datavalue":{"value":{"entity-type":"item","numeric-id":2009640,"id":"Q2009640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3648828$28BBC745-9D08-4ADF-A696-CB6D6B7B666F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8e2331a2eb35d5eca04fd9de57145000766bcc82","datavalue":{"value":{"entity-type":"item","numeric-id":453497,"id":"Q453497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3648828$5A05BD29-5A08-4EA5-B9D8-AE3CD46CCB3A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3648828$B62142A6-1955-4B6C-8A96-96E100D4D9EB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b8bdd78fc222a44e05f767ee071ed0c7d623c0a6","datavalue":{"value":{"time":"+2009-12-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3648828$590480F2-2BA6-4900-81BE-EE710FA12E04","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3648828$31054AC1-F49E-474C-B75D-2A01B062DD86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3648828$864B535A-4146-4AD2-B6C7-60BC4B7C7099","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3648828$5C23A532-EA20-4D19-8B76-C2B2B3F6D07C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3648828$DF6C3A62-71EF-4D47-ABC5-4F5B5582ABA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3648828$C5FFF845-DA49-4C7E-A841-2C4D421486A1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"23260cdd2cdc4c52c0ba6b75c579b2d53c331ea4","datavalue":{"value":"5641078","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3648828$5EBEAB25-93ED-4D90-9591-587BB1BB69D3","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":"Q3648828$9763279C-73B5-4AFA-BA1C-4957C30F22E6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"82bb47ad2733410d907fc1028d5308941d9b44d7","datavalue":{"value":"https://doi.org/10.1007/978-3-642-04368-0_12","type":"string"},"datatype":"url"},"type":"statement","id":"Q3648828$1C757C63-606F-4E3D-95E7-D81681AFB66D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d0fa4d8129c939ac949e01e45e762212bf8f67b3","datavalue":{"value":"W1919217118","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3648828$3B984568-9938-442F-9719-488ED4336E5A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6920ce6a126f18e82d65e8effcf860c634e06c34","datavalue":{"value":{"entity-type":"item","numeric-id":1322162,"id":"Q1322162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3648828$8AEC3021-9FE6-4926-AFCB-81ECE409021C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8e019e14c862ddaf7bcd66cd64d6515bc5dc195","datavalue":{"value":{"entity-type":"item","numeric-id":4371517,"id":"Q4371517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3648828$B37F912C-A3AC-4154-92B8-18B6CD305E71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68ccf8586597c3566f257c91d59d2b4dcf95056d","datavalue":{"value":{"entity-type":"item","numeric-id":1274452,"id":"Q1274452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3648828$B6B11308-A134-433C-A7B3-F1680C004B58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"476b053757dfd493b160f0bd386b81fa8778d445","datavalue":{"value":{"entity-type":"item","numeric-id":4230338,"id":"Q4230338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3648828$1A84AA25-CB70-4AC6-A786-A74FACF335CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be00c63685f57348b9e88ace758aea96980b1481","datavalue":{"value":{"entity-type":"item","numeric-id":4299300,"id":"Q4299300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3648828$725E53A5-3415-45CC-8B83-78A8DBD514DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb6f907375452243a2c9126d833eb69c278b09d7","datavalue":{"value":{"entity-type":"item","numeric-id":5756610,"id":"Q5756610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3648828$F4FA1489-A128-45A6-8852-5FF5D2F5EC89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"104c858b096e3970a05febe3d3b6e8ed49332047","datavalue":{"value":{"entity-type":"item","numeric-id":5897475,"id":"Q5897475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3648828$3E9F431B-6AC2-4715-BBEC-32A01462969D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9dc16300888c66141e74540812f1fdf703f0bec2","datavalue":{"value":{"entity-type":"item","numeric-id":3510796,"id":"Q3510796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3648828$54D3B5C8-3A29-4B24-BB0A-3F30F42F535A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3842f0ff319bc45af3c0bd633d5c7781f2ab5196","datavalue":{"value":{"entity-type":"item","numeric-id":5900563,"id":"Q5900563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3648828$EB62EBE8-4B93-4E35-B36F-4F31DBF8A785","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"299f0e222fa0320068daa86655dbdc8583b9cf48","datavalue":{"value":{"entity-type":"item","numeric-id":3636866,"id":"Q3636866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3648828$79DB84BE-3184-4C1F-97FB-24155B13EB85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0b9800fc34831d316e22ed5ebcc630401c60373","datavalue":{"value":{"entity-type":"item","numeric-id":4251916,"id":"Q4251916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3648828$908BD1A3-3CBC-4D79-A2C4-5D9BD24663ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e42f0028eb276733b0205f8d462592e23f52066","datavalue":{"value":{"entity-type":"item","numeric-id":1401309,"id":"Q1401309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3648828$3452898C-4C3A-49EF-9D15-AFA31010258E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b57a23d6b2c5d2b40a624c2a92bf9c4da58b7ba9","datavalue":{"value":{"entity-type":"item","numeric-id":5897950,"id":"Q5897950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3648828$BEAF223E-52C2-4CA1-B6EF-B104E3B2F188","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8628d6f30157cef228eea43aff9d3666f3d15e4","datavalue":{"value":{"entity-type":"item","numeric-id":5429317,"id":"Q5429317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3648828$FDEA3593-A13A-4560-93C7-DE94ADD3FC8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"007b3bdccae716a59e9fcd68043221be3f0adcfc","datavalue":{"value":{"entity-type":"item","numeric-id":3587259,"id":"Q3587259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3648828$7CFE3092-0557-4D9F-A936-75266AB1B09A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53675075288675fa7342cb7f3aca57c38db7e5cb","datavalue":{"value":{"entity-type":"item","numeric-id":4596624,"id":"Q4596624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3648828$0AA4B15F-77D7-488D-A6A7-9A389D8BC81D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9cf8663ee6d45c3185a10176c895ed8d23da520a","datavalue":{"value":{"entity-type":"item","numeric-id":5310684,"id":"Q5310684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3648828$686D830C-71D7-407F-A7A3-1BEA22339F23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22776ab6df6d965eee7a85c38c01c6d8ff808663","datavalue":{"value":{"entity-type":"item","numeric-id":5426071,"id":"Q5426071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3648828$F2FD3289-C166-4D2B-91EB-BE0633D9D58E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0100b938aa02592e3dcec5a016d883a9d79cc50a","datavalue":{"value":{"entity-type":"item","numeric-id":4205072,"id":"Q4205072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3648828$FFCF8DD0-3967-48D8-9EAC-2BD39356EFB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"034d7339259808ce2c0fbe8cdb5235bcf1f5f4c6","datavalue":{"value":{"entity-type":"item","numeric-id":3710510,"id":"Q3710510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3648828$BB1D4E71-5368-49B9-BF6F-8B919833C8B7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4fb7adb125ffa28fc8b510329f49d03380666ae6","datavalue":{"value":{"entity-type":"item","numeric-id":4251916,"id":"Q4251916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64d5c32d6d8fe9568b34f157fe5d57f6d1344865","datavalue":{"value":{"amount":"+0.8378545045852661","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":"Q3648828$76BD25DB-B694-4FB4-A3A0-9A7E557CED49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d7ead5727c5fd6d7326da705083f0c9b5e83204","datavalue":{"value":{"entity-type":"item","numeric-id":3519496,"id":"Q3519496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"edd4da9441f4866a8f6c116682eeb5719bb784fd","datavalue":{"value":{"amount":"+0.8326412439346313","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":"Q3648828$8D765C6F-CE4B-45BF-B87A-10DBBA73FA10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c61fea90527f971c81883a7c73f7212968b73108","datavalue":{"value":{"entity-type":"item","numeric-id":4603562,"id":"Q4603562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91d01e98be7446c372a4568e36ac59d152dd3572","datavalue":{"value":{"amount":"+0.8240658640861511","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":"Q3648828$41C53E2F-CF1D-44B7-AE8E-4817CB0124E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96239a973a0e33d1f7fec3499d31262df1b4b516","datavalue":{"value":{"entity-type":"item","numeric-id":4299300,"id":"Q4299300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"babbab609bdc4a10eef71a4ef34dc83c71b09f0d","datavalue":{"value":{"amount":"+0.8235496282577515","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":"Q3648828$5AF58EA3-DB83-4275-B6FB-C4CFBF9A6413","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37ae978124f3be84bbc317e25142899f8487a143","datavalue":{"value":{"entity-type":"item","numeric-id":4251919,"id":"Q4251919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79d44003420fb553c25c003bb2dfcf704a8bbfab","datavalue":{"value":{"amount":"+0.8222640752792358","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":"Q3648828$7B88D9A4-AD1E-4491-9716-9FBB1FCFC8CC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3648828","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3648828"}}}}}