{"entities":{"Q2370663":{"pageid":2381406,"ns":120,"title":"Item:Q2370663","lastrevid":43960887,"modified":"2025-11-18T13:21:50Z","type":"item","id":"Q2370663","labels":{"en":{"language":"en","value":"Computer aided verification. 18th international conference, CAV 2006, Seattle, WA, USA, August 17--20, 2006. Proceedings."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5168582"}},"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":"Q2370663$5E321A6B-1A1D-465A-830A-02191C6BB6D7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6d8fb02b34b6627392b0027b01d5c834db8196cc","datavalue":{"value":{"text":"Computer aided verification. 18th international conference, CAV 2006, Seattle, WA, USA, August 17--20, 2006. Proceedings.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2370663$ECA45738-04A7-4EDA-B02F-AD3642775B08","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8627bf4fbbcde68957c6e898c569517c2cff3a47","datavalue":{"value":"1114.68002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2370663$3DC0F51C-4DC3-49CD-918A-74BAF25F84CB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"174fe9fca3567040c3459dec4c7ff69e67553a8e","datavalue":{"value":"10.1007/11817963","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2370663$4A389771-A693-43E2-B373-99A4294DE47F","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":"Q2370663$29295C57-B994-4D29-A637-D148052395FF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"aa1c5baac12078a594b435871811db79b2b7374f","datavalue":{"value":{"time":"+2007-06-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2370663$14A894EB-11AF-46AE-A5E6-84768EB98C6E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2370663$0A870BA8-CB40-44A1-B5AF-A5083E9785AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2370663$350CD533-3944-4C6E-ABB5-1B28C915C414","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2370663$72B0C88B-B926-466B-9FFC-ACBF5B36A9E1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"44699b752f85f9c5badb362ce7113f2db172a889","datavalue":{"value":"5168582","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2370663$0B08CCA8-D266-45D7-B802-D7917C7F8D75","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":"Q2370663$D040FAF4-E23F-47CC-AA1E-0E654CE4B309","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6a5b45debc78725e6136c101de2eea437b48c416","datavalue":{"value":"https://doi.org/10.1007/11817963","type":"string"},"datatype":"url"},"type":"statement","id":"Q2370663$E419CE1C-F293-4C2F-BF50-18478292767B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7dbebf7056349adac0aa4d316a332b3d6e7e8f7f","datavalue":{"value":"W2238621239","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2370663$38579A74-9514-48FA-BB92-BBA8DA01A6BF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2370663","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2370663"}}}}}