{"entities":{"Q5875426":{"pageid":7904977,"ns":120,"title":"Item:Q5875426","lastrevid":39654629,"modified":"2024-12-30T16:43:26Z","type":"item","id":"Q5875426","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7649967"}},"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":"Q5875426$80CDBEE0-E0CF-4071-9444-6755C845838A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f9a302b4df449e9f7ba20f8f0ad7aa9684068c9f","datavalue":{"value":{"entity-type":"item","numeric-id":2323993,"id":"Q2323993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875426$E973E3AF-F392-41BA-BBE6-EF9690DD1A4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"95adf6d56afbfd4ae328bf851da3bfec0b11905c","datavalue":{"value":{"entity-type":"item","numeric-id":1650958,"id":"Q1650958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875426$95971D28-111C-4C17-B291-4C8879BFBC6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b34313f1bad29f9702b9bd0cdb9e2cbc9d54ccb9","datavalue":{"value":{"entity-type":"item","numeric-id":670697,"id":"Q670697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875426$B8CD6AFB-6474-490E-A890-513412224C0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4e100a9ec349c9a09af054c90a9680f202a82f59","datavalue":{"value":{"entity-type":"item","numeric-id":670698,"id":"Q670698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875426$15BA6057-394A-457E-852D-87BF76238F91","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6695abe38664d65c38747de7b5fe54d9caa92dea","datavalue":{"value":{"time":"+2023-02-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5875426$7A8F7519-0F30-4AD7-A3F9-6AC4FE4E7636","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5875426$68D80401-82AC-42B7-B9A1-9A4FB4A65170","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"067d9243e87600c8a0cd053d35d7962412846962","datavalue":{"value":"7649967","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5875426$B2DD4774-F15C-4028-A7B6-9E7994E7DCB8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf66cd7aebd048ab8a5668ac45784a680e4c1e66","datavalue":{"value":"interactive deductive program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5875426$D011AA8A-3615-455B-8F69-054B761A9D0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4780b02cfc7bc35a586062e3271a9f52fa94f067","datavalue":{"value":"complexity analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5875426$E5748B8A-05EF-4DA2-AE24-1B5375F8B125","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"562adc39cf7a987a51555fef3f75195b4a9ddeec","datavalue":{"value":{"entity-type":"item","numeric-id":33506,"id":"Q33506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875426$C17BB34D-A815-41F4-80CA-1D1188ED9AC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875426$3A432534-11A7-4500-9EDA-FD5C56FD9567","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1dba1893dc7d4e85680d14dc3119e39ad775facf","datavalue":{"value":{"entity-type":"item","numeric-id":46130,"id":"Q46130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875426$3514BC8B-9D92-4011-A4DE-91F870140877","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"352070f92a42ab6c0ae16e5d77d8a717bc392ccc","datavalue":{"value":{"entity-type":"item","numeric-id":19847,"id":"Q19847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875426$1131D692-4DE0-40E3-A74D-F7A2AC531A27","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":"Q5875426$DD862532-036A-47C1-8554-3F07AED1C04F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"811e08ac2fdbd0c8d873aede325f67deffb79bca","datavalue":{"value":{"entity-type":"item","numeric-id":5195290,"id":"Q5195290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875426$FE9C8963-21FD-4590-A5FE-812F32C2790F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"104f60c84cb2360398187eed5e1dd228a199a063","datavalue":{"value":{"entity-type":"item","numeric-id":764297,"id":"Q764297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875426$DFC22A65-18B1-4921-9446-7D6968694566","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d421837d95e47324e8a9568fc6a54da33df7097","datavalue":{"value":{"entity-type":"item","numeric-id":3558217,"id":"Q3558217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875426$27C94FF0-8F7E-43E5-B2F1-8998B21A716A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"acbf68a35efd53fa46006569e2fcabd7e445489d","datavalue":{"value":{"entity-type":"item","numeric-id":4962211,"id":"Q4962211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875426$8AFCA147-2032-4192-8755-90AF80F4AF90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04e5b36780812d2ed162154e8d7283eee8fb4de5","datavalue":{"value":{"entity-type":"item","numeric-id":2164211,"id":"Q2164211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875426$8C088DAA-B2C1-4FA5-8635-A2A51B981133","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3343c3ecaf29b3d00ed730793fb135803dd0ca2f","datavalue":{"value":{"entity-type":"item","numeric-id":5176992,"id":"Q5176992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875426$4B05B6F5-35A4-4ADE-B341-897D7ED36264","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94ee7b1670b832d84e63f3575192ff8a645b95bb","datavalue":{"value":{"entity-type":"item","numeric-id":670699,"id":"Q670699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875426$0FABB6D5-5C1B-4FF3-827A-1F995A2359AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a8f83c2cebf2b3fc79408b8fab0ed6721cf4d7d","datavalue":{"value":{"entity-type":"item","numeric-id":1630027,"id":"Q1630027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875426$7998D5C8-521D-4D1C-ACC6-B77C6FF050CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5da7bf26c66930ba336424cdfda93a39541c47d3","datavalue":{"value":{"entity-type":"item","numeric-id":3189833,"id":"Q3189833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875426$A6270E13-3EE8-4395-BAFB-10A99B0D5E1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"596e81531801f4667663ea94c8d1d2f7c96d808c","datavalue":{"value":{"entity-type":"item","numeric-id":2362493,"id":"Q2362493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875426$FB45DFDA-8232-410E-BA0D-1B193A0329A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e310a6e4c7dd191248769828a27c22df80c4bcf","datavalue":{"value":{"entity-type":"item","numeric-id":3636853,"id":"Q3636853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875426$CD38EB5D-AFD6-4A92-B29F-6BBF38B6C494","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"410e781afed9d251e23ab31322a968fadadc39b5","datavalue":{"value":{"entity-type":"item","numeric-id":5261512,"id":"Q5261512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875426$E4573C78-D515-4E8A-96A6-85C678E20535","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c793fa2d4ededf3f0fe9055c269eb315e9737a0b","datavalue":{"value":{"entity-type":"item","numeric-id":2323994,"id":"Q2323994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875426$A55E1E14-EE14-427B-8C01-E30FD51B7B92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fe24ea86241dedad535b65e4f47e76d6fe3052d","datavalue":{"value":{"entity-type":"item","numeric-id":2324211,"id":"Q2324211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875426$C8F172A6-17F3-488A-89A5-F80C2759F255","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"323dbd6fd6973b3663055cf97da83be885dd9ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5569944,"id":"Q5569944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875426$6E9CF220-F1CE-416A-BB1E-913F2E1D1DE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48fc6eb76d008c38f8d5f3864b312ce3bca80654","datavalue":{"value":{"entity-type":"item","numeric-id":5370874,"id":"Q5370874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875426$0CA38F78-3F24-4321-A0F6-6A639DD6AD06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc39397aff1a518f386df54d5fcaaed065b005b2","datavalue":{"value":{"entity-type":"item","numeric-id":4625160,"id":"Q4625160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875426$0925F791-D43F-46B1-B034-B095896CDBC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2235cb100f2692698d1e78c89e440355cd4f7add","datavalue":{"value":{"entity-type":"item","numeric-id":2879261,"id":"Q2879261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875426$9EC5AE6B-A433-462B-8D33-5D06893EAE30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5dffe5441220fd05c9ab29a095f510d384d606b","datavalue":{"value":{"entity-type":"item","numeric-id":2945637,"id":"Q2945637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875426$97BD9E6F-0227-4613-8F95-3601845A7AE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2605f7e0615a8e6ba357abcf8a9f8ba5f41ad3e1","datavalue":{"value":{"entity-type":"item","numeric-id":5370871,"id":"Q5370871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875426$8D33B2D9-E8DC-4940-A6FA-09FE821363F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c616d4ba6d701abf4f64b3551ecb3ec26d41a3b","datavalue":{"value":{"entity-type":"item","numeric-id":2798271,"id":"Q2798271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875426$8D856777-38BF-4033-ADF7-DB07FDFF5BEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"997214a7b55ffabdba512d09541bacb2e1bdf519","datavalue":{"value":{"entity-type":"item","numeric-id":2945642,"id":"Q2945642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875426$C0C77B7A-6705-480E-8AD6-038DD5617555","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1d89278057f829a68cd8215a1e83a3013e2243e","datavalue":{"value":{"entity-type":"item","numeric-id":5276150,"id":"Q5276150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875426$7DB69949-0350-4854-826A-EA2BE0D100C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6835c6ce87770486df57ddd45e321f49cd3649a5","datavalue":{"value":{"entity-type":"item","numeric-id":1336946,"id":"Q1336946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875426$F2A63B0D-182E-4AAA-8659-44381F20BAA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca5666f921e01dd97435dae76a72d1660a28c596","datavalue":{"value":{"entity-type":"item","numeric-id":2879272,"id":"Q2879272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875426$DC4A62AA-3E72-463E-92B2-CDDC88C76E28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db1dbc943479aa8dc635d350e2375cc49db89e4b","datavalue":{"value":{"entity-type":"item","numeric-id":5370898,"id":"Q5370898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875426$3E06ED2B-273C-4F1F-B76F-2C0A33798235","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00910816ba034b6655b7a47d13d1206cc1d40ae2","datavalue":{"value":{"entity-type":"item","numeric-id":3735083,"id":"Q3735083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875426$4DAE477B-3EB2-43EF-978A-C1A24BCBF046","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1991f4b547e2ff1c1f581afcf8dbd3668dd60d9","datavalue":{"value":{"entity-type":"item","numeric-id":4062612,"id":"Q4062612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875426$4FD91425-54E0-4FC1-9B2D-F7D330026763","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f34fb448b0a21e334150536b146250376167fbe9","datavalue":{"value":"10.4230/LIPICS.ITP.2019.18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5875426$65BB24F0-DDDC-4B54-9359-1CB19C77538A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5875426","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5875426"}}}}}