{"entities":{"Q5709988":{"pageid":7739542,"ns":120,"title":"Item:Q5709988","lastrevid":101653178,"modified":"2026-06-06T01:56:20Z","type":"item","id":"Q5709988","labels":{"en":{"language":"en","value":"Theoretical Aspects of Computing - ICTAC 2004"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2234613"}},"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":"Q5709988$03E850F4-2D26-40A6-BC5E-692589F9D5DA","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":"Q5709988$AA28C3DA-9CAE-4DEB-B485-A4C2299EA5FC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"658cd28a35650941a7aafb932181651447ec6b62","datavalue":{"value":"1108.68357","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5709988$5D4DBB71-D2AF-4900-BB06-D80E1DD3E606","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"488982ce91fa326a8efdeb4681f42f831ce7e270","datavalue":{"value":{"entity-type":"item","numeric-id":2883285,"id":"Q2883285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5709988$FCCCA5C7-32EE-4232-936E-BA0315D499E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5929ff272348bba15532f51904169363b436dcd6","datavalue":{"value":{"entity-type":"item","numeric-id":2763970,"id":"Q2763970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5709988$F9A61193-DC44-4810-9EC8-44087C8E8406","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dc9ea84e6c8e5e93f813c7dbb8c633a2be677330","datavalue":{"value":{"entity-type":"item","numeric-id":2758317,"id":"Q2758317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5709988$BE423812-6A25-48BE-8A5A-6DDF00C01FEA","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":"Q5709988$3393761E-3D36-4A96-9E8A-FFBB9F363DBF","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":"Q5709988$5CE17763-DB8C-4423-9833-5D7CF7BFEE7D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5709988$D32CB425-D541-41E9-A1E8-78F487D116C3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ccb5a79c0c9ad932f574f45cbf1d6fa985024037","datavalue":{"value":"2234613","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5709988$0BC895C8-D937-405E-B151-024A3E401A75","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"007dd0a91abb3a2532ce8be7a524d0c840268b61","datavalue":{"value":"real-time reactive programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q5709988$7C5F01A5-7DAC-4FB4-A819-C508EF9BC964","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc80d478ee774a8d6ef0e8683a26e5dae5513cd7","datavalue":{"value":"intensional programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q5709988$0C838783-1545-4478-99C2-667B5948492E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0ae35e3f0c0581443c3dbdf431aaa5a7a9a83634","datavalue":{"value":"contexts","type":"string"},"datatype":"string"},"type":"statement","id":"Q5709988$3E130BB7-10F3-4EEE-9947-D741DA1373AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5709988$D889D775-81F1-440E-A8D8-0B732DF43EE3","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":"Q5709988$91D1C44D-E4F8-414D-BCBD-D1BA16AA2BB5","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":"Q5709988$C1660359-6B7A-409E-BF9E-37F1CDBE4561","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"587b57109f8ec7f3b02fd9e23fe6f40fc1a8a6ca","datavalue":{"value":"W2493490011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5709988$0CBB93B3-4555-4D29-927E-AE3762B00C9C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2398df119b7d7229c80ddb257deed42d0363e32f","datavalue":{"value":"10.1007/B107116","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5709988$FB93CDA9-4022-453A-8A70-F9DA2819364B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b06717c60dddef2e1da098bfef1d1e28214e4179","datavalue":{"value":{"entity-type":"item","numeric-id":2758309,"id":"Q2758309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32a141096bb9cffb1798dfc284b87167fe3b4bc7","datavalue":{"value":{"amount":"+0.7582515478134155","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":"Q5709988$0E7F3139-D951-4442-B75A-05EF2CFDD876","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5d6ac589de29517ff77440839a6d38aa30e1bbc","datavalue":{"value":{"entity-type":"item","numeric-id":4250746,"id":"Q4250746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a740a56b023e7c69ae9605a97fbca92b9d3c7edf","datavalue":{"value":{"amount":"+0.7547355890274048","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":"Q5709988$9B34BAEF-E932-4149-92A0-CB074D4ECCA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa7a874964ff155795568380173204db5b147374","datavalue":{"value":{"entity-type":"item","numeric-id":3566476,"id":"Q3566476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0647783cf7f89e7bf07a8d037f86dd376c58dc3b","datavalue":{"value":{"amount":"+0.7544109225273132","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":"Q5709988$8D7341DF-D879-43FE-AFA4-4CB25D4F9ECC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e97a40928b7bfc07d706dfb6b2d2349b0af96ac9","datavalue":{"value":{"entity-type":"item","numeric-id":4675616,"id":"Q4675616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab1489f02f61258c19c935c25d24be5bfe8227ff","datavalue":{"value":{"amount":"+0.7508357167243958","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":"Q5709988$4A1A7071-A541-493B-B20C-3A352955035E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8924a7e1cad26dcec4f3c208c4c327c56ab1db72","datavalue":{"value":{"entity-type":"item","numeric-id":4284985,"id":"Q4284985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df66919dd91185e21ed4837477f7ba0009cfefa5","datavalue":{"value":{"amount":"+0.7492855787277222","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":"Q5709988$4CEA6FCD-85F1-41F7-ACF0-413CE77D4054","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Theoretical Aspects of Computing - ICTAC 2004 (scientific article; zbMATH DE number 2234613)","badges":[]}}}}}