{"entities":{"Q3296348":{"pageid":3307056,"ns":120,"title":"Item:Q3296348","lastrevid":53767502,"modified":"2026-01-25T16:49:30Z","type":"item","id":"Q3296348","labels":{"en":{"language":"en","value":"Selfless interpolation for infinite-state model checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7218154"}},"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":"Q3296348$7609604E-6177-4869-B31D-707546E7402C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"87b8ec6022fee5d37e1a37507224538f61257fe7","datavalue":{"value":{"text":"Selfless Interpolation for Infinite-State Model Checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3296348$DB8072F9-DAB8-4FF1-B918-5AC11ED64D85","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ec0458fd342df17dcc36f57a473b6c27b16ff52e","datavalue":{"value":"1446.68100","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3296348$D4272C52-359C-4A96-A6AC-F6795BD6A4FF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"95a89a05c7ec2ad3b64d361b475f8bce103ddf51","datavalue":{"value":"10.1007/978-3-319-73721-8_23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3296348$BFE4A377-FE6D-43E8-9A39-E1EF2353C312","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"512ebca09c41ec7b17016e07c10e3f0125e8298b","datavalue":{"value":{"entity-type":"item","numeric-id":779821,"id":"Q779821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3296348$3854E995-663D-4B46-A390-F6B54752101B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"397d77ad8bd1a3f514ce08804fba49d28413c3f4","datavalue":{"value":{"entity-type":"item","numeric-id":832266,"id":"Q832266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3296348$C4B1655A-DAAB-431A-808F-C3015E870BD5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3296348$5C7FAB9D-9B50-405A-B83E-84C20F1C582C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"01d69a3c7fdeda349075259d925d96d26b367ba2","datavalue":{"value":{"time":"+2020-07-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3296348$21A8E5B8-EC2C-48BC-8864-C5AAFC45E855","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3296348$5C93C9E0-28F4-4C83-BBC5-54EACE0FC7D8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"960bc0302677712da96a13b5adf3632709e0d8da","datavalue":{"value":"7218154","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3296348$4798CBCE-83FB-4742-B962-C54453EE6703","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":"Q3296348$6B2C1B6B-9F3E-45E3-8CA2-150900852B0F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6c2b5f82c61d61d9d44cb36c3492104e4f65c380","datavalue":{"value":"https://doi.org/10.1007/978-3-319-73721-8_23","type":"string"},"datatype":"url"},"type":"statement","id":"Q3296348$BD18EECF-5A59-439C-AB27-D1BED91593D1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"16d0780c5fbd4b74470030447401fdd238463194","datavalue":{"value":"W2776858923","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3296348$906C91D0-5901-4225-A4EA-27E09F4B0758","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"afe6d7bb0674a6cdba5cf502ac70a32860d40de5","datavalue":{"value":{"entity-type":"item","numeric-id":832268,"id":"Q832268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"833021f26a1d755c8987d4a0372de31a99172c9e","datavalue":{"value":{"amount":"+0.828816294670105","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":"Q3296348$566C5E62-21AD-463E-ABE0-E4F6CB339BF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb253fb55714f511287e3fb7db3bf54cfc2f7066","datavalue":{"value":{"entity-type":"item","numeric-id":5311270,"id":"Q5311270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e5397a77b858c6628789290911229ae810dc6ac","datavalue":{"value":{"amount":"+0.8154548406600952","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":"Q3296348$7BAFF5F0-6069-49C9-8047-64121141B0DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d45dd440df75f6c635ba254138a56ee3d488dded","datavalue":{"value":{"entity-type":"item","numeric-id":5900666,"id":"Q5900666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c31ca88897f86a48e06108c27653761f9b090194","datavalue":{"value":{"amount":"+0.8086181282997131","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":"Q3296348$DDE44A82-447B-4B92-A5D9-74FB38F2C167","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35471693b9b81aca4d54d85b5e7a7d84e4829dbd","datavalue":{"value":{"entity-type":"item","numeric-id":5756749,"id":"Q5756749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6a0f7d45bc39e7e7ff1965c8ba363eee1e31ae3","datavalue":{"value":{"amount":"+0.8044928908348083","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":"Q3296348$31E2A4CD-018F-41C1-9A00-6FAAE2AD350C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"992fa52f09fbfce42db0c1f9839dc4ce41532293","datavalue":{"value":{"entity-type":"item","numeric-id":5458343,"id":"Q5458343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aaa8dbdbde8e20b773c0deebb47fe834b74efd30","datavalue":{"value":{"amount":"+0.7908840775489807","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":"Q3296348$9E23D386-520C-4DF1-8735-5A79F56BAC30","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3296348","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3296348"}}}}}