{"entities":{"Q6111180":{"pageid":13245487,"ns":120,"title":"Item:Q6111180","lastrevid":102382841,"modified":"2026-06-06T04:19:38Z","type":"item","id":"Q6111180","labels":{"en":{"language":"en","value":"Computer aided verification. 3rd international workshop, CAV '91, Aalborg, Denmark, July 1--4, 1991. Proceedings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7708187"}},"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":"Q6111180$D4E0AF78-07FD-4142-8CC8-BCE5610B9A9B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"90f3b27eaef6d61922eb5e189e6baaa467dd8cb0","datavalue":{"value":{"text":"Computer aided verification. 3rd international workshop, CAV '91, Aalborg, Denmark, July 1--4, 1991. Proceedings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6111180$70304A6D-73C4-4C24-9CBB-771EF92C1B69","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"26546387cbed9e5df2a0291b0b6f815fde963b61","datavalue":{"value":"1518.68014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6111180$802BF85F-E4C8-4A27-BEBB-A78EAD3BF73A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7cbb953f634c5403582ca70da4efb14c219f27d7","datavalue":{"value":"10.1007/3-540-55179-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6111180$5EB0E4DB-FD35-4D66-AE62-D4BD111B7745","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":"Q6111180$2BC9FBA9-3C63-465D-BBFF-782B4E95FE70","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2b0cf7020a84728d267c72687d2ac45770799462","datavalue":{"value":{"time":"+2023-07-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6111180$999A7A93-6989-444B-8F9B-63AF81EE9477","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6111180$58C38D94-3038-4BB3-8BD8-8370E18A7795","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6111180$D7F552B4-9CCA-458A-AB59-E3125881C8E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6111180$7DB54F7F-8E38-4029-A45D-A474E2D707F6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"19e6678ac5b170b08df5b00d58625cbdce0d468a","datavalue":{"value":"7708187","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6111180$D3D69A62-9A5F-4414-9A63-BEB5F41A4CC1","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":"Q6111180$126B8D25-0663-48D9-831D-478B69126CA3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"94f4020b5d48964902eedf7820e3dcbaf17942a8","datavalue":{"value":"https://doi.org/10.1007/3-540-55179-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q6111180$32A475CC-0586-4186-96A2-547E5D8B66BD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5bb0c254eb01d553509593e7cf5b1b3d9e73d271","datavalue":{"value":"W3204486483","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6111180$224133E7-A83D-4566-B3BA-052A924E5598","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c2e7e95a3854a9d8c4f3e3a5588cc27239d447a","datavalue":{"value":{"entity-type":"item","numeric-id":1613688,"id":"Q1613688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a40505416af0b3fb732a3191b26401cb92bdf053","datavalue":{"value":{"amount":"+0.93205494","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6111180$477BA28F-4562-4027-8EC1-26C1FD1CB024","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c41e366d3ad886d4173c1bb1234cdab4a1bfa74b","datavalue":{"value":{"entity-type":"item","numeric-id":1295980,"id":"Q1295980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d7ddbe82952d66db4465e6871e1be0eee709572","datavalue":{"value":{"amount":"+0.90424776","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6111180$5C924590-F42C-49AC-AE99-8F6E538AFBFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"139fe175cc7ca7466e5a3b0ad12a4827fbfd465c","datavalue":{"value":{"entity-type":"item","numeric-id":1414908,"id":"Q1414908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"668c670147e3570e54ae112fbbc86e923b71a9a7","datavalue":{"value":{"amount":"+0.9030378","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6111180$9986C6BA-CE8E-4015-9FA4-8148334161F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d3768598953daf6cc87786263adc6e2059db326","datavalue":{"value":{"entity-type":"item","numeric-id":5943776,"id":"Q5943776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6e6bdf9465a1bc5c8a3d87d96ff456a900db484","datavalue":{"value":{"amount":"+0.90067226","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6111180$554D0BB2-6810-491E-B9E5-4509215FF1C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"410c7c040dfda3e0ce423b12d1fc707e6522f9e7","datavalue":{"value":{"entity-type":"item","numeric-id":684558,"id":"Q684558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81e28eed2e948c0add71e39d5d88c6b8328f1eab","datavalue":{"value":{"amount":"+0.8993701","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6111180$D7E3B4A2-26E0-4939-837F-A5FC2E1111AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f9f41525898e43c139236a7256456b8cf444dbf","datavalue":{"value":{"entity-type":"item","numeric-id":6483271,"id":"Q6483271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd27d9ac623657d4bb42acd077e9f76ac47dd16e","datavalue":{"value":{"amount":"+0.8985765","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6111180$313BA23F-CC36-434E-A6C6-072710D0857A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8dcefcf4e60eb8a13c6179f332d10bbe67ce444a","datavalue":{"value":{"entity-type":"item","numeric-id":1309679,"id":"Q1309679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31c25e6dbc40be9c68b6ecde58e0b70125e7cd93","datavalue":{"value":{"amount":"+0.89827365","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6111180$8AE610E7-7382-4EE8-833B-D19B88DF6DEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4835b88654529020da6ca108ec4f52c41a11034c","datavalue":{"value":{"entity-type":"item","numeric-id":6070478,"id":"Q6070478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f18f524913d2faaf53ea5630b2a1d05102e67ff","datavalue":{"value":{"amount":"+0.89749056","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6111180$A56025F5-921D-4BBA-8BD0-099AF4D9B207","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86c937cde67c29eed95a4f84b2cbdae1f593d112","datavalue":{"value":{"entity-type":"item","numeric-id":1202077,"id":"Q1202077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2bea07d74be41d8cf0b861943c7bb0c034162e3","datavalue":{"value":{"amount":"+0.89338565","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6111180$E2334178-8A56-4EE1-9418-04915C16B71C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1bb3fbaed1f78919bcc6e5d9c7776dc0afd4417d","datavalue":{"value":{"entity-type":"item","numeric-id":549282,"id":"Q549282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9747ae7e6193003dd6b8997daaa8efe9dd9cee5","datavalue":{"value":{"amount":"+0.88903713","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6111180$3DFF943F-57B4-4B53-A72E-7E7EC2C023F8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Computer aided verification. 3rd international workshop, CAV '91, Aalborg, Denmark, July 1--4, 1991. Proceedings","badges":[]}}}}}