{"entities":{"Q1768477":{"pageid":1779219,"ns":120,"title":"Item:Q1768477","lastrevid":48438040,"modified":"2026-01-04T19:46:04Z","type":"item","id":"Q1768477","labels":{"en":{"language":"en","value":"Compiler optimization correctness by temporal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2145980"}},"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":"Q1768477$7E2D2458-1D52-47CC-85A4-BEE586C46667","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"79b9426a7a3371af0cfa39fa5cc6f0bb076cebaf","datavalue":{"value":{"text":"Compiler optimization correctness by temporal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1768477$C91345F3-31C4-4530-8A14-BE62E4C11EA1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"314335ef75c241ec73480f522377e60bc8cab6a6","datavalue":{"value":"1075.68015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1768477$B973A640-6543-4979-A4CD-8BFF3E792DDA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a58ebd187798c4f29c15eb1c244315699cfc0c96","datavalue":{"value":{"entity-type":"item","numeric-id":1404290,"id":"Q1404290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1768477$BEEF427A-5740-4992-9A39-B10E8490FB08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e0b9a436dbb5c7d47b2ec7c8cccc66a852f3c4a7","datavalue":{"value":{"entity-type":"item","numeric-id":1179697,"id":"Q1179697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1768477$A5BB5725-A8E2-438F-B5A8-AA3161792EE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"96501349286f24561e253150e96715ba9069752e","datavalue":{"value":{"entity-type":"item","numeric-id":995472,"id":"Q995472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1768477$48347AA8-EA2E-45DB-B826-C090925E2DFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"252dba1ee298ea4a6bf929793900246a9a53ab57","datavalue":{"value":{"entity-type":"item","numeric-id":1768476,"id":"Q1768476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1768477$1001949B-B59E-4AEE-969F-3C80A4EC77DF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"64a3a07e604cd8e480c16efc452d3568f025ae86","datavalue":{"value":{"entity-type":"item","numeric-id":162338,"id":"Q162338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1768477$3DBD19E9-E38A-4650-9584-7E6BE6D6DEFA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bc89be88a6076185afd90ab376d26e11d51f0fa9","datavalue":{"value":{"time":"+2005-03-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":"Q1768477$BA86F8E9-9E15-4B3A-ACED-DBDFBE11B391","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3affb2aa66be15f2a63c60d2aaa92bd143e6d46","datavalue":{"value":"68N20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1768477$DD7714BD-EED0-4860-8A55-A5740828FD34","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bc957770b326bd09e51ad4fb2fee649ad7874ff3","datavalue":{"value":"2145980","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1768477$987D5A35-6CF2-42CC-85F8-AA7BD1731BDC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"acd9c52c59d07d5822d39f1d47e4205b4637b9d3","datavalue":{"value":"compiler verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1768477$4F780C99-7F57-47E5-82B7-BEF6A4641FBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29e3e31ec8fadc435e57f9d44e807ba3f749005d","datavalue":{"value":"optimizing compilers","type":"string"},"datatype":"string"},"type":"statement","id":"Q1768477$3DA15BE8-82CA-4782-AA89-EB3123F1D462","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1768477$19DF52BC-C728-4C8D-80D3-3598D800BF90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q1768477$2EB3FF31-CEC4-4E92-9C13-7E78E7B18B5B","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":"Q1768477$91908496-E701-4586-82C3-C4D372803B13","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"cb29b31448cbba51183cb8c05e2bac78060f8125","datavalue":{"value":"Q123207362","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1768477$6DB3D72A-E79A-471A-9A05-D53D8328872E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7d2e1c74c492613e80fdf5893acc567c1f46d36c","datavalue":{"value":"10.1023/B:LISP.0000029444.99264.C0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1768477$4A183FB6-CF1A-4F8B-B8CC-659D37DC9780","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"235195b7b765ca2280e17314c797b73564f4082c","datavalue":{"value":{"entity-type":"item","numeric-id":5178913,"id":"Q5178913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed586fcb16a1187061efe37b573d04cda41dfe62","datavalue":{"value":{"amount":"+0.9147453308105468","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":"Q1768477$407FDB82-AD7E-450B-BB6F-3B97A37438DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"942ceaa5eda66717426d7a216e16362634e072a3","datavalue":{"value":{"entity-type":"item","numeric-id":5747662,"id":"Q5747662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"576a0bf005ab3db992c0580adb9d2b146879a09e","datavalue":{"value":{"amount":"+0.7988973259925842","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":"Q1768477$34D0E7D8-03DD-4E57-9C52-FA8F1D8A3D78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3435cce93486d8873f6bd14330c5ba7b3ac1a263","datavalue":{"value":{"entity-type":"item","numeric-id":2764063,"id":"Q2764063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2f0630c9139589fdb74faa9b9860b557f8af5cb","datavalue":{"value":{"amount":"+0.7885021567344666","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":"Q1768477$2E6D7FAC-529D-4EA8-B290-7EFDD679A058","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94fefd4737af09ea3189486cd50e374bc8809732","datavalue":{"value":{"entity-type":"item","numeric-id":2767087,"id":"Q2767087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b183a74703f71b76eadbba0dfd732296f466ffb","datavalue":{"value":{"amount":"+0.7781791090965271","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":"Q1768477$C892D02B-FC4F-4451-8B15-FCFDB6819F80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"810e2e4a6f0c0331e3ce66a2f3a9b81ccfcacdf3","datavalue":{"value":{"entity-type":"item","numeric-id":5898173,"id":"Q5898173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ec397ddfead4f8fa6062310559e02910dedc821","datavalue":{"value":{"amount":"+0.7690597772598267","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":"Q1768477$AD4EEB70-AB78-4CEF-B033-CB31EE273684","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1768477","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1768477"}}}}}