{"entities":{"Q1371431":{"pageid":1382171,"ns":120,"title":"Item:Q1371431","lastrevid":70269390,"modified":"2026-04-13T13:37:28Z","type":"item","id":"Q1371431","labels":{"en":{"language":"en","value":"How to define a linear order on finite models"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1080828"}},"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":"Q1371431$DABCAF6F-743C-4175-9700-70F2CD8D4F8D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1839d3410b2d72e8c961c4df90ff84337bec4eb7","datavalue":{"value":{"text":"How to define a linear order on finite models","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1371431$0723FFAC-422D-4CEB-A6B0-D14706931CA5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7f14d117ce822764ede0dd053d34cedb4e40fdfd","datavalue":{"value":"0884.03034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1371431$B0B22B20-23E8-4FD7-A4D0-A17D714990C1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fe94d3ca028f2eea64bfb148a2cbc2a40cf7fe06","datavalue":{"value":"10.1016/S0168-0072(97)00008-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1371431$4D7C76E7-7B60-46D0-AD34-FA7654397812","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4601a858f87638d70dc47292abc072f2d23b4985","datavalue":{"value":{"entity-type":"item","numeric-id":259069,"id":"Q259069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1371431$B41819A6-598F-485A-89E4-AE641589EE08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"03a244f3a3971e8ae5c09ca1ba10c024a323f6db","datavalue":{"value":{"entity-type":"item","numeric-id":269316,"id":"Q269316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1371431$9373B2FE-00FA-4502-A5E4-D328E17087D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ec9e7669b66cf36ac5f2e3dc60d88a192c2936ae","datavalue":{"value":{"entity-type":"item","numeric-id":412062,"id":"Q412062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1371431$530240BE-A4C1-4152-B8F4-4007D7779D73","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1371431$E4953B5D-F627-42B8-B307-DC85AD5CAF9A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b0eaf19f8434564cff6a93a80be5427b161bea94","datavalue":{"value":{"time":"+1998-01-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1371431$978E0940-D770-4EBC-BDDC-03D1D6AAB3EC","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"cdc79fac14a5729f371c9b2efa33985f4e8b6840","datavalue":{"value":"The definability of a linear order on a class of finite rigid structures is studied systematically. Among the logics considered are least fixpoint logic LFP, the logic LFP(R), where R is the Rescher quantifier, partial fixpoint logic PFP, and infinitary logic. In particular, it is shown that the minimal order partial query is implicitly definable in PFP.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1371431$BFC7E623-BB7D-4181-86BB-5D3616C49711","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b58df756e27df0e7b4d6d54dbbfd9015b563e63d","datavalue":{"value":"03C13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1371431$A6D06B71-E33B-42FD-8496-4B313E692830","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e4acb947bbb93aef022d2652e8dc30ed364d53d7","datavalue":{"value":"03C50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1371431$B1FEF080-2432-450F-9249-7DEFFADE59E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1371431$D26576EB-80E5-439C-922A-139EE51C3726","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1371431$8AD9B852-1595-47EA-85E2-6C0F25D39E56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25e5a5f23d3e2e2c05864da16eda493011c33276","datavalue":{"value":"03C80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1371431$A27AF0AF-6E34-4759-B19A-FFCE3785B3BE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"71360d96e2b8cc6fe2c170ec4c5e8a7be279a1b4","datavalue":{"value":"1080828","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1371431$1CE22B25-F805-441B-8BA1-90BEB46CB6B9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0421a88d9599388a9af4b0e2102ab403f6c36e7f","datavalue":{"value":"finite model theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1371431$56AF162E-6717-4745-842D-4459CF055FC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1d1704270a9039716b55e6e1812bb5207f41d59f","datavalue":{"value":"rigid models","type":"string"},"datatype":"string"},"type":"statement","id":"Q1371431$A0BE7052-803C-4004-8133-538027623010","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4e0172aeeb596f43bf9733c8330242d392f88c5","datavalue":{"value":"implicit definability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1371431$466438CF-2096-4055-96B9-A967FA175EDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b8439c3c323b21d48b0e534a0ebe58f84d18c385","datavalue":{"value":"linear order","type":"string"},"datatype":"string"},"type":"statement","id":"Q1371431$3219A6D9-2E93-492C-8EFB-D961E308E07F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7dc970a8aa15f6db75210470793993c26e0ab2ff","datavalue":{"value":"finite rigid structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q1371431$C2368805-42ED-4290-A77E-259F75F02C40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"07700acd50c5427f6fe5af9aebca9195e0f8aa87","datavalue":{"value":"least fixpoint logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1371431$CCFBCA14-34BD-4F69-A52E-4DD8A059DE41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d86272fa997a0245b1f23b24bd5ff79217bce9f4","datavalue":{"value":"Rescher quantifier","type":"string"},"datatype":"string"},"type":"statement","id":"Q1371431$C3BB1A14-08FD-4BA4-A365-081B363AAEED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"33de371b5a6131213af00b78ced0985289f7d329","datavalue":{"value":"partial fixpoint logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1371431$705FCF9D-76B3-4EB1-88A5-D45E61E3B049","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bbf537dbec71095f9e06a79b6d427b8aa7fcfd79","datavalue":{"value":"infinitary logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1371431$45D7A3D1-FDDC-4002-99B1-5D1DF0C45270","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42a164449e03cbd07f5ad8260c2b8ba478d0de2d","datavalue":{"value":"minimal order partial query","type":"string"},"datatype":"string"},"type":"statement","id":"Q1371431$5A26C858-E457-469E-BE3C-D852208B711A","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"73a1643e41698b2031364550f847827b09b1ce33","datavalue":{"value":{"entity-type":"item","numeric-id":490658,"id":"Q490658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1371431$2903BD61-47A0-4A10-843C-666F23379355","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":"Q1371431$CE02D774-BD0D-4898-A97D-0B1DD9F8BA4E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b061c74acfe7ed299eeb2c95c750dc4bed6741a4","datavalue":{"value":{"entity-type":"item","numeric-id":1176285,"id":"Q1176285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1371431$1D9FE7AF-D187-439E-8664-66630CEB5A6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e50f22a422673d39d6b1662c5cdb08746bc7648d","datavalue":{"value":{"entity-type":"item","numeric-id":1892224,"id":"Q1892224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1371431$CB126E5B-3154-4AD4-855F-3F82604CA025","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1bb63192136286ee2b68ee1b226f2d4a02b4b9e","datavalue":{"value":{"entity-type":"item","numeric-id":3901544,"id":"Q3901544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1371431$D8094FFE-BF15-487B-905E-C8A2364DE487","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bccc04170b12cdfbc782f77a5d15185542badb7","datavalue":{"value":{"entity-type":"item","numeric-id":4143287,"id":"Q4143287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1371431$FD59FAFD-7820-4BB4-A794-5C76E5E91B04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb019838f7e83d63569fdc9c7d517b95c9c37f34","datavalue":{"value":{"entity-type":"item","numeric-id":3714043,"id":"Q3714043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1371431$420F9983-533A-4188-9135-1A85F1BB1B78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"207fe11e890496516434bc3ee50b5c99ac0185fe","datavalue":{"value":{"entity-type":"item","numeric-id":1204528,"id":"Q1204528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1371431$510DB419-D246-40FB-AB37-6C7CD0DB7B12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04199e03d1d3ec0d2b5fbfff526a164b91654871","datavalue":{"value":{"entity-type":"item","numeric-id":1838840,"id":"Q1838840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1371431$F6C87BCF-B09A-446E-BEC2-5159AD64CBC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c859dc9bc5c44c673f4132f2e7bef4d53162ec9","datavalue":{"value":{"entity-type":"item","numeric-id":1188602,"id":"Q1188602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1371431$39A4F7C0-23CF-4A63-A3A7-B4B55062AEDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19525a32770bc0161d21fb40f62cd8531fc10179","datavalue":{"value":{"entity-type":"item","numeric-id":4763536,"id":"Q4763536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1371431$E5AFA67E-2FDF-431E-AE7A-6A669FCBDFD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9180e2f4c3ab949ceca19b7994d2ab900aef6337","datavalue":{"value":{"entity-type":"item","numeric-id":4645216,"id":"Q4645216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1371431$4EF9B314-5070-4959-85A6-46FF3D8B1A89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3ecf2a58a0d285969621dcb728618dd85cd1088","datavalue":{"value":{"entity-type":"item","numeric-id":1893734,"id":"Q1893734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1371431$94F0E763-536E-40B5-9423-88441A3EA20E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e352c0c79a06f6de0a8b9916dc2f414ddad83f78","datavalue":{"value":{"entity-type":"item","numeric-id":3797174,"id":"Q3797174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1371431$826BDDBD-D155-4AA9-94FB-C839D69797A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0839e7e46510112865b452a6ed8d8dd889a4c60","datavalue":{"value":{"entity-type":"item","numeric-id":4058132,"id":"Q4058132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1371431$56201B98-CEE4-47BB-B693-F8EB7A2D2EBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a740b6e9e652b2fb5fe827ec941309ed6af62f7","datavalue":{"value":{"entity-type":"item","numeric-id":4108321,"id":"Q4108321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1371431$F98B4B96-67A2-43CE-A1CE-EA8EC25AF3A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf4429f87b5e346525ac184c31875e98880c66c0","datavalue":{"value":{"entity-type":"item","numeric-id":1250814,"id":"Q1250814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1371431$2FB84BBC-C6BF-47A3-8A05-8E4D98066E1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88180206b38ed0439d98f1638d02f25bc153ff45","datavalue":{"value":{"entity-type":"item","numeric-id":4283240,"id":"Q4283240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1371431$D1A1E6D2-7229-498E-AA00-809200B0A9A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"632317fe51438065bf57941f71730a4664ec3cc8","datavalue":{"value":{"entity-type":"item","numeric-id":3758820,"id":"Q3758820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1371431$5351C921-BED6-4351-A655-EE56677625D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1aa96b7c0ec9bc7a683e7636e258c3fded01e42","datavalue":{"value":{"entity-type":"item","numeric-id":3787917,"id":"Q3787917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1371431$C502D010-8FF8-4F78-A949-09B13DAA58E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5ed5cf1250814a5e584c109ec7d15def62f14cf","datavalue":{"value":{"entity-type":"item","numeric-id":1090327,"id":"Q1090327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1371431$C739684B-8001-4E71-A5D5-4126373BDE8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4ef49b996821a97bcaa60973838534abd2900e8","datavalue":{"value":{"entity-type":"item","numeric-id":4894726,"id":"Q4894726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1371431$8C76E4E2-6390-4EB3-BFBF-A035935B30CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c925be47518f9a866a7a100f5d5ada6cdd2f844c","datavalue":{"value":{"entity-type":"item","numeric-id":5659583,"id":"Q5659583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1371431$963378CB-CE2F-47D9-B8FF-0521B5B778CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38b2df16e0721643b5780540c289c533ac16c1ff","datavalue":{"value":{"entity-type":"item","numeric-id":1817218,"id":"Q1817218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1371431$9A6A980A-59BA-467A-B4B3-B0B2DE8D66B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35d31860df339f601f11399e456eadf2fdfdb1e3","datavalue":{"value":{"entity-type":"item","numeric-id":3128483,"id":"Q3128483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1371431$45A99408-27BE-4C5E-ABC9-6D308E188A31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c21d94cfaafe1e7827ea1a6ddf0852456baf439","datavalue":{"value":{"entity-type":"item","numeric-id":3142555,"id":"Q3142555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1371431$D352AB48-B492-4A9B-94BD-C7C9AF2C8340","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18d639fb9d03ad258814bab0f3f43d6d28e28a1e","datavalue":{"value":{"entity-type":"item","numeric-id":1173404,"id":"Q1173404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1371431$CAC4F591-A0FB-4DE9-AC17-C1BAD811C757","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a675fab4321817783597d6a1b8160efcb24c4ec","datavalue":{"value":{"entity-type":"item","numeric-id":3753525,"id":"Q3753525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1371431$5A99E8EF-D8A0-4D0F-9670-5F8515301D79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04ca7a1acbb96c14c8f84c4ce6e6462daf757716","datavalue":{"value":{"entity-type":"item","numeric-id":3773337,"id":"Q3773337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1371431$7DFADCE6-C654-470B-92D9-77A04A6BD0BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b86a7428d25186a655d06d9001814911af977b6","datavalue":{"value":{"entity-type":"item","numeric-id":3830533,"id":"Q3830533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1371431$0A74F850-F338-42D5-BF2E-D2D13B303C18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"631dd448ed94a161dd5275cc06d6f96081ad289f","datavalue":{"value":{"entity-type":"item","numeric-id":922523,"id":"Q922523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1371431$44AC7D1C-1BEF-4B8F-822A-2E484EB6B7BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aff365d8186cc4c7ca2a8c01bb1842652c3c232d","datavalue":{"value":{"entity-type":"item","numeric-id":4273947,"id":"Q4273947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1371431$D90D583D-1FBB-432A-8159-5EC3B0E04E95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34ca8dcdb67380935174b1ad35ce39fd72d2daa4","datavalue":{"value":{"entity-type":"item","numeric-id":3747761,"id":"Q3747761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1371431$5E9F8DC9-BDA7-4B91-BCDE-52B3CAC6CE2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37324faf442bf31ec7718a4b62bbdff48cea6206","datavalue":{"value":{"entity-type":"item","numeric-id":960526,"id":"Q960526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1371431$71DBF10F-00A6-4297-8995-862D7F7B2262","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"666440284a477c836e1dc9673229eb9c31b3c47a","datavalue":{"value":{"entity-type":"item","numeric-id":1193591,"id":"Q1193591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1371431$81B1090C-B434-44A0-A5E8-9D1D09B06DC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f4ff9c0bc839db785d823b1defade22b16954cd","datavalue":{"value":{"entity-type":"item","numeric-id":1123616,"id":"Q1123616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1371431$F49D7900-14B9-4AC8-A000-D5062EFC1F7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9439b068dfd82475252861fac873d24b67b1f7f1","datavalue":{"value":{"entity-type":"item","numeric-id":922533,"id":"Q922533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1371431$AE8CC3AB-1C0E-43E9-AFC5-E2FDA0046620","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fa762974e3cb0286b2a40e5214b429aa00cb948","datavalue":{"value":{"entity-type":"item","numeric-id":1217684,"id":"Q1217684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1371431$DDD75C58-3DF4-4D73-AC8C-23BC83B83FCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6b978fc5f442cc29d1a51f35c37ee5878e0c2b3","datavalue":{"value":{"entity-type":"item","numeric-id":4879905,"id":"Q4879905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1371431$2546FE5E-64DC-443A-883B-F7756F5FD29F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4751cb99cfb27abec44f2378f8165a3a9a6376a","datavalue":{"value":{"entity-type":"item","numeric-id":1236109,"id":"Q1236109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1371431$35964507-D795-40D1-93A5-DB3170A73705","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36f5833550e269623349e512f5f9ffd53bbcd5fc","datavalue":{"value":{"entity-type":"item","numeric-id":4385515,"id":"Q4385515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1371431$2EF98F13-E297-4610-9FE1-BE713745375A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3fdeac57e6ae30181fb2db5f7f4e10e134e5670","datavalue":{"value":{"entity-type":"item","numeric-id":1232181,"id":"Q1232181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1371431$D8579699-12CB-4A7F-A418-EB1CBBD838E7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"58f92513b7416c358c67782fc6a01f2418694e1e","datavalue":{"value":"https://doi.org/10.1016/s0168-0072(97)00008-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q1371431$56C8AC0E-8F6D-48BE-AA85-9C1C04DC778E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d2aec2a0f2b1dd406968369dcc6f011714b59bf1","datavalue":{"value":"W2073354681","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1371431$84435781-BF1F-49A7-93B2-E60CB710AFD4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f22d77fb9b1a4f445dab084d4c2d1ba8cef0282","datavalue":{"value":{"entity-type":"item","numeric-id":4894726,"id":"Q4894726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"749459e7996d9c1e2a0a36f3a58345eef93cd864","datavalue":{"value":{"amount":"+0.8005456328392029","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":"Q1371431$E4D714DC-2894-47AD-BFB6-F11C83CDF01C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73c0ee8f6b9af01912431a3a4460597877530044","datavalue":{"value":{"entity-type":"item","numeric-id":1306793,"id":"Q1306793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"967a2e22432f6fbce4b090c827d9c85de4c2c717","datavalue":{"value":{"amount":"+0.7730664014816284","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":"Q1371431$DB5AE6DB-4B55-4737-8FF2-24AAC496FC84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee551284211c0c7eb59b86d9972bb28d3a85a796","datavalue":{"value":{"entity-type":"item","numeric-id":1893734,"id":"Q1893734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01f35f1e9f33fea74acfbc97c247a0d58be4b656","datavalue":{"value":{"amount":"+0.7685201168060303","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":"Q1371431$A9CF1184-5454-4E96-8E77-75D17B24B504","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce223deb75173a2f932e8e3802766f1018567e3f","datavalue":{"value":{"entity-type":"item","numeric-id":4376058,"id":"Q4376058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33a9d7ab2fb203b9790908670e08fdc572864ed6","datavalue":{"value":{"amount":"+0.7545667886734009","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":"Q1371431$2A45B988-5804-446B-9DF8-FE94F5B9B052","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"How to define a linear order on finite models","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/How_to_define_a_linear_order_on_finite_models"}}}}}