{"entities":{"Q6174549":{"pageid":13309437,"ns":120,"title":"Item:Q6174549","lastrevid":58735914,"modified":"2026-04-06T12:56:48Z","type":"item","id":"Q6174549","labels":{"en":{"language":"en","value":"Tableaux for realizability of safety specifications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7728859"}},"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":"Q6174549$C9B249E9-F028-4BA7-A6C2-7299DD1483F6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"780fde23afeedf77e84a72b0b65a576715d49dd3","datavalue":{"value":{"text":"Tableaux for realizability of safety specifications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6174549$FBABF11B-A7AC-4C41-A54E-F7C913B9AE76","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"46ba73c2c6a89581c6161cc19f26a5425d69590c","datavalue":{"value":"1529.68159","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6174549$4840F2F1-F898-4188-8A9B-B87AE0EF159D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"62d92eef70a72857b8af88e6209ad13ffe2c4088","datavalue":{"value":"10.1007/978-3-031-27481-7_28","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6174549$D74C26F1-71B9-4C87-9E3D-3DE5BB319F2E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"eb667340cfbcd9cd67a94ffb3784afb72b2034ec","datavalue":{"value":{"entity-type":"item","numeric-id":287085,"id":"Q287085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174549$6202444A-7089-466A-8C65-ADA8A8C4175D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c1fc9c84eb3207ee438d2d5ce3c97d92242bb030","datavalue":{"value":{"entity-type":"item","numeric-id":352972,"id":"Q352972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174549$468E9391-87D6-467B-849C-53BBCAB31A0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a8713ee3f10f93ccd03e7402b982f504280ddecb","datavalue":{"value":{"entity-type":"item","numeric-id":278751,"id":"Q278751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174549$46EC036D-349E-4D5E-A00B-07A526C29111","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e94b967ae8cf6f3b704a08992f5caf4130874d09","datavalue":{"value":{"entity-type":"item","numeric-id":5918261,"id":"Q5918261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174549$85D123D6-315A-498A-8442-A11CDCADC130","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"441006eb796e3a3facfc20a479629ee7d34004ed","datavalue":{"value":{"time":"+2023-08-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6174549$E2B26908-6E40-406A-A940-869BF8F79B65","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"52e85f95d623943a38d391502d9620337d5a6717","datavalue":{"value":"https://arxiv.org/abs/2206.01492","type":"string"},"datatype":"url"},"type":"statement","id":"Q6174549$3B153EC5-EC30-46F6-BED5-42EB85EDA836","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6174549$0AFB85C4-D906-4CB0-8A06-ADFE44C84A1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6174549$9FE299F9-872F-4526-B74D-D1CDF6666318","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"89e2136bd88cebae7bf90ccf3b7d9c37a12607e7","datavalue":{"value":"7728859","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6174549$0CC7C8C4-0543-46FC-A563-5CD748EFFE3B","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":"Q6174549$A8D53357-A703-455C-AED8-C1F3FF8AAD33","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"44337b1dd39564761a6275e51564cc64f01e6662","datavalue":{"value":"W4323026598","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6174549$8C4F3D12-CAF1-4F51-B2CF-5B7566B4352D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"73fd06da9348f1d52e2cbff62e89d8a526dbbeb2","datavalue":{"value":{"entity-type":"item","numeric-id":770676,"id":"Q770676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174549$89F1B8CD-B4FF-4B36-8AED-C188D2DDAB42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6af1feed9420fbd9bfd80527390996ecd04d3fa9","datavalue":{"value":{"entity-type":"item","numeric-id":439954,"id":"Q439954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174549$2BF1C517-692B-47D8-9BBC-9DE7A3455B4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16381af0cca809d96a3239e7f95bab63296fc5da","datavalue":{"value":{"entity-type":"item","numeric-id":2938057,"id":"Q2938057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174549$9BAC668E-502C-4217-9DCE-66FE59DAD9A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eed95bbddeb07790db452fc32f143b39f90e5aa8","datavalue":{"value":{"entity-type":"item","numeric-id":5573394,"id":"Q5573394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174549$4DAC33CD-BE12-4866-93F4-4233695A1B03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44410af1243ffce9ef035f8f4e879f1bb5267de4","datavalue":{"value":{"entity-type":"item","numeric-id":3000656,"id":"Q3000656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174549$5A6ECDF3-FF4C-4617-88E0-350A6F2522FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14aad40e50dc07b7f7de0a5587443b999e837b95","datavalue":{"value":{"entity-type":"item","numeric-id":3449635,"id":"Q3449635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174549$C611F3FE-84CB-4EFA-83DE-8B7AC4A91F84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6df398e3a53c79af1d031e755ed11a5588d62b8d","datavalue":{"value":{"entity-type":"item","numeric-id":2891413,"id":"Q2891413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174549$A5ED47E4-7583-4A1A-A0B7-B6916B0D3A9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c79b895985d0d6c7821ee461f8e253a22400b67","datavalue":{"value":{"entity-type":"item","numeric-id":4633529,"id":"Q4633529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174549$6D516004-3B97-4FF0-93D8-920484FF1361","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1aa9496983c523e576ed7e030ef8b8418be0e0d0","datavalue":{"value":{"entity-type":"item","numeric-id":3510817,"id":"Q3510817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174549$D1220681-8089-457F-BAB9-8A61D51D3083","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a496189b2c0d0db72b1b1548e59d07017b738a59","datavalue":{"value":{"entity-type":"item","numeric-id":1035676,"id":"Q1035676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174549$6F34B749-1EE4-43AB-8ED6-9C84DBC982FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"975b69a52d70fff5a2cc8b737e571d9ff57ab726","datavalue":{"value":{"entity-type":"item","numeric-id":5191118,"id":"Q5191118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174549$6B7D6CE8-BF25-4C63-B501-188903FE23D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2768bf8a06740f15968dcb91e83d15f35832498e","datavalue":{"value":{"entity-type":"item","numeric-id":2926642,"id":"Q2926642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174549$4339EF9C-E862-4C17-BCAA-7933A2E3D81C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53a6fb179be4f0deb772b6a4020e8dd61c6e66ac","datavalue":{"value":{"entity-type":"item","numeric-id":2303871,"id":"Q2303871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174549$C53AA8D4-1CA2-4643-B64B-45BAFC86C035","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee375c7bcc9847e2999b97cdff8f98ca7e0a19de","datavalue":{"value":{"entity-type":"item","numeric-id":5898629,"id":"Q5898629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174549$D1947A42-0B6F-4D13-89BA-C799E820CF23","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":"Q6174549$010C40E9-3BA6-487E-9D37-6A9A500322B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7bf387cf6efa0c72efe979138deef219e19f92f0","datavalue":{"value":{"entity-type":"item","numeric-id":3838819,"id":"Q3838819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174549$63BC699A-E81A-47F2-8C39-CFDD536391C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f6573aa594565f6ef8fb7bfb385cb8fd11e9b6e","datavalue":{"value":{"entity-type":"item","numeric-id":1675160,"id":"Q1675160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174549$B10BA65B-E338-4B1A-A0FB-987D51730A93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9be1d7bb0141c600a3415908525c502c9ffc451c","datavalue":{"value":{"entity-type":"item","numeric-id":1341752,"id":"Q1341752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174549$F15B35B6-E0CE-4772-AE8B-07ABA82AFD47","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":"Q6174549$7D6E0352-DC85-4BE8-B176-8DEC85E786FB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7402074e23113d3349cf30046c1ec1c19b1f6812","datavalue":{"value":{"entity-type":"item","numeric-id":2938057,"id":"Q2938057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39ffa475b8e6d2738e98bf8ca5d94c8d40d244da","datavalue":{"value":{"amount":"+0.83505845","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":"Q6174549$752D5CE5-995C-42A9-8FB8-AC4BD6D40DED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c7ff4474bcac0fcc680c87ac49ec5f8e12e5838","datavalue":{"value":{"entity-type":"item","numeric-id":5479162,"id":"Q5479162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f3d974dad2bdabd1cf6ac81bf65c2e0d325b677","datavalue":{"value":{"amount":"+0.8308291","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":"Q6174549$7A3475A9-2B6F-4849-8603-74382E37AD7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8004059c2002a6197f7c514da59cfacdb9fbc24","datavalue":{"value":{"entity-type":"item","numeric-id":5394804,"id":"Q5394804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb49a461f4dd39f3f9688dcd9a8cc4456cd9d1b4","datavalue":{"value":{"amount":"+0.82458794","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":"Q6174549$562104A8-36F2-4DE1-9F57-9EFF939FA899","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d22ceb08b8a5355f7d69a63748b1557292784084","datavalue":{"value":{"entity-type":"item","numeric-id":4373489,"id":"Q4373489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06e8885084525504ea86a27df356eeb7d8c0829a","datavalue":{"value":{"amount":"+0.8223403","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":"Q6174549$07964689-BC59-4C75-BE90-E3F3E4477E64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ec871a9505b08233e7fdc01ae2af4d37b6fee6b","datavalue":{"value":{"entity-type":"item","numeric-id":4484487,"id":"Q4484487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a96315d2c6705d2cd051ec04c102b78ff048030d","datavalue":{"value":{"amount":"+0.820566","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":"Q6174549$C47F976C-CB18-441C-A7E2-BDA812E60262","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8aaf6cd40d4afaabbe1e4ec2041e6cbaf13e4bd","datavalue":{"value":{"entity-type":"item","numeric-id":4564162,"id":"Q4564162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"511dec636dabf6b8bc1854a0e4d18a763fe35322","datavalue":{"value":{"amount":"+0.81423074","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":"Q6174549$7F148893-990F-4717-A2C6-7BED10BB9655","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff8d91e6ce575af74c54b6bc0b1a17a81066a546","datavalue":{"value":{"entity-type":"item","numeric-id":4444736,"id":"Q4444736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8628c215cfcd654997a61fad2a3d64c034b9504f","datavalue":{"value":{"amount":"+0.8115151","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":"Q6174549$384F6BA6-4C23-4086-80E7-5E9D2983477B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6174549","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6174549"}}}}}