{"entities":{"Q3512490":{"pageid":5542394,"ns":120,"title":"Item:Q3512490","lastrevid":50405660,"modified":"2026-01-13T23:51:02Z","type":"item","id":"Q3512490","labels":{"en":{"language":"en","value":"Local Proofs for Linear-Time Properties of Concurrent Programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5301105"}},"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":"Q3512490$6F6501C3-FE2E-44E8-A530-0FADFA2ADBEC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ca0936f405d305b13ffbd1713d7b44561faf20e3","datavalue":{"value":{"text":"Local Proofs for Linear-Time Properties of Concurrent Programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3512490$39BB7217-DC42-40A9-BE5E-5710AE4C5929","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"18e57ce78cbc6e56de2005f41fde04744d7c0f7b","datavalue":{"value":"1155.68363","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3512490$9471E837-8436-4545-8A32-C8B383A066F3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3b6d9ee2816ac5af3bb02f67b4cb4e3e2b840ff1","datavalue":{"value":"10.1007/978-3-540-70545-1_15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3512490$C935D4C2-8DB3-4117-9BB2-A1C6E1F971FA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"27b4e49c274969915c032526e9907d2ac1e77574","datavalue":{"value":{"entity-type":"item","numeric-id":792194,"id":"Q792194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3512490$6F823436-FD39-4198-A98B-2BD28DE03073","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a6d395f9c3d46709760217670affc69e5e3a2383","datavalue":{"value":{"entity-type":"item","numeric-id":784102,"id":"Q784102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3512490$CA398073-DE27-48EB-93A9-8F03BB6DA1DC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d4ba228bb5693c2e3eb7592c46c7d713183c8c65","datavalue":{"value":{"entity-type":"item","numeric-id":2864836,"id":"Q2864836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3512490$BC2D26F9-CD28-42F3-970F-80A43CAD5237","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fe6d7edb29c3b9253535d2fc716f213464cdfbcd","datavalue":{"value":{"time":"+2008-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":"Q3512490$7260FFCE-F65C-45B2-910F-48B13F5FC3B4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3512490$1ED86271-1103-4D25-8FC9-BA3CFCFCA7ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3512490$0205B5FC-D242-4359-9182-78E307C08339","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3512490$08BC4AB4-1D2C-4CD2-AA21-E64E4A471240","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"20f7454d722941527de0918358c2aaca7ffb6af1","datavalue":{"value":"5301105","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3512490$843428B9-6A1D-4CC4-B437-14A155EDA0A4","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":"Q3512490$3A3DC6C6-D3BC-4445-91EA-8076B365699B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"343835e2ce6bca12642fe69bef78f0f65d3ebfe0","datavalue":{"value":"https://doi.org/10.1007/978-3-540-70545-1_15","type":"string"},"datatype":"url"},"type":"statement","id":"Q3512490$0249F485-DDFD-4A40-895A-E25C593CC457","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4b553759334f576db7deb20b8306457456a1c76c","datavalue":{"value":"W1573651116","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3512490$74CC80BC-391E-4462-AEBD-3B0E9BF08D41","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f9a604add372c3b4660f24bf6b78063ccfe4c54","datavalue":{"value":{"entity-type":"item","numeric-id":1039842,"id":"Q1039842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78931b5e8879274629244c6e6f048135f9c1dd72","datavalue":{"value":{"amount":"+0.8488606214523315","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":"Q3512490$91D7602E-5456-4431-ABB1-3BCCE333443B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2c2d6dc9f42286033aad22fa2b0c5e3f35840a1","datavalue":{"value":{"entity-type":"item","numeric-id":5429316,"id":"Q5429316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5983a6113876ece740c2778e7ab95138a16b690c","datavalue":{"value":{"amount":"+0.7843871116638184","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":"Q3512490$9F5C8E54-B8CC-431C-963C-F94B7D41E7BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a04b50cd4f97c7dbf3a7beb36f4302c86f22a98","datavalue":{"value":{"entity-type":"item","numeric-id":1327383,"id":"Q1327383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60dc107c9899a7488750255af061051ed1234cd3","datavalue":{"value":{"amount":"+0.7511618733406067","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":"Q3512490$6DFD805A-C650-414A-95AF-8F622765E876","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59438a3e828c320d02fc6b175f45054adca7178f","datavalue":{"value":{"entity-type":"item","numeric-id":3176376,"id":"Q3176376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2d8fbdf49bad7fffbd2cb6fd0ad0e3467e6ed6f","datavalue":{"value":{"amount":"+0.7435541152954102","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":"Q3512490$7BF8306C-F748-469D-B473-C004905ACB77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59794ce866fcce34268e65630d3559b3e3405dc4","datavalue":{"value":{"entity-type":"item","numeric-id":539223,"id":"Q539223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f749269299aae1896566ea3f9e104f5a2c3d3500","datavalue":{"value":{"amount":"+0.7434651851654053","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":"Q3512490$CD691CBF-E174-421D-886A-48D8394AFE25","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3512490","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3512490"}}}}}