{"entities":{"Q2169127":{"pageid":2179870,"ns":120,"title":"Item:Q2169127","lastrevid":82567517,"modified":"2026-05-06T21:12:48Z","type":"item","id":"Q2169127","labels":{"en":{"language":"en","value":"On induction principles for partial orders"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7580913"}},"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":"Q2169127$5B7C2BA6-8A48-48B0-B53A-06F01AFCA612","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9f0cdee1eb7d568df627dcfc63fa4f5c3937daa6","datavalue":{"value":{"text":"On induction principles for partial orders","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2169127$7215EA73-D98B-4F14-B82D-E8ABEED0BFC2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2e5a0a219ac98a153cde5448dff95be1f29ecc27","datavalue":{"value":{"entity-type":"item","numeric-id":271898,"id":"Q271898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2169127$0C14862B-CE59-4B9F-AC04-7B26B27D5172","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"68e3389b38900d3aaadd2d35ede086cf89c1b97f","datavalue":{"value":{"entity-type":"item","numeric-id":263103,"id":"Q263103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2169127$44E1732E-A3A1-420C-A567-1C9EF227F3BB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9f8103c39d04c6902efbf808a8b0b8b468836cc5","datavalue":{"value":{"time":"+2022-09-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":"Q2169127$BC714951-94D5-456C-AE15-D16D3F19AF83","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2169127$CAE51424-C194-4FBD-B98C-8A9231AECD03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2169127$156F3102-B991-465C-96D2-943833352BD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e037813de56311048f7e0a208650360505bf4d4e","datavalue":{"value":"06A06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2169127$B2A902BB-255C-4702-B294-7E2A3E7431F1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"602cc93f136fd4f2b5feeb6bb6ac57518e81e595","datavalue":{"value":"7580913","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2169127$A4C7B7AF-B12D-4342-9758-D35078F7B69D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"126bc261b4ce15426bca501a6725c284417e2bf6","datavalue":{"value":"partial order","type":"string"},"datatype":"string"},"type":"statement","id":"Q2169127$A85AF6E9-3823-422F-9F2E-4AA5AADA196C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bb82a6bb049eca827530aea8e4ff9bb2ba33b1cd","datavalue":{"value":"induction principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q2169127$853EF428-2C40-4E22-90FC-262CB9045EDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f02f4db7bd17ba3fbae1be6bcee13dc9e5aa86bc","datavalue":{"value":"formal methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q2169127$D295B2EE-B12B-4DAC-BE57-294FC8212B78","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d758ac0ae837e1988fcbce179d850d4d45b9dad7","datavalue":{"value":{"entity-type":"item","numeric-id":53718,"id":"Q53718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2169127$E661EBC4-A3CC-4FE9-941F-9BF0BDEF5C40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e338912f65cbd77347bbd512933e55736ef58bd1","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2169127$7BDBB152-1FEB-4A8A-B5B4-625F5207D183","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"eecff7672d98ddd92e9f59bf72dece031571efe6","datavalue":{"value":{"entity-type":"item","numeric-id":35496,"id":"Q35496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2169127$7985B6F2-56BD-432A-BE80-8995D6AF9A87","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":"Q2169127$99D3C11D-BF6B-4191-BAC8-0AD5031F1C62","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2a2505f0c4a48a99a582a2487772fa841ea67077","datavalue":{"value":"https://doi.org/10.1007/s11787-022-00296-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q2169127$4BB28A56-9378-44A5-B870-B4D65D1B57F5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a5a7f834d984e16a03198083f69108b4f47c732f","datavalue":{"value":"W4210517502","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2169127$919F86F9-C940-489A-9C9B-09DE0BC6D089","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"409987a810524256b5a0ee830c1789f689f8ecd4","datavalue":{"value":{"entity-type":"item","numeric-id":3579663,"id":"Q3579663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2169127$43B5CEEC-8806-4966-90F5-444352E26D56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a455d78e1b2e575a95470d6188bea99fa99df4f6","datavalue":{"value":{"entity-type":"item","numeric-id":4910867,"id":"Q4910867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2169127$C9D255A2-EBDE-4A8F-9F86-F68B71F30CFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59fedeaa1673af7bf11539505ca38c04f5218c0f","datavalue":{"value":{"entity-type":"item","numeric-id":1583483,"id":"Q1583483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2169127$437BFF14-C05D-48C6-8DEB-5148ED5327EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae857dbb2c9d26fd1383e3e037b0805904e6523b","datavalue":{"value":{"entity-type":"item","numeric-id":5108578,"id":"Q5108578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2169127$26C6DD3D-F5A8-48DD-BB5A-88A92FCC34EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d4d8445b0c5d1c55ee7df6108f4f37120aeb379","datavalue":{"value":{"entity-type":"item","numeric-id":5459631,"id":"Q5459631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2169127$ACF8D263-2BB4-497D-B72A-927140715E34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6ee5dcfa4bed4983e23b945544634540279752e","datavalue":{"value":{"entity-type":"item","numeric-id":5145359,"id":"Q5145359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2169127$8EDCFEFA-13E7-4950-AECD-ACC850DA92DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"889750e6b63c62516f108fd0d35f770cecc8f256","datavalue":{"value":{"entity-type":"item","numeric-id":1264579,"id":"Q1264579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2169127$FBC456E1-A1EE-4F7F-9143-CC3744BB3E8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc032892d4a94b13a994202edfb25cb5d8b8a0d6","datavalue":{"value":{"entity-type":"item","numeric-id":2946689,"id":"Q2946689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2169127$4C5B43F0-679B-449F-BC08-5B40446BA5AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0234e5b62eff3ecb20caf09677112beadf2fdc67","datavalue":{"value":{"entity-type":"item","numeric-id":1709711,"id":"Q1709711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2169127$1476BDDC-3C7C-4315-A5F0-A5438FC2118E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d542b29badc8a7fe50db3b8c16bd2d7c8d19ed5","datavalue":{"value":{"entity-type":"item","numeric-id":4780924,"id":"Q4780924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2169127$A5F49A20-10B3-4458-AF01-4617F08A69DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d325c2af328a199acd0812119eccc77a69ad641","datavalue":{"value":{"entity-type":"item","numeric-id":5410680,"id":"Q5410680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2169127$EA171348-AAD0-44EE-8072-9103E7B423BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf1e6e74fc9f0e43b2bb5ebeafd488ad5919a3c3","datavalue":{"value":{"entity-type":"item","numeric-id":1112816,"id":"Q1112816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2169127$DF41BAAE-F3A3-4B4C-8A34-B6E35D0477A2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"42ad66fc1be37f71e833a3d4bc12e6423b5fb06e","datavalue":{"value":"10.1007/S11787-022-00296-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2169127$8FC22798-C3A0-4FE6-8AC2-3FC4660BF830","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6afaaabeaf225eb12e070c37bf1a251d0632198b","datavalue":{"value":{"entity-type":"item","numeric-id":3795711,"id":"Q3795711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dac05b99524508ae7401f01b178c9bda903f17d2","datavalue":{"value":{"amount":"+0.9041818","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":"Q2169127$31C7C0BF-CECD-4279-96EE-4D4EA9557090","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57d40e53ebbd7f07c61b7ace8ad4dc3cc3efee32","datavalue":{"value":{"entity-type":"item","numeric-id":4311214,"id":"Q4311214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0f836d3118917202b3527ab64dc50048c8100d6","datavalue":{"value":{"amount":"+0.89920884","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":"Q2169127$7CFA9893-672C-414B-A0F2-CBF9456095FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f2635058e0a77e076ca99533ed8d5d013aa93a8","datavalue":{"value":{"entity-type":"item","numeric-id":2986055,"id":"Q2986055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00a62c1707a1339e80ad743dae3f3332f06e4bed","datavalue":{"value":{"amount":"+0.8978962","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":"Q2169127$763EE92E-D3EA-45F2-9486-4C105F6543A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b4b637aa6c240e49a86f26407701410eb9e994e","datavalue":{"value":{"entity-type":"item","numeric-id":4253215,"id":"Q4253215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43aadca3fdacf9ea9ac7659b7fff75551891a108","datavalue":{"value":{"amount":"+0.8948382","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":"Q2169127$E48CC520-6374-4B00-A0F1-74B629422C6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be41c015f2173e76d50a146ced186d3508399ffd","datavalue":{"value":{"entity-type":"item","numeric-id":4814267,"id":"Q4814267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e61a9670af01cf087f83ba7eab7ac48f81391f1","datavalue":{"value":{"amount":"+0.8916956","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":"Q2169127$AAAC73C7-395D-47B9-9DD1-D0C6A6BF54A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d66c05696417db8302b7fceeac74f01d69aba1bf","datavalue":{"value":{"entity-type":"item","numeric-id":1322161,"id":"Q1322161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0fc8ffa2c5b3a86bf6fa7a1ac2eda4a606690b1","datavalue":{"value":{"amount":"+0.89064074","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":"Q2169127$C2F62A06-783F-4D3A-AFF2-0E3FA3EFF9E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ae20dbdd727a39d958cd59ecf2cc65cee0790d6","datavalue":{"value":{"entity-type":"item","numeric-id":4732498,"id":"Q4732498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a84a47d53da20c1847044efa8886796335c04f08","datavalue":{"value":{"amount":"+0.8905617","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":"Q2169127$AFDED9E6-6294-429B-91D0-B84501557910","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4065de8160120b6a9ffa152e4d3832788c5bb3f1","datavalue":{"value":{"entity-type":"item","numeric-id":5051277,"id":"Q5051277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"635e541440176a0952565d22a0695ef3f18de165","datavalue":{"value":{"amount":"+0.8902813","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":"Q2169127$F2E553EE-287E-4965-9CAA-6BD5B6FD2B24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ac4b82c821ce4bc1ffa90a7717d0dbca6d09771","datavalue":{"value":{"entity-type":"item","numeric-id":841168,"id":"Q841168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a79b2921fc777deb97ad6b88fb9491b122dfb1a","datavalue":{"value":{"amount":"+0.8882149","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":"Q2169127$A6DE688F-415D-4554-AB57-50FC59BE0B81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"650813d69bc36a4e5f0cfb2056a079253818d635","datavalue":{"value":{"entity-type":"item","numeric-id":2038458,"id":"Q2038458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b250ce73db228b40fd5f251b0e96cfe4b6c052a","datavalue":{"value":{"amount":"+0.88572586","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":"Q2169127$DC75E706-C020-4248-B5F3-EE5BB10F18AC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On induction principles for partial orders","badges":[]}}}}}