{"entities":{"Q4635874":{"pageid":6665455,"ns":120,"title":"Item:Q4635874","lastrevid":58314120,"modified":"2026-04-04T16:40:58Z","type":"item","id":"Q4635874","labels":{"en":{"language":"en","value":"Proving liveness of parameterized programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6863488"}},"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":"Q4635874$B1842707-F4FF-4E2F-B3DB-FBE73C9654B3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4d86b6cce35b0f44055b0fdad42e8034951afec6","datavalue":{"value":{"text":"Proving Liveness of Parameterized Programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4635874$6BDBCFC3-DE45-494C-BD41-C43958C28B24","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"32f7aad4b70efbe18e1ca5e84f446c4385a44d93","datavalue":{"value":"1401.68038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635874$48CA7A0B-C805-47F2-969D-BA0DC5E7C590","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"faa1fb932f96bd567dc1cd915d56dff0e01fbe96","datavalue":{"value":"10.1145/2933575.2935310","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635874$BF8031A3-6C62-4D78-B5BD-E7C675EE1FDA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"447b7ccb3b44606d06749a82accbbc81e15a98a8","datavalue":{"value":{"entity-type":"item","numeric-id":832231,"id":"Q832231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635874$82D42D4F-5C61-4437-8917-0FF5F59CA762","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"92fad1b91985a3c82f5ef7ee93b79eb62f914c5d","datavalue":{"value":{"entity-type":"item","numeric-id":832151,"id":"Q832151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635874$0EC2789B-29F5-479D-90E1-79C8AF9C3BE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3527a91821d36e757e1613c0da59458b564b0344","datavalue":{"value":{"entity-type":"item","numeric-id":225062,"id":"Q225062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635874$1CD43542-B162-42A3-B08C-54118257CE49","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"046029701eaa27e11deafdbb503d5ba484152a43","datavalue":{"value":{"entity-type":"item","numeric-id":4635856,"id":"Q4635856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635874$B07CBA2F-8D3F-428F-BCA8-C622FA1A3EA2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8b5474500ed23a367f35223f2b97230670493d7c","datavalue":{"value":{"time":"+2018-04-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4635874$937E28A4-A6B2-4B6A-9F6B-349E6D5D6E91","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d268e3b2c3cb4a74b374b7c752e4daff6f9e4ea1","datavalue":{"value":"https://arxiv.org/abs/1605.02350","type":"string"},"datatype":"url"},"type":"statement","id":"Q4635874$304938A0-5795-4241-B7DC-858E465C5D37","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635874$F9985C02-8C5B-4C87-9F43-366EC7A5601B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635874$A4E74110-897C-4860-96A7-86177E3204D0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c036bd02277c192ddc3c300765b980e743d8cf43","datavalue":{"value":"6863488","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635874$E5F3C372-FBCA-4A62-B70A-65066CDAAAE9","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":"Q4635874$9D89EA92-F5C8-4315-BFAB-1F496B0F48F3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9ba6ecd013407a4b2ccfc394c3004fed4cf29682","datavalue":{"value":"W2963088485","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635874$E2706927-F245-41BF-B16E-721139B1644F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d475d491d1bf7b7843fad987cd9bb2f8f36110ae","datavalue":{"value":{"entity-type":"item","numeric-id":5756597,"id":"Q5756597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"238cb4d372b317225f2cf0d04de116d301682c5f","datavalue":{"value":{"amount":"+0.7401539087295532","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":"Q4635874$2F13947E-9623-4C5E-847E-7A3777FD790D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ff50dc924e9f92d68d68ecac6a3c463a5f6e3a1","datavalue":{"value":{"entity-type":"item","numeric-id":795497,"id":"Q795497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa8e85b18566b9014509b5bc58788643457bd0cc","datavalue":{"value":{"amount":"+0.7307632565498352","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":"Q4635874$00E071D3-35DD-4E21-B253-384EA52EAA8D","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":"3e814bf8f3b8a60348da5cd6ff07d913a757cf10","datavalue":{"value":{"amount":"+0.7262201309204102","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":"Q4635874$09E22B4E-E8CC-4209-8782-599D5E0852D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0af53033f2ed04a6f7f1b9d859620013b091db29","datavalue":{"value":{"entity-type":"item","numeric-id":2754094,"id":"Q2754094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e17eb29c730b0d33c5ab4358931911a6666874b0","datavalue":{"value":{"amount":"+0.7172871828079224","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":"Q4635874$09671A8B-8301-4627-9A9E-BCD501166C12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a559c48a6534a54d7a04f8e324f02dc7e5d4e056","datavalue":{"value":{"entity-type":"item","numeric-id":1004057,"id":"Q1004057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e17eb29c730b0d33c5ab4358931911a6666874b0","datavalue":{"value":{"amount":"+0.7172871828079224","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":"Q4635874$407EEC11-FD77-41C0-9201-C24E0D624EA1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4635874","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4635874"}}}}}