{"entities":{"Q5709997":{"pageid":7739551,"ns":120,"title":"Item:Q5709997","lastrevid":48604228,"modified":"2026-01-05T08:53:23Z","type":"item","id":"Q5709997","labels":{"en":{"language":"en","value":"Theoretical Aspects of Computing - ICTAC 2004"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2234620"}},"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":"Q5709997$90823A1E-2EED-4417-A5A7-6D98D8C5B0D1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"694bf427a9cf5d3ba4adf4d6dfbe4288bd472403","datavalue":{"value":{"text":"Theoretical Aspects of Computing - ICTAC 2004","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5709997$405E7150-6975-4740-B36D-F5E8AC347E7F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b34452b186b08f4c171abd9f5d34d62c60cbeb67","datavalue":{"value":"1108.68522","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5709997$C68382B8-A580-4739-8815-8FB3DC657DFF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1bd24191805c7a49ce521980f5b81f6e07a1096b","datavalue":{"value":{"entity-type":"item","numeric-id":968305,"id":"Q968305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5709997$468D169E-8C0C-4DC4-898A-950B14B059F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b8b4b706e0e1892c8640abf317cd4e1ff44c4fa9","datavalue":{"value":{"entity-type":"item","numeric-id":207989,"id":"Q207989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5709997$11A547E1-AFA9-4C95-84F4-11A9244373A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7f27d31a7277a70c7762a067d64f6707ee9b1ea6","datavalue":{"value":{"entity-type":"item","numeric-id":315300,"id":"Q315300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5709997$82E03B8B-97EE-4ADB-90EE-E04CE24B791D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f98a6fdc4ebcefbbd3979701deb01ce817be9a62","datavalue":{"value":{"entity-type":"item","numeric-id":175412,"id":"Q175412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5709997$222633C1-34F5-4EEA-824B-A0338181D968","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":"Q5709997$8B0A1409-5CDD-46EF-80B0-20B24ABE3E7C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5bcdddc97c470cacef297f6810a3ba99ca55103c","datavalue":{"value":{"time":"+2005-11-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":"Q5709997$1150AE45-638C-42EE-9EF0-141E1BF42EEA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5709997$30F93EF5-2CFE-4893-814A-58DA086F7725","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a092adc9e52cc87ad3c65ab973ed449b4eb06fcb","datavalue":{"value":"2234620","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5709997$8F47D7A7-2DD4-4705-8217-84853F11E0E5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47e8c8372f44c407ee2f7bbbbe9a79e95b7f1095","datavalue":{"value":"Formal methods integration, formal verification, real-time systems.","type":"string"},"datatype":"string"},"type":"statement","id":"Q5709997$1C40A66F-E6A7-4104-ACBE-FF000E750E4C","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":"Q5709997$3EA96E5A-8D6C-4F4A-8956-BB9B1C5BBC02","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2142506e7147752a7e9764fc673ddc388a6a8226","datavalue":{"value":"https://doi.org/10.1007/b107116","type":"string"},"datatype":"url"},"type":"statement","id":"Q5709997$8954289E-3ED6-4F9D-8575-87A995116440","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"587b57109f8ec7f3b02fd9e23fe6f40fc1a8a6ca","datavalue":{"value":"W2493490011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5709997$95CF1EE9-1D36-4411-91D4-749FC431DAED","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2398df119b7d7229c80ddb257deed42d0363e32f","datavalue":{"value":"10.1007/B107116","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5709997$76AC2E26-EBDD-48A5-8610-DB328A39DDE4","rank":"normal"}],"P1643":[{"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":"644eb0603e38c763f5953e578541445b03d21a95","datavalue":{"value":{"amount":"+0.8840407729148865","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":"Q5709997$E4249E64-B2B0-427C-B219-6AD29F1AC2CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44ac331d4c42fed1202fac7a8c1d5b77b0444a17","datavalue":{"value":{"entity-type":"item","numeric-id":2764145,"id":"Q2764145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b02e457103087652d4f4d9081bd5e3f3a5e4d2e5","datavalue":{"value":{"amount":"+0.7476711869239807","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":"Q5709997$67C98412-F121-408A-B277-4CA7197C02A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b64ebf2525bb34b3ff7dca7e201c993c4543319","datavalue":{"value":{"entity-type":"item","numeric-id":2848461,"id":"Q2848461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7959a5972d332f72848259052a1f77e3d14104b3","datavalue":{"value":{"amount":"+0.7435200810432434","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":"Q5709997$207296B0-5D9A-4C5A-9835-170E9EC03352","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e3c9cd7190a4c7db3ab8bed546f589e49d51ea2","datavalue":{"value":{"entity-type":"item","numeric-id":4737564,"id":"Q4737564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1708e066ef72cd267d302f23d972aafad071740e","datavalue":{"value":{"amount":"+0.7425482869148254","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":"Q5709997$69AA2EE0-F9EC-428F-AB1B-B54D66F7BBEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8dcfdbe3db5da68370cc143bbb23037f14d154c7","datavalue":{"value":{"entity-type":"item","numeric-id":1601245,"id":"Q1601245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"048b3bd8cf4add3cb395222f1ecbde04445a6bf4","datavalue":{"value":{"amount":"+0.731383204460144","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":"Q5709997$FF324906-25DF-4700-8353-E0357D150A7D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5709997","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5709997"}}}}}