{"entities":{"Q4608629":{"pageid":6638212,"ns":120,"title":"Item:Q4608629","lastrevid":41736148,"modified":"2025-05-07T18:00:49Z","type":"item","id":"Q4608629","labels":{"en":{"language":"en","value":"Two-Variable Logic over Countable Linear Orderings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6851899"}},"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":"Q4608629$8EECE831-E565-4773-BE31-ED6C30EFB5A8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fb7468544a63b3c062b3e00e00d9980b4b1b082a","datavalue":{"value":"1398.03063","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4608629$796B01FB-DA33-4723-BE6B-B84513DAC3DE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7afd7122421ec9353e478ef8380c882d14382b54","datavalue":{"value":{"entity-type":"item","numeric-id":504988,"id":"Q504988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4608629$B9EEB38A-81F7-4493-93EA-54F6028F23E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"920f7a9d4ba9554edb9692cfc5816b0fc7e0b54a","datavalue":{"value":{"entity-type":"item","numeric-id":2140478,"id":"Q2140478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4608629$F4DABF78-877A-4FCB-8BD9-6295EEADC7B0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7b370aaa83f4efe6143e52606b64b18fd663e7c7","datavalue":{"value":{"time":"+2018-03-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4608629$77164428-5312-43FE-B64C-404F37092C45","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4608629$3719A564-13C9-404C-AB14-576CE63BBF5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4608629$A1135D13-9FD5-461B-AF70-B208ACC2B55B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b50b69543d704e83c22ae7119605b6801599ae88","datavalue":{"value":"6851899","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4608629$EFC8B483-F8F2-41BB-B99D-595A0493E518","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40d91dc99e235a2bca8eda1e484f808645dad80c","datavalue":{"value":"\\(\\circ\\)-monoids","type":"string"},"datatype":"string"},"type":"statement","id":"Q4608629$0A298C84-EE56-477A-8899-EC6A85AD0F8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a4be7aa232a23765fc11f80bdbef8c92577db97","datavalue":{"value":"countable linear orderings","type":"string"},"datatype":"string"},"type":"statement","id":"Q4608629$7D141C65-7CD9-4879-92DF-A55F9C1E015A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"13c3c2b7135fade2b7e8cd7014192f17781d9485","datavalue":{"value":"\\(\\mathrm{FO}^2\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q4608629$CC502189-D6E3-45C7-BFEF-EF01EEA82317","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":"Q4608629$0D214B9A-2EE1-476F-B7B6-DD9475D57116","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"20230f4a4db51e4cf2c8d79de0e5107c39801b0f","datavalue":{"value":"https://dblp.uni-trier.de/db/conf/mfcs/mfcs2016.html#ManuelS16","type":"string"},"datatype":"url"},"type":"statement","id":"Q4608629$3890C68E-7417-49E0-A103-CE74C9184270","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"39ab2f9e72e65f71a71f355ceb20d4a049ad98aa","datavalue":{"value":"W2541640833","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4608629$2979BA64-B117-4961-947F-ACCC7DE45769","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ad165647da1752be2966ca2c0492d10146ea7dba","datavalue":{"value":{"text":"Two-Variable Logic over Countable Linear Orderings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4608629$03A7B77B-68FA-4666-89C8-F0EE37A9A1B8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5efad2941cced91f627bc18696277b5be45e8cb1","datavalue":{"value":"10.4230/LIPICS.MFCS.2016.66","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4608629$0B118969-F618-427D-A56B-D1A128D5171D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34aa167f11676c4834906c4c1d9499e727483f2f","datavalue":{"value":{"entity-type":"item","numeric-id":5739893,"id":"Q5739893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f14a26b76b8beb28a348e9b552a54fd19b58926","datavalue":{"value":{"amount":"+0.95175564","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":"Q4608629$3E2D4114-796B-4CA6-80D9-8CED29A271E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46e5c0f7ac44aa3d0bf33b8fa840bdaaf514ea52","datavalue":{"value":{"entity-type":"item","numeric-id":5351987,"id":"Q5351987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f14a26b76b8beb28a348e9b552a54fd19b58926","datavalue":{"value":{"amount":"+0.95175564","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":"Q4608629$61FA1802-E924-44A9-BF13-B720A231C922","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f309b07b5b416ab2fedfbe8171862759e16a28fc","datavalue":{"value":{"entity-type":"item","numeric-id":5901154,"id":"Q5901154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"efb431357628e7901ebebc8aebeee470eefe535f","datavalue":{"value":{"amount":"+0.9310567","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":"Q4608629$CE0BAA06-0EE5-416F-8B8C-2F775756CA29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e65a427c28b570dcfc1dfce65a15bea7b4410ab","datavalue":{"value":{"entity-type":"item","numeric-id":2747711,"id":"Q2747711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30c312a352afe4fee6852018b1ca74c3eb4202e0","datavalue":{"value":{"amount":"+0.92665267","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":"Q4608629$DBC4D0D1-D5DC-4717-A480-738DC871DE7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43243832a8209ee9530d7e4f312109d284920499","datavalue":{"value":{"entity-type":"item","numeric-id":2915693,"id":"Q2915693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7954084f17a0ccab9a001701898d160612e93c8b","datavalue":{"value":{"amount":"+0.92155737","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":"Q4608629$FB194A80-4A7E-4BFA-974A-C52887B514E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd697792be6d1f7b2f8875ed5175a04ec126b6b8","datavalue":{"value":{"entity-type":"item","numeric-id":5891508,"id":"Q5891508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7242af2324c8f83ad455e17fc6ccf1916abbcaa3","datavalue":{"value":{"amount":"+0.921137","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":"Q4608629$94E04C75-5E86-4609-ABE1-8FF6FD6A556A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76349f61a752a06066d95936fea3793634d23e95","datavalue":{"value":{"entity-type":"item","numeric-id":2408808,"id":"Q2408808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c4c44cac4bee0ca7a5530fb42deecb5c4265ee6","datavalue":{"value":{"amount":"+0.9193212","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":"Q4608629$C6187720-28BD-476F-B6F4-F1F9B0F2FF57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c11a634f863d7d4423922bb2e53f922b120fa79f","datavalue":{"value":{"entity-type":"item","numeric-id":4635945,"id":"Q4635945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b27e731f8d61a3d0d73a533ed7ca484fbb486e1c","datavalue":{"value":{"amount":"+0.90351784","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":"Q4608629$05299B2F-41AF-400F-8A57-DD5FEB143073","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dbe432c4cbedfe36f6f9d088a1b5998db47f081b","datavalue":{"value":{"entity-type":"item","numeric-id":4943858,"id":"Q4943858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d296982f2b7fe0eabdd29d7cf78548aa9df8916c","datavalue":{"value":{"amount":"+0.89710253","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":"Q4608629$CAB58D73-73C5-4B05-925F-98C8A33429B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bbae6fafa873b776d56141c1686ea0d10f5c1ef7","datavalue":{"value":{"entity-type":"item","numeric-id":1960419,"id":"Q1960419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e31f2c2d914095fa2eb53a030c6af3c9a8eb9d59","datavalue":{"value":{"amount":"+0.89234996","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":"Q4608629$00BD208D-8F3B-4A13-9332-3EBA044285D1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4608629","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4608629"}}}}}