{"entities":{"Q1603710":{"pageid":1614450,"ns":120,"title":"Item:Q1603710","lastrevid":74125686,"modified":"2026-04-14T18:30:41Z","type":"item","id":"Q1603710","labels":{"en":{"language":"en","value":"A formal model of real-time program compilation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1767911"}},"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":"Q1603710$7A8D9DE6-9A94-464D-8044-DCB89694E7B1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"74c95242a0ca0bd301ed6d268fd49b42f60d9c65","datavalue":{"value":{"text":"A formal model of real-time program compilation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1603710$C5EE43F6-B998-49DF-B2A6-8D6AEF300B0E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fbad078c149e705ce317fff9fdfeb3b53bda08d5","datavalue":{"value":"0997.68024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1603710$A451AE5D-3DBC-4631-9618-D05915B4F7BF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"eb1f9d2dc4f33311b58bee77044cd654576a727d","datavalue":{"value":"10.1016/S0304-3975(01)00047-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1603710$C23EC200-5900-4AEC-82F7-FF93A1169258","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ab712635b884640daa2f5ebe5a1b35d9393debbe","datavalue":{"value":{"entity-type":"item","numeric-id":706491,"id":"Q706491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1603710$D71BDAE8-76E3-4EA8-BB81-ABCF716C34B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8b7876d568df50ce3b035bc48ad897cc06d7843d","datavalue":{"value":{"entity-type":"item","numeric-id":706492,"id":"Q706492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1603710$8DCF725C-97AB-4D10-A571-06A54D9B0803","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1603710$47B485D6-7969-4A94-A162-94A01A1607E6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"eb77668c0bac74ac5ea553fa2146ed5e736444f1","datavalue":{"value":{"time":"+2002-07-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1603710$DA2C4FE8-90C6-47AB-98DC-CEF0AF50DC26","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3affb2aa66be15f2a63c60d2aaa92bd143e6d46","datavalue":{"value":"68N20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1603710$742628FE-8467-46A3-9538-5B862BEE48D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1603710$4CDF454C-018B-45F8-9E12-DA45475C1176","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ffca0eb8294a0fd66dc7fb397b45360cefc243fa","datavalue":{"value":"1767911","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1603710$C91299DC-2078-45ED-9C28-AACC9D714C02","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40e17a7cb8710771acd5402f91cff6ae2c7d64aa","datavalue":{"value":"refinement calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1603710$0B9AC823-CF08-4F9B-BF16-E3B87746543F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aff6a97bff44c5401a8071926c502323c597fe87","datavalue":{"value":"program compilation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1603710$16ECC170-E768-425F-A6DD-36171C7234DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae1478f0080b70574ea441c7d2a3b6db779c2f9c","datavalue":{"value":"program semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1603710$875FFD98-1E10-45B5-BFB3-8C898F0871CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e3b572bd892b2622817e6c73e89f06227fcfcbb","datavalue":{"value":"real-time programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q1603710$804CD226-090A-414E-B830-FF8B10A979F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c50d987ab7c3ea2a41cb6aca681d912964971ed8","datavalue":{"value":"program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1603710$D99D64DD-323E-48F1-868F-85FA689D7BE0","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d8400ab86b306a4378eebf43133a98098c8e98ab","datavalue":{"value":{"entity-type":"item","numeric-id":46220,"id":"Q46220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1603710$756BDE71-C3C8-4E12-997A-16060A824518","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":"Q1603710$4E628789-8636-49A3-A031-79F7CF2F28A2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"79e807f14dcd5f9ad4f6bbeb1f8ea3c4bbb7d6d4","datavalue":{"value":{"entity-type":"item","numeric-id":4396958,"id":"Q4396958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1603710$F08F5321-43F2-48CA-AC1E-2BD692791FF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d1648cec76798ceef2f4a257235d5d253de7551","datavalue":{"value":{"entity-type":"item","numeric-id":3998243,"id":"Q3998243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1603710$42E406CC-2523-4A48-8E10-27BD2B5E7B81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"145ba4ed8ff284bc41a418ac8911941d54ea5802","datavalue":{"value":{"entity-type":"item","numeric-id":1177155,"id":"Q1177155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1603710$1135394E-362A-4E73-8A5A-C2E1811549FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bda4a9f9c606ce092edac0a7dbc3ca304257f34","datavalue":{"value":{"entity-type":"item","numeric-id":4250651,"id":"Q4250651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1603710$D076EE6E-90AB-4B3D-A4AC-271F420B3840","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e878bd6a0632ad42598e4d835b7bc330834119e9","datavalue":{"value":{"entity-type":"item","numeric-id":5929982,"id":"Q5929982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1603710$578B9528-6CD3-4B73-AD6C-288C7F6C92DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2788f1ab9918681ddb3a2253609d3bb616e0c398","datavalue":{"value":{"entity-type":"item","numeric-id":4315825,"id":"Q4315825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1603710$2DB4EBB9-4CDE-49DB-A0E9-06486AE17C75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2a840aa1cf7405132ba146cebdb838aef7b42e9","datavalue":{"value":{"entity-type":"item","numeric-id":1346607,"id":"Q1346607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1603710$65715418-F317-4D64-9149-E6E17C2A956C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68c4fac4fe70a99d82ff03cc4b7fde7cb5aea538","datavalue":{"value":{"entity-type":"item","numeric-id":1323320,"id":"Q1323320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1603710$7746FF14-6202-4242-A188-B3B41649725A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e9876aa497a28b26a5ac896d7e1ccfc905b3b2f","datavalue":{"value":{"entity-type":"item","numeric-id":4370262,"id":"Q4370262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1603710$AFD16446-E03D-4A63-AE7D-622950246718","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0810a8669ee6055d41850dddbbe1485791cc695a","datavalue":{"value":{"entity-type":"item","numeric-id":4537138,"id":"Q4537138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1603710$5C925CE4-E78C-40E7-A6A7-24396760AA92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8576dc8df0d7857399ab718724b601efc6d9d7d","datavalue":{"value":{"entity-type":"item","numeric-id":3996918,"id":"Q3996918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1603710$4C94F4DF-8FED-4DB6-B347-28DB018F6009","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"995802fb631b246debe69a675d83853e924274ac","datavalue":{"value":{"entity-type":"item","numeric-id":918219,"id":"Q918219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1603710$BAF77FD8-E8EC-4DD6-94DD-28AB785ED4A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25282e1f0c1e0eccc5ae4ce78bc688548d8c67f5","datavalue":{"value":{"entity-type":"item","numeric-id":396975,"id":"Q396975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1603710$57F38EB2-C512-48F3-A012-3D268D8F818C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be61ea9abc8270253f436870a1a205794f76258f","datavalue":{"value":{"entity-type":"item","numeric-id":2715820,"id":"Q2715820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1603710$939A240E-8B24-4206-B0B9-403D23A81A74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e320d5ab20d9378e83c08a862b63bf2725892d4a","datavalue":{"value":{"entity-type":"item","numeric-id":2653567,"id":"Q2653567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1603710$60F737F7-F9AC-4796-BE70-8508CE10AE9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"366dbd3633e676d302197e3c2b4b5ea18df128f9","datavalue":{"value":{"entity-type":"item","numeric-id":4370268,"id":"Q4370268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1603710$2E21D909-E8DD-44F0-92DD-0CC964C031FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bd984303b084ac589e07819d7ae1d0c57cbceac","datavalue":{"value":{"entity-type":"item","numeric-id":4692526,"id":"Q4692526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1603710$47C86705-E2F7-4BA3-9604-7DF39EED0250","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2f1cdf7f11da9916fb1a6b200a7e924225dc707f","datavalue":{"value":"https://doi.org/10.1016/s0304-3975(01)00047-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q1603710$43402DF6-FA38-4C2A-BAFD-7AA80688397C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"214558d725fe1f503d809569bf202ea8de7af208","datavalue":{"value":"W2040539243","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1603710$716C85CB-62F7-416B-8065-ABD655E29090","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a2e886a8e81f37cefd0585c58652d99bb490acf","datavalue":{"value":{"entity-type":"item","numeric-id":5929982,"id":"Q5929982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eda14321dffa10cd8a68259456f3d93fdd5bf402","datavalue":{"value":{"amount":"+0.7810508608818054","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":"Q1603710$70254361-5DD0-44F0-96A3-AAC0A602B6B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43dd76e0879cc8ae2814ab56d990e5a9ef997b4c","datavalue":{"value":{"entity-type":"item","numeric-id":3045250,"id":"Q3045250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eda14321dffa10cd8a68259456f3d93fdd5bf402","datavalue":{"value":{"amount":"+0.7810508608818054","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":"Q1603710$786255D1-DC6C-4840-A9C9-ACDBE529D236","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03562a22ba3d198d49b75ea6f4030f98d9dbeff0","datavalue":{"value":{"entity-type":"item","numeric-id":2842861,"id":"Q2842861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e1000b848149e675af46656d8d47e41edaef75b","datavalue":{"value":{"amount":"+0.7756662368774414","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":"Q1603710$BFE804B0-8AF4-4926-A1E4-0E09870FD76A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b98918d6f1d236fa8d7ebafdbd3c0eb39952a11","datavalue":{"value":{"entity-type":"item","numeric-id":5890049,"id":"Q5890049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ba135cf34c42c7a7dd468383a3e802bafaa26d9","datavalue":{"value":{"amount":"+0.7727624773979187","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":"Q1603710$6902F9B9-C753-4A6A-8465-5BCC6F309356","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8f99c6abd86ee78b4ee3550770894ab574c5dbc","datavalue":{"value":{"entity-type":"item","numeric-id":4412515,"id":"Q4412515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c81acd0bd85d5c87e59ac1ed87906ddfa800d12c","datavalue":{"value":{"amount":"+0.7722195386886597","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":"Q1603710$1128022B-39D0-416B-9446-B9A633787B1B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A formal model of real-time program compilation","badges":[]}}}}}