{"entities":{"Q6488468":{"pageid":14067237,"ns":120,"title":"Item:Q6488468","lastrevid":47841676,"modified":"2026-01-02T20:40:35Z","type":"item","id":"Q6488468","labels":{"en":{"language":"en","value":"Integrating ADTs in KeY and Their Application to History-Based Reasoning"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7676986"}},"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":"Q6488468$F55463A0-9DDF-4963-88BF-776ADCABD855","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"94c5a7c410f80a272cb29ee0efa1054b104e51ba","datavalue":{"value":{"text":"Integrating ADTs in KeY and Their Application to History-Based Reasoning","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6488468$E2728981-953F-4776-8908-EF15DDAA2FC1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f9754a93ab5630f93f06cce7b88c3bccb6a682d4","datavalue":{"value":"1521.68076","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488468$EF32CE71-A577-4076-84F2-B660137E0673","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"13ed2ba54044d3c0ffcf811bbe6b76da9b82139c","datavalue":{"value":"10.1007/978-3-030-90870-6_14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488468$ADA39555-0E20-431D-9DE1-2EF457327A0D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8a8163f9cdc0e6fc922c2081ffd4c650707ccfc1","datavalue":{"value":{"entity-type":"item","numeric-id":6185824,"id":"Q6185824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488468$C615D2A1-93BB-4EE3-BFC7-A649CF517622","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"215a6f15b6577f5bb7dab2e8f95a2ff457c27f20","datavalue":{"value":{"entity-type":"item","numeric-id":6185825,"id":"Q6185825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488468$FC3230B9-22BC-4DC0-9724-6139CC216AC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c6539cfadc75d6504ef9c471b16074d64840fa76","datavalue":{"value":{"entity-type":"item","numeric-id":433335,"id":"Q433335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488468$AD6B3334-EE28-45AD-B2DD-9D77E52133D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4e006463586296b6604df0526236cdd07ea4c259","datavalue":{"value":{"entity-type":"item","numeric-id":439943,"id":"Q439943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488468$A681E246-4B24-4672-ACE6-D3D797F13F71","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"260332f705ad2e0d1275bea375e8ebc598a68071","datavalue":{"value":{"time":"+2023-04-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6488468$CAB57558-F0E6-45CE-9ED2-63A4E47DCD3F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488468$0329EF9F-CAE2-40D7-BFF2-FD3F6B393F39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488468$A2FE247F-7EA4-4B30-8EF5-8162ED302609","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488468$4F301793-2E36-4788-9FF9-0A4D992F59E8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ff4868441844918dfd5e639bfab51719a3be1cad","datavalue":{"value":"7676986","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488468$6198F563-1F4A-4A94-990A-EEAA4334EE68","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":"Q6488468$5D81FD40-8A20-4680-B361-1EDC0DEDCE59","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d19d8be06009204324df8ff597524e57805cadb","datavalue":{"value":{"entity-type":"item","numeric-id":1630025,"id":"Q1630025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488468$DFCDEDF1-860C-4E32-AEC8-AF697010D07E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b74bb22a60e02eca9f5554979a5792a64d443ec1","datavalue":{"value":{"entity-type":"item","numeric-id":2351413,"id":"Q2351413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488468$7086B047-839A-4914-8A40-A270C04FB508","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8f6d658032331dfb0270d5e1966446426f3c01f","datavalue":{"value":{"entity-type":"item","numeric-id":5326280,"id":"Q5326280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488468$019E801A-C2E5-4DB8-9989-DAE5C76B2AC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e01b51a15cfb4a137078371d8e4ef36fd1bf9baa","datavalue":{"value":{"entity-type":"item","numeric-id":4808693,"id":"Q4808693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488468$46391708-37A6-4BE6-AC28-15062E9DF3A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00c403687d8202dbd67fe55941237745276ba153","datavalue":{"value":{"entity-type":"item","numeric-id":5953451,"id":"Q5953451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488468$252CCE95-7B5C-4157-BA82-305EED726C04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1807204606c08bc0647f8c538053670a3e876b3b","datavalue":{"value":{"entity-type":"item","numeric-id":3066108,"id":"Q3066108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488468$7741730F-759E-4D8C-B571-F4754D039E7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fb957da5b0257c250122f71073f39ef71d5f9df","datavalue":{"value":{"entity-type":"item","numeric-id":5458406,"id":"Q5458406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488468$43B00E98-E2D8-4792-8137-0080BB15CD4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84afe353d96a988928bd5d41e96afba7e81d6980","datavalue":{"value":{"entity-type":"item","numeric-id":1600086,"id":"Q1600086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488468$B0C2325D-13DA-43A5-9946-535DC7BFDDD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a1fec13708686f567ce8f652a4b4b1f5722daf5","datavalue":{"value":{"entity-type":"item","numeric-id":610397,"id":"Q610397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488468$E4062422-495D-4163-9665-EB4B3F8046E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2fa401b3f58fb4c2bc9ea2f71ee0d728db11587","datavalue":{"value":{"entity-type":"item","numeric-id":2986838,"id":"Q2986838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488468$924D7289-9FB6-4F35-90D7-D73D86433BE5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fbbad55ea327bd2b71a72261e8db306a544d6454","datavalue":{"value":{"entity-type":"item","numeric-id":3021903,"id":"Q3021903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1655ce8d4207e0f606bd411fbf26282c4e3432ba","datavalue":{"value":{"amount":"+0.7100781202316284","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":"Q6488468$222430EA-486C-4562-8562-D14A68DB5324","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cbb93d1a4177adf72c2ce8579f037d0b7f4bdcd6","datavalue":{"value":{"entity-type":"item","numeric-id":2871841,"id":"Q2871841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df29c6a118c54424afce9ac60ef5ba47cba5f811","datavalue":{"value":{"amount":"+0.6769899725914001","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":"Q6488468$6C4389F1-40ED-467A-BDB8-EF38DA3F664C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8a5cd0c29626fc5cde790a61c148efd182199b8","datavalue":{"value":{"entity-type":"item","numeric-id":3454120,"id":"Q3454120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4bb5eff22260818e61d779e92969f87d5573bd35","datavalue":{"value":{"amount":"+0.6605738997459412","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":"Q6488468$95355B24-9D49-4290-8274-CDE321CDEC75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc70f632d6a55e90488e1e05d0761f5ecde16fef","datavalue":{"value":{"entity-type":"item","numeric-id":3521983,"id":"Q3521983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c202ce414b9df42b1c6237e9cae61c4d576098f7","datavalue":{"value":{"amount":"+0.6572551727294922","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":"Q6488468$2020EB79-F076-461A-A1B2-C5B84999FF09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1e08a08472d821d61c665524d6e16a65c75c1b5","datavalue":{"value":{"entity-type":"item","numeric-id":3454119,"id":"Q3454119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27f56ad398c8147d7d11f94f88027f347be1e49a","datavalue":{"value":{"amount":"+0.6556280851364136","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":"Q6488468$18B47944-7966-44F4-A5D0-33B027941E97","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6488468","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6488468"}}}}}