{"entities":{"Q2817949":{"pageid":2828687,"ns":120,"title":"Item:Q2817949","lastrevid":79745843,"modified":"2026-05-06T14:37:05Z","type":"item","id":"Q2817949","labels":{"en":{"language":"en","value":"Unbounded-thread program verification using thread-state equations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6623283"}},"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":"Q2817949$0F382154-262E-4267-868B-32B9D7C7C134","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"51e2b1c0a04e4023e1e39681bca3a8a595df79aa","datavalue":{"value":{"text":"Unbounded-Thread Program Verification using Thread-State Equations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2817949$20413F47-86DF-432F-9052-AA12B6C4CC92","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8cee39355ed57b666e54925c68443b8ecdf0e72d","datavalue":{"value":"1475.68174","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2817949$80BFB125-36B4-465C-ACDC-068921CD8858","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a829e8fc0399473e707952384b4778cde25afb96","datavalue":{"value":"10.1007/978-3-319-40229-1_35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2817949$8E4158D7-86FA-4ACE-816A-D30E355BDC5C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"65932f154bc9178ac65c4e4cf85885f1fc5c70cf","datavalue":{"value":{"entity-type":"item","numeric-id":2817947,"id":"Q2817947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817949$44208D82-90B9-43E7-ADA4-E155F849AA16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"efbb08de359d1f41d94a79e21043bfc98bebc8ee","datavalue":{"value":{"entity-type":"item","numeric-id":2817948,"id":"Q2817948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817949$2CA2FB11-7CF6-413C-83B8-764765D51472","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d662772c24869dc9f46a36b74617d8d791c39563","datavalue":{"value":{"entity-type":"item","numeric-id":438555,"id":"Q438555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817949$7FC8155D-1D69-4DD0-8B55-27E8A310DFAA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3085facee3457e7f15d7356906b0165b8709b141","datavalue":{"value":{"entity-type":"item","numeric-id":2817907,"id":"Q2817907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817949$F51A4FE5-2DB3-4AA0-B0A1-5B6265FE4B0B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c42ad213f9b7f39d3e9ee142840c36c28e5864b9","datavalue":{"value":{"time":"+2016-09-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2817949$9135C15E-CE40-4923-8158-5BBA5182719C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2817949$184DF9E6-ED1D-457B-AF1E-9739465598F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2817949$DA695051-31FB-4D79-8537-421C7B62E579","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2817949$D19D8CD5-A2BE-4547-B3D5-976896F0739E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"526979e2321684bbe076a5709d917e76d81f1a08","datavalue":{"value":"6623283","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2817949$E86AB16C-6531-406C-8C4D-28BB875E4EA6","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"875fd2341d7eaef60a26a549ea0c9adfdf328e2e","datavalue":{"value":{"entity-type":"item","numeric-id":17039,"id":"Q17039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817949$F9911146-3093-4479-946F-BF90DAD21FCC","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":"Q2817949$A6FC13ED-3142-4905-9837-2BCE14DD4F7E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a56b2f2dc29fb9cdfdfbff60274b7bf190df3850","datavalue":{"value":"https://doi.org/10.1007/978-3-319-40229-1_35","type":"string"},"datatype":"url"},"type":"statement","id":"Q2817949$6BDF9469-DF7C-4991-80D4-8278B9E51653","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"52a10d0f1d6894ec7c78bdbdec967fc4d9e84505","datavalue":{"value":"W2490797398","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2817949$F980A2D1-55FC-4A51-8291-19E1947187D4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9685be4042ed67a73d0b08e5d765a9ad207daad","datavalue":{"value":{"entity-type":"item","numeric-id":2926658,"id":"Q2926658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817949$9594F1D3-930F-4AC1-B3A5-ED483393D037","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c979116aac73952522405608e0e7d1878c55855","datavalue":{"value":{"entity-type":"item","numeric-id":3067860,"id":"Q3067860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817949$C461C8FB-C204-42B7-9769-D6F3E7174B21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b90a9719471003b205bb7f13d39fa68211d2e1b","datavalue":{"value":{"entity-type":"item","numeric-id":4152749,"id":"Q4152749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817949$540C5B77-66FD-461D-B9B8-1631C36D861D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"024d06bb45940fc2af3d505ba43ec43cb72b749e","datavalue":{"value":{"entity-type":"item","numeric-id":2920990,"id":"Q2920990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817949$7B6779B0-1D07-4E50-A844-9A70EBA43929","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3cb6d330b0ba17ea9706ff485bd2cc7e5caf6771","datavalue":{"value":{"entity-type":"item","numeric-id":3883524,"id":"Q3883524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817949$39A56EE5-6044-43A5-A639-1A39852334A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c50fb2e1e8cf1b2f302165e38684d666bf1a4167","datavalue":{"value":{"entity-type":"item","numeric-id":5941101,"id":"Q5941101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817949$BF782E04-3514-4B32-B071-ACA38A7286ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"537d574f690a06c41c6bd0874f70fa45c8edf785","datavalue":{"value":{"entity-type":"item","numeric-id":3601862,"id":"Q3601862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817949$054E251E-D614-44BE-8A59-BF996A724DCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a06cc82621fb5a480563de61a6ce44ffbe8888b","datavalue":{"value":{"entity-type":"item","numeric-id":2581762,"id":"Q2581762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817949$A7BC2C52-603D-4EDD-B111-C869C646725B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f796485cccf38b92a55cdff5d8c4e1000188bd48","datavalue":{"value":{"entity-type":"item","numeric-id":3510790,"id":"Q3510790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817949$4439F3EC-C4BB-48E8-AD75-C6155A8AEF46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47725b472606f4bada0befded8523598e0fad82a","datavalue":{"value":{"entity-type":"item","numeric-id":4302808,"id":"Q4302808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817949$5BCDAE5A-16BF-4908-80BD-3488E007CCDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03c1cfbcde71192a979ec47c0550fe7f372732d8","datavalue":{"value":{"entity-type":"item","numeric-id":2941159,"id":"Q2941159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817949$F59EF3A3-5C89-4CC7-8432-DA4BDF9445D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28a33b862f7d8441651d4cdc6c39e4250de110d1","datavalue":{"value":{"entity-type":"item","numeric-id":2540014,"id":"Q2540014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817949$867414E3-550C-4BB9-8E77-3903A06B27DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"840c3498537d17d4f80bc9be5196dacc95600a62","datavalue":{"value":{"entity-type":"item","numeric-id":1242682,"id":"Q1242682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817949$70D15305-D0D2-4D70-8C04-B5317432FCB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4afe02eb87f687bf87eccee00c3bd8ad017f0806","datavalue":{"value":{"entity-type":"item","numeric-id":3011882,"id":"Q3011882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817949$B929B9B3-2E41-466F-AE70-B4F0E4087ACD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0268bad9039d1e7f0fde63a7b6ce756107ee64a1","datavalue":{"value":{"entity-type":"item","numeric-id":2908208,"id":"Q2908208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817949$3BBECCA1-9127-42C5-9492-2E8CD5276DE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd86270f2d91bea84b2390c8ce6e127c2d21fcb9","datavalue":{"value":{"entity-type":"item","numeric-id":5894959,"id":"Q5894959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817949$B93B4883-BFA2-48A1-A9F9-DCF93EA93255","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d8c9c23cd78bef7c9fc8c6ace71cd40c8637161","datavalue":{"value":{"entity-type":"item","numeric-id":2912699,"id":"Q2912699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d809a27dac5909715b763d7d5b3c2738cab26269","datavalue":{"value":{"amount":"+0.807056725025177","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":"Q2817949$D9E5B223-0233-41C6-B27C-025C19AA0CF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a7c112b9a8acd2393cdbfc91a72ea5a09ce83df7","datavalue":{"value":{"entity-type":"item","numeric-id":2464944,"id":"Q2464944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73aadafef25db222a6d82ff765cc2da2102f4e02","datavalue":{"value":{"amount":"+0.7837488055229187","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":"Q2817949$D9421BC7-B9A8-42AB-AD8F-74D163C01D56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"585be1445e8d666131d390ada5fd4f1841cd5a04","datavalue":{"value":{"entity-type":"item","numeric-id":2920990,"id":"Q2920990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53c6a0effcd5b2ea534bc556d594525eb57a77fe","datavalue":{"value":{"amount":"+0.7735304832458496","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":"Q2817949$4B92BE01-B822-4E41-BD12-897918E9B4A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce38ee1ed9aadbe0e0427d9ce6fb345fba2fc4cd","datavalue":{"value":{"entity-type":"item","numeric-id":2819827,"id":"Q2819827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe352673fcb25772e6c5c1f6b1adc1f23dd6eb4f","datavalue":{"value":{"amount":"+0.7639386057853699","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":"Q2817949$D28F698A-5874-4CAB-B587-6C86CCC9BB33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d28aa0b660eb9729e912b497df1902b521e1577","datavalue":{"value":{"entity-type":"item","numeric-id":5716600,"id":"Q5716600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44bce52b5340f896b5c9dfd206f2108e9d13bd0c","datavalue":{"value":{"amount":"+0.7504634857177734","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":"Q2817949$90441EC5-6F94-4856-B4CA-28026109B5CA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Unbounded-thread program verification using thread-state equations","badges":[]}}}}}