{"entities":{"Q1703005":{"pageid":1713746,"ns":120,"title":"Item:Q1703005","lastrevid":53034776,"modified":"2026-01-24T02:22:26Z","type":"item","id":"Q1703005","labels":{"en":{"language":"en","value":"Selected extended papers of VSTTE 2016"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6845814"}},"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":"Q1703005$AC944FAF-FB0C-4F76-AF05-0230E1302240","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"16c50444d06989206e7a486973c715355b20c47c","datavalue":{"value":{"text":"Selected extended papers of VSTTE 2016","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1703005$9D9C1FE1-E22F-4D82-AF63-536DDE2F734E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"520c9fbe0b9be5899b23be1039881ed3fe41c2d8","datavalue":{"value":"1426.68006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1703005$A935C228-882C-480A-BFA8-70C4871B0C88","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1703005$BA448A42-8472-4C30-98FA-6856BC69D262","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3ead1def560b38beae02ca12f5c5bf33059d8b8e","datavalue":{"value":{"time":"+2018-03-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1703005$1D2FC26E-987B-4265-82FC-4E2E92A768E3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1703005$48242F21-FD27-41BE-8E48-C6F379BE6F1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1703005$BB37892B-4FE2-429E-902E-3AF4A0855EDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1703005$0598C8FE-2016-4A8D-8E1F-92F3F5A6D192","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1703005$F01CBBC0-CDCC-437E-B6E8-4C05685DA6E7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4a327480d98b18085bb31a3d7af2c6f6fee7c384","datavalue":{"value":"6845814","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1703005$CA8C5078-ABDC-446E-8DDD-67C0BC6D2173","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1703005$3685EE8B-B29D-4350-8FDD-AAD5989DE790","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aaa74f946f4a7cf49359214ccbeddb232ccd2dee","datavalue":{"value":"deductive verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1703005$BE9619DD-4FF8-464D-A44D-0506AEB55C0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"21cf102e52d55bb9e3ba4ca1c32b8839281988dc","datavalue":{"value":"interactive theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q1703005$E3C8558A-74D9-4E20-A1F9-FFABF33DFB4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q1703005$74A97196-553C-4470-BAE0-3781B35B232E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1703005$9310DDAD-7B09-460B-AAF2-72678578B27F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"602b32d79a3dd12c7713e80fb0597b8ab4375f08","datavalue":{"value":{"entity-type":"item","numeric-id":16614,"id":"Q16614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1703005$F598301A-4869-466D-B8FF-ACE07BB28E69","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":"Q1703005$77C945A4-C9A1-427F-98AA-92E1791D0C0F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f231b4143619cc87ed3bedf34e499689b394c964","datavalue":{"value":"https://doi.org/10.1007/s10817-017-9430-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q1703005$3E793476-CDFB-4324-B2E5-FBB24C0114AA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"08116c1e232f14fcf4cb71350bcd2cca6843a36f","datavalue":{"value":"W2755096470","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1703005$3F2F864A-1FD5-4DCC-8320-9022B15828AB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"72f0778a01f5fab965cad4d87fb1a2cf7033dd20","datavalue":{"value":"10.1007/S10817-017-9430-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1703005$47E27DA4-A5C3-4846-B2AA-A9FF8CEADA01","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8dbbdfcc55a55f10b01d61129445f1ea1fe10e65","datavalue":{"value":{"entity-type":"item","numeric-id":5971200,"id":"Q5971200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c45ef6d999b2845e07997caaeb398d897cc8d93c","datavalue":{"value":{"amount":"+0.7573343515396118","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":"Q1703005$3A4D83FB-FCE6-42BB-BDF5-6E0BB2F25075","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"406f82c1c70e0ea957614307bfe4debc2d309f32","datavalue":{"value":{"entity-type":"item","numeric-id":681336,"id":"Q681336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1b128c4fff2ab6e8485d6ca1a624b6c514eb73c","datavalue":{"value":{"amount":"+0.748336672782898","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":"Q1703005$554925BD-43AE-46CE-8F08-5B0AE56D4265","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d5034e5bcf9b4ba1917f3b8aedd91ce9cd658c8","datavalue":{"value":{"entity-type":"item","numeric-id":2050099,"id":"Q2050099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33af96c4de8021f3115f7bfd629bf4d7f52ed9a7","datavalue":{"value":{"amount":"+0.7333915829658508","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":"Q1703005$A4FB0102-D8D8-408A-91F3-69A80113459F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"40c3e1c0c1c44faba2fd3b82340a3344fbab980b","datavalue":{"value":{"entity-type":"item","numeric-id":5965703,"id":"Q5965703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6408830deba93e44dcebd949b2a7a63508776812","datavalue":{"value":{"amount":"+0.729642927646637","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":"Q1703005$781285D4-163F-42E7-910F-4C112DC89D32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cafb2e54110a979aa3cad52050b0598822d56f49","datavalue":{"value":{"entity-type":"item","numeric-id":1629742,"id":"Q1629742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b64ad9eb59cc0fe10310b846c0295bf3faaa5f0","datavalue":{"value":{"amount":"+0.7254930734634399","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":"Q1703005$C9B7DFA8-2BCE-4909-B396-D2F3F056A39F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1703005","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1703005"}}}}}