{"entities":{"Q3007567":{"pageid":3018291,"ns":120,"title":"Item:Q3007567","lastrevid":45246277,"modified":"2025-12-03T18:00:54Z","type":"item","id":"Q3007567","labels":{"en":{"language":"en","value":"Automated Engineering of Relational and Algebraic Methods in Isabelle/HOL"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5908616"}},"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":"Q3007567$73445497-64D2-47D6-9D24-0895DDA11B7F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1db230bf821dfeab2ebe1f1f2e37c6bb6dc46485","datavalue":{"value":{"text":"Automated Engineering of Relational and Algebraic Methods in Isabelle/HOL","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3007567$A89EB0BD-9DAD-4324-A1D8-0287A307A341","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1b0ff2f2a6c1ff2c3617efed5868978a67f33154","datavalue":{"value":"1329.68230","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3007567$6C1F1729-EBF7-4399-98B1-296B6FE3C3BC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"62c16263416bb9b9c50b4bce0c115b216f437e0f","datavalue":{"value":"10.1007/978-3-642-21070-9_5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3007567$03F7675A-DACE-4D40-8AB2-EF5F3CE642DC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6f0d16d56334eda577a220b2d6e48a64c295fa2c","datavalue":{"value":{"entity-type":"item","numeric-id":1617822,"id":"Q1617822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007567$4E204B55-40E2-4A5F-B153-3EE0B5F5BB12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"eb27aad50a775f188aa99887f496d209cf025869","datavalue":{"value":{"entity-type":"item","numeric-id":299200,"id":"Q299200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007567$FE4C5A62-97F1-4C84-A1AF-3041B64F5F77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d1f8cd3b806fd78547b3f4844ba487e41a5ec455","datavalue":{"value":{"entity-type":"item","numeric-id":286783,"id":"Q286783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007567$7DC1872D-C849-429E-AD6C-81657BF8C994","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"40b55b51d1711e94124c260c7ee2d3d6bc2c1162","datavalue":{"value":{"entity-type":"item","numeric-id":2915131,"id":"Q2915131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007567$50D27DE2-05A0-486F-BE56-9D530A8F979F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b7c5acb12eb16cd36e6bd9603815f2e919f7d5ec","datavalue":{"value":{"time":"+2011-06-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3007567$47FAB9E9-A932-42DC-8D4D-1F65F019815D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3007567$E4F9D0CA-D218-4385-AA0F-369430D390C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fbbfb5aba73a457eaaeba301a3b683d0603e498d","datavalue":{"value":"03G15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3007567$6CBFAD3B-900E-4DB4-AE18-981B7ADDCE94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3007567$E3E16FBE-69DB-47C1-9F90-6812ED89D705","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4c950c29674ba9efdd1052727f4184863d679106","datavalue":{"value":"5908616","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3007567$1391886E-1BC4-4BDD-A936-168E6A387D92","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007567$86189657-1D14-42E5-A7A7-A0DF4D13C340","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d3ed9701b24c07e8ddeb19932e1fa77191c06e95","datavalue":{"value":{"entity-type":"item","numeric-id":16327,"id":"Q16327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007567$1DC6E13E-A0FA-449B-BF6C-C83C07236189","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d0b3613afdea99b20a3156b582c84af8424d5eba","datavalue":{"value":{"entity-type":"item","numeric-id":20514,"id":"Q20514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007567$531F597C-1BBF-4329-9A14-6011BAEF3CA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9853a577315411544eb2c427f41ef798142f45e3","datavalue":{"value":{"entity-type":"item","numeric-id":20515,"id":"Q20515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007567$DD4A0ACF-8D53-4DAD-8E08-83917A8AB6F3","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":"Q3007567$8EF28BE6-4F11-4582-A0EC-CBEFE1D5C0AA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8ea668ccb6932c80c55b9a3c535d2435f23c1508","datavalue":{"value":"https://doi.org/10.1007/978-3-642-21070-9_5","type":"string"},"datatype":"url"},"type":"statement","id":"Q3007567$1529EB8F-E595-4058-BBAD-1D6345743591","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"38bfcd232a5a81f3b343f885d2867ddefc003f5c","datavalue":{"value":"W1249704292","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3007567$E81E1AD3-4092-453E-A3F9-05362EFBA56A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c32643632a441d0ab22fe3cd3772e94d103eb24c","datavalue":{"value":{"entity-type":"item","numeric-id":2819197,"id":"Q2819197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"126e45eb16c7a37faa2d8d02e6c860e5bd8c7e59","datavalue":{"value":{"amount":"+0.891406","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":"Q3007567$2DF41B7C-803C-48FE-812D-0D528B2629AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3f7c21899ae3ca2f351057fc6f1798e1ddf262b","datavalue":{"value":{"entity-type":"item","numeric-id":5491907,"id":"Q5491907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"349f47c248b3eef4858ac6ff39a4da7da20643d0","datavalue":{"value":{"amount":"+0.889189","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":"Q3007567$6771BE90-0C82-4716-9A2D-39BEDC74756A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38394b4e8d3a3502630a463829cd1f4840ac5524","datavalue":{"value":{"entity-type":"item","numeric-id":3172879,"id":"Q3172879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0ffb5030fcdfdf3ee97f6b251df7fe782f581ca","datavalue":{"value":{"amount":"+0.87573045","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":"Q3007567$ACDE1F0D-12A0-494A-865A-8A994220D695","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6db23d2ad35e7f6579e9dc67d88087dcc91726b","datavalue":{"value":{"entity-type":"item","numeric-id":2814613,"id":"Q2814613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b00f5ba705bb4076f0a60491129a1cfcdc53bbfa","datavalue":{"value":{"amount":"+0.87541234","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":"Q3007567$B15AE687-6BB6-4848-BBBE-40C0C9C83DA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d8c676f8538b024eb2a80be0edde23296e2c1db","datavalue":{"value":{"entity-type":"item","numeric-id":1600086,"id":"Q1600086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3c963657aab9820636c59c2031700d8a51b7bad","datavalue":{"value":{"amount":"+0.87431055","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":"Q3007567$98374009-0E0A-43A4-969F-67D87BE85309","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23f8c9dc489dacc1aacc0b89005efc7451ccc9d5","datavalue":{"value":{"entity-type":"item","numeric-id":4624465,"id":"Q4624465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3baf297f85bc5ae35c8e45795f347ee0a895b604","datavalue":{"value":{"amount":"+0.8718433","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":"Q3007567$3A705F1E-7491-48B9-85DC-E95E5ABCAE8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1aaa64d3dda2bbfe06298641ab8804aac6254b7","datavalue":{"value":{"entity-type":"item","numeric-id":3523187,"id":"Q3523187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93386d1cc52aa5b988308239bddc0300fc74e997","datavalue":{"value":{"amount":"+0.8647476","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":"Q3007567$720365E3-6130-45C2-A28D-35FF80FB6054","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a13efb3b5dff20960925457086d5e64ebcdcc42","datavalue":{"value":{"entity-type":"item","numeric-id":3541686,"id":"Q3541686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4137332c71bd637d871e881e6fd7d924685cd560","datavalue":{"value":{"amount":"+0.8646759","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":"Q3007567$FCDB9B8F-B6C0-478B-97FE-A2376848CE92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8bfe1579abd1aa529055d84308768a923e2bf5d","datavalue":{"value":{"entity-type":"item","numeric-id":2754041,"id":"Q2754041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a7a1d1d2400c3b946da00b7d303cd8ace66444d","datavalue":{"value":{"amount":"+0.8643769","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":"Q3007567$2065B063-0932-4591-97DB-9DA478C3C46C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3007567","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3007567"}}}}}