{"entities":{"Q5452599":{"pageid":7482158,"ns":120,"title":"Item:Q5452599","lastrevid":50326841,"modified":"2026-01-13T20:11:05Z","type":"item","id":"Q5452599","labels":{"en":{"language":"en","value":"Interpolants and Symbolic Model Checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5259427"}},"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":"Q5452599$94A0A883-0B74-4570-B3B3-41C49FFE8FE3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ccb31164b1fb892fac88e38df9be6e7a6364dca5","datavalue":{"value":{"text":"Interpolants and Symbolic Model Checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5452599$F330D3C4-67D4-4100-96EC-75F66D0B6F40","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"51eb7baf291024469d48d6532263873ec0bae863","datavalue":{"value":"1132.68474","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5452599$3A79C46F-8286-44A3-B357-A2F3F66666DB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9b4c02a3b07b764e64f0992333370212925c878a","datavalue":{"value":"10.1007/978-3-540-69738-1_6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5452599$3ABEEDB4-33C2-424D-9585-7939863BCC6E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"57a84b3343ed70002617a9eb1439c18c15bac9ff","datavalue":{"value":{"entity-type":"item","numeric-id":934708,"id":"Q934708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452599$3C0BE5D2-2680-4FF5-82D8-264E7542DE91","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":"Q5452599$BBA09C8E-C094-4F39-9ACE-67D2BBAA448A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"283c808929f873b84bd7c8d7eb4dc979113b8f01","datavalue":{"value":{"time":"+2008-04-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5452599$2D8D76AC-66D3-4C1F-82C7-4CBED191D7AA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5452599$1CF3E587-025E-4DAB-92F5-54F4387D4612","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ba56aa0db5ffa997816e4ba1bb3df6ec4030863b","datavalue":{"value":"5259427","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5452599$8EA0AA15-53AE-4637-9190-EFA62EB924B3","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":"Q5452599$2C5D305F-86F7-43FF-8263-5E5ACFA9BDCE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f76a485c92ddaa328f50cc0bc0c7a11ff14d92a0","datavalue":{"value":"https://doi.org/10.1007/978-3-540-69738-1_6","type":"string"},"datatype":"url"},"type":"statement","id":"Q5452599$EA30C467-6B31-478E-B5C7-5029BA570CA2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f6f6c9dd4d2dbf40357e9d141815238a41956591","datavalue":{"value":"W1564176330","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5452599$070021EC-BC19-4E05-8BEE-5895D7336561","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"761fca96bc8f5d7ed1a77087e8be1f0159097497","datavalue":{"value":{"entity-type":"item","numeric-id":5703754,"id":"Q5703754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46093be21bdb73bd978eb48b0760c005a90673f8","datavalue":{"value":{"amount":"+0.8966211676597595","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":"Q5452599$52455E03-0ED9-4906-B89E-F740FDB4FE60","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":"19b31390fa927d1c0ece95a1d0e72201aea9721c","datavalue":{"value":{"amount":"+0.8728376626968384","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":"Q5452599$21E79B1E-6F61-441D-9E15-D4551E806CFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a97945f30007bf4731ef6fa01728c84bec63d65","datavalue":{"value":{"entity-type":"item","numeric-id":5713510,"id":"Q5713510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"657822454198c9cd6e1bb9d56175d84e3aa1d27f","datavalue":{"value":{"amount":"+0.865390956401825","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":"Q5452599$18617193-2C16-4D57-B705-7FFE1CE684EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e412e6216b54f0d01b161d965adaae87ffed390b","datavalue":{"value":{"entity-type":"item","numeric-id":2575736,"id":"Q2575736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b3f151a2a4de4f3a7855cda214e5209227dfd3f","datavalue":{"value":{"amount":"+0.8264830112457275","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":"Q5452599$9B4C8344-6E5E-4E42-BBDB-26880D53B555","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"192babe1f332f85d504aff10a4562aaa3e265788","datavalue":{"value":{"entity-type":"item","numeric-id":5308386,"id":"Q5308386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d25ac308ffd47b526b464c98e77e0481ec46eef","datavalue":{"value":{"amount":"+0.825979471206665","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":"Q5452599$8F523C91-E519-4A7C-A4BD-AFBE9EF5BF79","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5452599","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5452599"}}}}}