{"entities":{"Q1295980":{"pageid":1306730,"ns":120,"title":"Item:Q1295980","lastrevid":68497674,"modified":"2026-04-13T00:06:44Z","type":"item","id":"Q1295980","labels":{"en":{"language":"en","value":"Computer aided verification. 11th international conference, CAV '99. Trento, Italy, July 6--10, 1999. Proceedings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1313608"}},"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":"Q1295980$36C7B8F1-E5D7-4DAF-B920-A14223AE372D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a88e1328d5e341145950a38fe1aec398961b431b","datavalue":{"value":{"text":"Computer aided verification. 11th international conference, CAV '99. Trento, Italy, July 6--10, 1999. Proceedings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1295980$87D09259-503A-422A-8FB6-6FB27DEA991F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"09e697bb227a7f07e90281ee875a74ab4631cda7","datavalue":{"value":"0925.68015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295980$FE64F829-A49F-4211-8F2F-D832C66E978D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1549381a0a1b6dd84aaee26a8b8cc4ef3a053138","datavalue":{"value":"10.1007/3-540-48683-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295980$9A80B0E9-9D5A-4607-8B2A-1295DB23A57B","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":"Q1295980$2FA6E9D6-CF64-4EEA-B792-549075962B14","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8538f1ba6baa09d5d0d64bc29fdc3e18f7dc8f68","datavalue":{"value":{"time":"+1999-07-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":"Q1295980$DF0D1DBC-71B4-4814-A853-2DD492020323","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295980$FD4804C0-F59D-4E92-BCF0-63946A6F9771","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295980$0FD0F294-CD81-47B7-B8C8-5C3440B003A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295980$48FF0B2E-E5C4-4BA8-BA79-9306E7E40367","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2ae84113ea60d11b252ed3df7db293c532b905f1","datavalue":{"value":"1313608","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295980$50C7F6D2-40FF-4C93-9EC1-1C3CECB4718E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"976db3ede86419f801052df2563dbb408e45e313","datavalue":{"value":"Trento (Italy)","type":"string"},"datatype":"string"},"type":"statement","id":"Q1295980$EB4BF28F-C672-434A-B5DE-864DA5EB5DD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4c4bb5a86a0fdf66f908b603f2f6975f5ef6fc","datavalue":{"value":"Proceedings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1295980$E4587DEE-6F97-4515-A96B-E2ABEE5ADAE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d83ae477e518ffecea78688f13a2aaaeca13299","datavalue":{"value":"Conference","type":"string"},"datatype":"string"},"type":"statement","id":"Q1295980$4528FB0C-94C8-4769-A0C9-FA48CD6B260E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e46b17f30ed192418500b3dc31d42547c0cd79c","datavalue":{"value":"CAV '99","type":"string"},"datatype":"string"},"type":"statement","id":"Q1295980$6469DB62-6C8D-4A16-88C3-0D4A811A6BE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"500c88c1bc5c0c00c65d2b18e6d40cbf2ff385a8","datavalue":{"value":"Computer aided verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1295980$62B8EB17-FFEB-4FB8-AB11-26CAF47908F2","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":"Q1295980$03699429-E641-4431-A507-ECC40405413C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1b2cc65a4c8a17eebad059c6ab04285089e3590b","datavalue":{"value":"https://doi.org/10.1007/3-540-48683-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q1295980$EEE9F103-6DC2-466A-A740-DB8594614D0D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"158b2fdca2a7de3c3d9766ffcced676da6d4201f","datavalue":{"value":"W4231545092","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295980$C3B452EF-C56E-41EC-B6AB-9ED19B054EED","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Computer aided verification. 11th international conference, CAV '99. Trento, Italy, July 6--10, 1999. Proceedings","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Computer_aided_verification._11th_international_conference,_CAV_%2799._Trento,_Italy,_July_6--10,_1999._Proceedings"}}}}}