{"entities":{"Q5505517":{"pageid":7535077,"ns":120,"title":"Item:Q5505517","lastrevid":41890836,"modified":"2025-05-09T11:33:14Z","type":"item","id":"Q5505517","labels":{"en":{"language":"en","value":"Logic-Free Reasoning in Isabelle/Isar"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5498241"}},"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":"Q5505517$64E312E4-2D05-4E37-AF35-FB3FC674A20E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"38332228ebdc49d65dc62a29e61ebf012f6ff839","datavalue":{"value":{"text":"Logic-Free Reasoning in Isabelle/Isar","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5505517$5C338BDF-6640-4C49-8C8A-EECFFCF67B88","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dfa80a756e15b48a60afe6bd3bfd9a1054233df7","datavalue":{"value":"1166.68337","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505517$B918783A-205E-41AA-826E-D06B65BB07AB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9ad23eacdc4abc51694cc7498fcb5c31430ad531","datavalue":{"value":"10.1007/978-3-540-85110-3_31","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505517$A3197551-5F2E-4421-9C6D-1445C9D7B711","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"886664d698445e1702c39c62a8e99a722a88bdd6","datavalue":{"value":{"entity-type":"item","numeric-id":817699,"id":"Q817699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505517$90175E82-7671-45B7-9B9F-F7E562753D03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a162d67ca0f0da05fadb758011f7efa5d1e07db6","datavalue":{"value":{"entity-type":"item","numeric-id":287364,"id":"Q287364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505517$858BA518-9C8C-4E3D-AF2D-E4BB3ADF9FA5","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":"Q5505517$6909F2C3-63D9-4A39-AB2D-220D8297F1BD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"51e6c39ac6ec91b8381a06fe1e16cf5aca0f2bdc","datavalue":{"value":{"time":"+2009-01-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5505517$A4C1C083-588B-471A-A8C3-32CF45F1F883","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505517$86B4C114-AEA3-48C3-834F-6FA2FB8EEE93","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"40464da48ea50f2c1b9d22bf0a68689dc7be35b2","datavalue":{"value":"5498241","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505517$A6A2EC85-F0F5-4063-8F9D-E7DD743EE18C","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c5fcda2c98ddff866834785339eb37077e5eb1fe","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505517$979767F5-7E39-42B7-BC08-CCAC57AF10A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b222922e2b373ab7fb2b7a049f9de07c755ee255","datavalue":{"value":{"entity-type":"item","numeric-id":16770,"id":"Q16770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505517$61ADBB47-DD65-4437-932C-0DBC6C8739AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bcaf3b20cd7fd897f2f47a708bad9d4f554cb6fa","datavalue":{"value":{"entity-type":"item","numeric-id":14553,"id":"Q14553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505517$7469AD26-5BAC-429A-9B62-05955D7EEFCB","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":"Q5505517$70EEA8D1-2689-47D9-B1E5-99D38BC4F933","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"962255c8b766cdfbc1b03cde0cb99e0ba0f03edf","datavalue":{"value":"https://doi.org/10.1007/978-3-540-85110-3_31","type":"string"},"datatype":"url"},"type":"statement","id":"Q5505517$51D942B1-7D8C-43B5-8621-9130096A8905","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"87cf854ea0f3cbb99e029320fa65914e38eb3d16","datavalue":{"value":"W2128719764","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505517$2EC887E3-0513-404B-9696-10F6BA035DD4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9689d3285995afb42633d6587b8f7ef68cfb9e38","datavalue":{"value":{"entity-type":"item","numeric-id":5756774,"id":"Q5756774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505517$82EA54BA-EFA6-4AEF-AD38-1F8062B7CFB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0f35ae7566b8bbe9c52c7114fdab5f84a63a423","datavalue":{"value":{"entity-type":"item","numeric-id":1840143,"id":"Q1840143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505517$9EED7159-8448-4743-A4F9-6386610966B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1404903fbb3450c69ae4b46e148487834232fe43","datavalue":{"value":{"entity-type":"item","numeric-id":1823013,"id":"Q1823013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505517$A83C999B-5DA8-45EE-84B3-0D1F81D90273","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3a9a03ca7f35c079c210036c3416fa8438e5201","datavalue":{"value":{"entity-type":"item","numeric-id":4513619,"id":"Q4513619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505517$A36FB4F5-9BB4-4675-9F67-EA3718056317","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0f03bf183c7a653e5e84320e58ed58d37b137b2","datavalue":{"value":{"entity-type":"item","numeric-id":1868515,"id":"Q1868515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505517$818E0ADA-C631-46A6-A062-508B62A91BBB","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":"efef6b4e760cca4a7f4f26d338a14234bb642422","datavalue":{"value":{"amount":"+0.89929193","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":"Q5505517$C455813C-0E89-4B1F-9B9B-3AB67236C6DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2af0d8b4e7b2d46baed24deb26a7bae58ee1c4a0","datavalue":{"value":{"entity-type":"item","numeric-id":4793394,"id":"Q4793394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8546fa3a2dba2ceb3d0bf928da9869d51df98f05","datavalue":{"value":{"amount":"+0.89288837","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":"Q5505517$B6E48697-247C-4669-87D0-2DD77CD9CF94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8fd5c2832aabbf4b304824c9b3020a0ed9253b4e","datavalue":{"value":{"entity-type":"item","numeric-id":4823141,"id":"Q4823141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ecef4ffaee4f6e8520f06f30a3aafd4355cf4980","datavalue":{"value":{"amount":"+0.88897866","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":"Q5505517$0D7E8A1D-AB72-4B4D-AFD2-7C2DA37E1D04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5467111328fd38d6c5507da63660cb60fb888554","datavalue":{"value":{"entity-type":"item","numeric-id":2767056,"id":"Q2767056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e707ae724004f360e20a1fccad868b2ff9b9df16","datavalue":{"value":{"amount":"+0.8871112","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":"Q5505517$2A1A0240-B731-4EBA-A98D-9FC78A4A89BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a3f82df12b0d518b03d54ec2b03e9ec5b8b222a","datavalue":{"value":{"entity-type":"item","numeric-id":1825045,"id":"Q1825045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ecca46289f83af3d268ddaae753815939da10a7","datavalue":{"value":{"amount":"+0.8855377","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":"Q5505517$95542B4B-7F4F-4744-8EE3-B592632A852C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"673c29b97b1621ee2ea3a8f782d56b8095c70bfc","datavalue":{"value":{"entity-type":"item","numeric-id":4342084,"id":"Q4342084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3fef93ce7e8206673dcca8a2ac9030c29f5121c3","datavalue":{"value":{"amount":"+0.88018185","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":"Q5505517$F9BC3FC8-14C3-4875-ABFA-225DC79A23F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f984a756906cfb1dce1489979f95c15ae7718deb","datavalue":{"value":{"entity-type":"item","numeric-id":4532198,"id":"Q4532198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3fef93ce7e8206673dcca8a2ac9030c29f5121c3","datavalue":{"value":{"amount":"+0.88018185","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":"Q5505517$4F51ADA1-BB53-4BAD-954D-A4BB7012FC34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d5c10f469ebd8973e02cfaae23e4767153b3bb7","datavalue":{"value":{"entity-type":"item","numeric-id":2723411,"id":"Q2723411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"904b0ed67f2e3642d34ca54f1c69e0c3986b8805","datavalue":{"value":{"amount":"+0.88010573","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":"Q5505517$5C33F116-82C8-490D-A38F-48BFBA67B69E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aebf92be8aea5ce03820e93ebd9511fb24449a59","datavalue":{"value":{"entity-type":"item","numeric-id":4982472,"id":"Q4982472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e55c9e92e8e53b50eed9f90ad24335ed45d30d6","datavalue":{"value":{"amount":"+0.8762127","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":"Q5505517$C7CD7C4B-0378-49F4-93CE-2C9A597C9C4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"774ca1f12c67ad163330d43f42f3e886aa4ddc6f","datavalue":{"value":{"entity-type":"item","numeric-id":4790652,"id":"Q4790652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8595dd2310f1c1f39655fb3e9b85eda422001bbb","datavalue":{"value":{"amount":"+0.8757168","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":"Q5505517$221DB2A2-E4EC-4AF9-9A90-77C63AFFF36E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5505517","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5505517"}}}}}