{"entities":{"Q749219":{"pageid":751068,"ns":120,"title":"Item:Q749219","lastrevid":42672807,"modified":"2025-07-08T08:39:04Z","type":"item","id":"Q749219","labels":{"en":{"language":"en","value":"Generator induction in order sorted algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4172408"}},"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":"Q749219$6AA9D6D0-992B-422B-9AEB-CA4D44631571","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"261cf14525fcad936421ca51d8fa6f840ac59362","datavalue":{"value":{"text":"Generator induction in order sorted algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q749219$84E5AFA9-3878-409C-943E-C53D097C806A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cf20d6f952ba724542bab99bf48955cb13fb208f","datavalue":{"value":"0712.68068","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q749219$22297DBD-BC1A-4306-ADCE-59B36537E81A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e20db5fda0167aa4c13b9846828928d90ea2e64b","datavalue":{"value":"10.1007/BF01211433","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q749219$65053578-F86A-4A2E-9B87-CEAB0824F5EA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"49a3a8c4e00dcbc97f85642c2695ec01433ebead","datavalue":{"value":{"entity-type":"item","numeric-id":444465,"id":"Q444465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q749219$171B6124-FC50-4A00-9702-718651713DF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6f751b15fb0c8f0a265aa36c1cc7084e468904ac","datavalue":{"value":{"entity-type":"item","numeric-id":749218,"id":"Q749218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q749219$D3526977-9FB1-40FD-9088-337C71A86B33","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9925518446645d219093152a820aba790417b61","datavalue":{"value":{"entity-type":"item","numeric-id":164203,"id":"Q164203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q749219$E8F14FAF-3281-48C9-B929-E84D3958BAF3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"391107ffc7a24346d69c573e292e4ff4587e3aaa","datavalue":{"value":{"time":"+1991-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q749219$C0D2D05D-DC13-4A9B-9BCB-E766ADAFE0F9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q749219$2812BA0E-F638-4BF3-94A3-DECFE486F033","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q749219$39366887-CA0F-4EF9-9F75-6B7EEAE1F6B4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"719cd0bd508151d59df689ae2262896f54cdd691","datavalue":{"value":"4172408","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q749219$E63CA570-F347-4141-A45D-C11AEC8D6F9D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47aefda07ac5d6e74103bdf2455b1df41b0e324b","datavalue":{"value":"algebraic specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q749219$1438E103-C422-4F0D-8003-CCA9A93B6223","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00b76a2e54f8798fe172effecd557ced03e2f904","datavalue":{"value":"functional programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q749219$B7D3BF7F-AD05-4AF9-8559-59ADD4A9185D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6e1ad4be1c844db596354853bf762601479b4790","datavalue":{"value":"order sorted algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q749219$F5B5ED6A-ACF4-4A15-9A64-6DD9496889AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d181b29eeee4bfe43321aceba3ffd8348db4da94","datavalue":{"value":"generator induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q749219$F0D037FA-CE87-498F-B006-A00FC84681D5","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":"Q749219$817D59BF-939D-4041-96B5-ED3095CAC424","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b94ed805160bdc6a0d6461ad1d64e54880b068a7","datavalue":{"value":{"entity-type":"item","numeric-id":3332229,"id":"Q3332229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q749219$15895CD2-8EF6-4158-9F99-00C53A6DBCE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3765fa6eaf2e4829daba364e1d7611cae42dbe5","datavalue":{"value":{"entity-type":"item","numeric-id":1064065,"id":"Q1064065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q749219$9DC12031-9832-4302-A2FC-23DD62BC51D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3388784066552dbe30b5bf9917261a8daba9ae5","datavalue":{"value":{"entity-type":"item","numeric-id":3719824,"id":"Q3719824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q749219$975CB99F-A207-4689-86B1-F794942E6ED3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3239d3bc022112b37f4da6991a3c7bf09667ee35","datavalue":{"value":{"entity-type":"item","numeric-id":1196302,"id":"Q1196302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q749219$6343BA82-8994-44C3-B837-5C153BADF299","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"916dfa73edf7b991ea28c775629263d040c9ec7f","datavalue":{"value":"https://doi.org/10.1007/bf01211433","type":"string"},"datatype":"url"},"type":"statement","id":"Q749219$A8179CA1-1233-486D-8958-A29BFE620F4F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"31d1c044633f332d22a6b30f55cb4252512624bc","datavalue":{"value":"W2057939154","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q749219$A26CB762-3054-48D4-A802-39A46CB723C2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d82e7de20d9aabe0e524d4debde3c43b9de2c22","datavalue":{"value":{"entity-type":"item","numeric-id":5117232,"id":"Q5117232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ccf058fc3dbe5e2dbaf21acf77fbc904b4f8c7b","datavalue":{"value":{"amount":"+0.8611386","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":"Q749219$B50A0CAB-3DBC-4D0E-A19A-9D594ED208CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e01cc18982a4dbca606784e3f43e80bb8562685","datavalue":{"value":{"entity-type":"item","numeric-id":4035262,"id":"Q4035262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf4e5090989ff54d10934e16d72e2dce3e6d27e7","datavalue":{"value":{"amount":"+0.8517498","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":"Q749219$BA13F71E-F9F9-4BB4-9E80-7A45C14A1014","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a22edee8a8bbe2f68e2bd73042d88d6662ac7884","datavalue":{"value":{"entity-type":"item","numeric-id":2503153,"id":"Q2503153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05850306e3a4de15efec1ade0522991811040169","datavalue":{"value":{"amount":"+0.8493386","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":"Q749219$69647770-5876-419E-A1C4-531AE539E97E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa8dc9a872db4b81a631124b46c9b5dc9da04a9c","datavalue":{"value":{"entity-type":"item","numeric-id":5096189,"id":"Q5096189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d816f31c9fd58474809cd34492093615442b240","datavalue":{"value":{"amount":"+0.8484854","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":"Q749219$80CF1012-CF29-4BB0-A317-C9B42BD75BBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a37eca21182b9fcc4d71bda4ca056764b43ce346","datavalue":{"value":{"entity-type":"item","numeric-id":5597546,"id":"Q5597546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d31205b68c7ca84abc0fb640720026998defc8f","datavalue":{"value":{"amount":"+0.846468","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":"Q749219$F6B86047-8D72-4D9F-9B42-685F2DA176D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"536e1b70a9ea3bd8ed71b4b87bad5cca236c74e2","datavalue":{"value":{"entity-type":"item","numeric-id":4807520,"id":"Q4807520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4e1a40a295ee05e88d2bbc1a40b906df53c9b0b","datavalue":{"value":{"amount":"+0.84436345","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":"Q749219$0447375F-19F1-4759-8E31-515BBD13E69E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52df177f6a7950caf1be6ac172cad36397f27cc6","datavalue":{"value":{"entity-type":"item","numeric-id":5393781,"id":"Q5393781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67fab8ebf223ea70fb2633164751a4a2900ae322","datavalue":{"value":{"amount":"+0.84270704","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":"Q749219$D0EF4201-DE3B-4014-9853-0E715D5C2A56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"057456f05463fc5fbaf9adb88c96d41e28384620","datavalue":{"value":{"entity-type":"item","numeric-id":4326912,"id":"Q4326912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c5057838fb72ac1d98e1c4b0bdb24bc0846b386","datavalue":{"value":{"amount":"+0.8415455","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":"Q749219$71553BFF-33C2-47C9-8EE4-41B7DF6ACF62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47fe7ba9ad414a2f281d3e804abd9a333ce4aa54","datavalue":{"value":{"entity-type":"item","numeric-id":2118173,"id":"Q2118173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ee2c1329fb4a20269dca7e487f3e463a51cfb0a","datavalue":{"value":{"amount":"+0.8408408","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":"Q749219$131A4B6F-9DB2-4299-A202-81E274458CC2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:749219","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:749219"}}}}}