{"entities":{"Q5096727":{"pageid":7126303,"ns":120,"title":"Item:Q5096727","lastrevid":100211363,"modified":"2026-06-05T21:37:34Z","type":"item","id":"Q5096727","labels":{"en":{"language":"en","value":"First-order logic on finite trees"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7572960"}},"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":"Q5096727$4651F108-16FA-432E-95FB-7C751C2CDF32","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dab599d40dbf94f5d88c7e64c1792f9b35a18ca9","datavalue":{"value":{"text":"First-order logic on finite trees","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5096727$681C48F6-5FE0-4EB5-ADE7-A0737D0F32C4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f33d3226eaefb6359178d0123d06e93114dea9d2","datavalue":{"value":"1496.68178","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096727$AFB3A191-6D16-433B-BA6C-0DDDCB0209C5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f6d8c1db8849d545626b32a1a5b3ebc1e1b6c11c","datavalue":{"value":"10.1007/3-540-59293-8_191","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096727$59F3D27A-9837-48A9-B716-7955914F6D3D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"958a59bc8a177f30f89f52bbe89a403a4a105056","datavalue":{"value":{"entity-type":"item","numeric-id":1325849,"id":"Q1325849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096727$94D1894D-D535-40A6-BFF5-7F6D404BE246","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d4437f858d825af2a2d2785f879b0aaabd9ce736","datavalue":{"value":{"entity-type":"item","numeric-id":5096722,"id":"Q5096722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096727$E49D79FC-3D35-4E69-A5C0-F328C123A478","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bc5d7d1bdf288a91b8530ddee2bbdc5e2a735b6a","datavalue":{"value":{"time":"+2022-08-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5096727$E45789D3-4285-4C89-978C-E928AB74AB60","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096727$B1FC812E-D639-454E-BC92-D20DCCEC4DF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096727$854858BC-429D-4F2D-A42A-1DEC246AF5FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"abca938afd309309893053e8ee4f51374fed9de6","datavalue":{"value":"03C07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096727$B3BF6D1C-55E7-4C7F-8852-196784A02659","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096727$0DAD5EED-C457-4A44-A5E6-C2EA5AA25C15","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"81e5b160bac2816d882b4dfa7bd91b02d9a5185e","datavalue":{"value":"7572960","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096727$66009A86-ABC4-4C5B-8409-8FE0CBC22AF8","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":"Q5096727$050F423A-A313-4925-98F7-276DB50F19B8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"578e3df6e43e0b676fdc4a11384bc36a6a64915e","datavalue":{"value":"https://doi.org/10.1007/3-540-59293-8_191","type":"string"},"datatype":"url"},"type":"statement","id":"Q5096727$61622C33-D117-4271-9A2C-1A3C0594755B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9e065eb758510c2a086ddf9db22322d719436777","datavalue":{"value":"W1549978238","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096727$3B10891D-83B3-4834-AF41-D9FB7BADCCCF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"cfacd19f4523598f830eba7de48a1fecfd5947d6","datavalue":{"value":{"entity-type":"item","numeric-id":4692772,"id":"Q4692772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096727$E1BEB3FF-74FD-4B05-A0E7-86F6E0958DEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d17eb8e40f56b25f178197677473f6105c881e4","datavalue":{"value":{"entity-type":"item","numeric-id":2544414,"id":"Q2544414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096727$417F6E8E-A2F3-4276-AA01-BDCCC830D067","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b41ed073aa8154ef82f4568e281d9fa0e323670","datavalue":{"value":{"entity-type":"item","numeric-id":3220545,"id":"Q3220545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096727$4B27213B-E291-4F12-B4FA-C044352756C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"668a8637c081f79751e1e57f52557e1f7bc7f98a","datavalue":{"value":{"entity-type":"item","numeric-id":3274971,"id":"Q3274971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096727$777F44D4-2C8B-4FAE-A34E-45B7B39C546B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef24932abd74e01a026e2e349f03bfd5726d23f7","datavalue":{"value":{"entity-type":"item","numeric-id":4102764,"id":"Q4102764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096727$FA360461-9764-47AB-B1A5-219E1EBEE8A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0079b0c7d694a397659be503d6216c85129b1bb1","datavalue":{"value":{"entity-type":"item","numeric-id":3323279,"id":"Q3323279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096727$BCAABE4F-FD30-46D2-B371-83AD46726510","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a5dfcc332b069898b91ff10fb51dac9cb40b39e","datavalue":{"value":{"entity-type":"item","numeric-id":3978766,"id":"Q3978766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096727$7429EFDD-0425-4610-8394-6403BBA79D5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d82240301bcdb1618adc9706e69c4f13d0963ca3","datavalue":{"value":{"entity-type":"item","numeric-id":4168070,"id":"Q4168070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096727$1742E716-D8FC-404E-9B10-587C86A2CCA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2dd225cb7a1f1b5d01838e5961bac1df864370d","datavalue":{"value":{"entity-type":"item","numeric-id":5641083,"id":"Q5641083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096727$666AC7A2-EAD2-4381-A82C-D5B3033507D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de3a90e306838b6e6d65d42e153ecd16b66df16d","datavalue":{"value":{"entity-type":"item","numeric-id":1325850,"id":"Q1325850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096727$661EF03A-F74D-4F4A-ACEC-0AD3C8A96654","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ab89ab21d998b3dcc7278eee56c80a86650c044","datavalue":{"value":{"entity-type":"item","numeric-id":4284261,"id":"Q4284261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096727$25D8F098-7969-4457-AF71-6C4219254E24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98554b277242125c67fbb359aa4c54ca22c25d4c","datavalue":{"value":{"entity-type":"item","numeric-id":5339335,"id":"Q5339335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096727$27646680-8FA0-44AD-A5D2-401CEF11EF18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92fec600de70ce569ad0cf91b1069c03e617f65b","datavalue":{"value":{"entity-type":"item","numeric-id":4273660,"id":"Q4273660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096727$E596EEDD-019D-4589-8B51-CA01DA058729","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b48fcb02d6e81a5897367606519605757835a93","datavalue":{"value":{"entity-type":"item","numeric-id":5538923,"id":"Q5538923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096727$202ABFEB-D4CC-4F92-A5C9-D3A3EAD73E94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c617f0f4969534410425f094cfd3562f85d6592","datavalue":{"value":{"entity-type":"item","numeric-id":3323881,"id":"Q3323881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096727$4C2346D4-F354-4C34-A60E-9DB08D3C05AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d656fd977434c5cc9c5eee96756a0a1ee7a004f2","datavalue":{"value":{"entity-type":"item","numeric-id":5044763,"id":"Q5044763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096727$BC230260-79FC-46E5-8446-7A4AFF6F44E9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"affc2075e5de6e10b07e5e6750243b347fb2a686","datavalue":{"value":{"entity-type":"item","numeric-id":2946692,"id":"Q2946692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"514f7b08a345089ca8e6a1334a278ea565a6714e","datavalue":{"value":{"amount":"+0.94089854","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":"Q5096727$3C0DE866-8643-4D95-A092-1BD1E906D49C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39be264367db8026ea0cbdded388c5e0deda9a5d","datavalue":{"value":{"entity-type":"item","numeric-id":5302901,"id":"Q5302901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c52f1a1ef70c59f1ffec250d0ba6509cc0ec210","datavalue":{"value":{"amount":"+0.9242934","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":"Q5096727$550350EC-9646-479C-B320-4A21A1089C1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"721a7bc4b2d74b9c3a046b7b101addce596a8228","datavalue":{"value":{"entity-type":"item","numeric-id":2565989,"id":"Q2565989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"669b0c66bb0d8b093479b3c20ca36aa3f5b0904d","datavalue":{"value":{"amount":"+0.9241652","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":"Q5096727$BBD4FD6D-CB1C-475E-ABA6-22F3E2F349D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de10961d86591c48bcec9de64dae866564c0ed48","datavalue":{"value":{"entity-type":"item","numeric-id":5874209,"id":"Q5874209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c955420955d42a19372d626a17fcdb43142d4008","datavalue":{"value":{"amount":"+0.91945976","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":"Q5096727$D362C52B-258C-44A0-9294-72122307B6ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed5ebb50127955515b02eb6725cb2ad24f8664f7","datavalue":{"value":{"entity-type":"item","numeric-id":2118179,"id":"Q2118179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a44d1006ade67d5ecb81f2747dce297fd7e3d21","datavalue":{"value":{"amount":"+0.9167279","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":"Q5096727$B16C71DA-F7FD-4DC5-AA7A-0279A6FFE8DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cce12468ca3690b8986f2f1468077a8950b34116","datavalue":{"value":{"entity-type":"item","numeric-id":1903080,"id":"Q1903080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4a4edaa2bbc6ab75eb1f898617a758d844ba130","datavalue":{"value":{"amount":"+0.91284573","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":"Q5096727$A5D34BBB-C62D-4B6D-A11A-C301BCC96D04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34844ab5420c5eb4205d137d81a0ad0dd03a65d5","datavalue":{"value":{"entity-type":"item","numeric-id":3522020,"id":"Q3522020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4bcaeab9a8ad7eeed2bec44f179cfb1dd60610c","datavalue":{"value":{"amount":"+0.90915626","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":"Q5096727$3C1EED8E-1106-43BD-A0F7-F0384E8668CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"056881fdf2e1f50ccdfb044af367edb09b506c18","datavalue":{"value":{"entity-type":"item","numeric-id":5111281,"id":"Q5111281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc20dd878300c87396e2cda025a151c295f35431","datavalue":{"value":{"amount":"+0.90832067","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":"Q5096727$A68B34AE-0C31-4AB7-A1E4-D99D2C56AE03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ece4e568ac51137ba6928ddc9075559f8b974995","datavalue":{"value":{"entity-type":"item","numeric-id":4305492,"id":"Q4305492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e93b5fdfab33080cec9dd5b04e85633d56f11267","datavalue":{"value":{"amount":"+0.9081055","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":"Q5096727$1E8370C5-2D95-4C08-917E-0C5096A18740","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"757a58d3091721de51db814e8f82b6cbff1e4a99","datavalue":{"value":{"entity-type":"item","numeric-id":4820475,"id":"Q4820475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a71c436510a687d703619914bec62e95fb37278","datavalue":{"value":{"amount":"+0.8994768","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":"Q5096727$9DCF2D31-971C-4B10-9647-F376680F2A29","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"First-order logic on finite trees","badges":[]}}}}}