{"entities":{"Q2565989":{"pageid":2576732,"ns":120,"title":"Item:Q2565989","lastrevid":72794679,"modified":"2026-04-14T07:53:07Z","type":"item","id":"Q2565989","labels":{"en":{"language":"en","value":"Finite tree property for first-order logic with identity and functions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2210069"}},"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":"Q2565989$DFD9560B-C3D9-4B6C-8E96-E60CBA7C4958","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"abbe305077ca302a098c7b8e31bce76fef6579f2","datavalue":{"value":{"text":"Finite tree property for first-order logic with identity and functions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2565989$D67EF249-AEA7-4523-8FDD-4B7F2F3B31C5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f034e84189ebb5cededc1b5b481aa310cebf4cfb","datavalue":{"value":"1078.03044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2565989$AC55809A-F898-426A-91AA-3B9879B142DE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cb22411444d32dff3a4b273366a854af31f1c9dd","datavalue":{"value":{"entity-type":"item","numeric-id":848216,"id":"Q848216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2565989$8F3A0103-DFD2-413D-830B-B6DD8670F1E5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2565989$67CC0B57-BB98-4393-8953-F10E5B309623","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"149818fcb8bed0a5b750a95fd3a49925c0920292","datavalue":{"value":{"time":"+2005-09-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2565989$9BB0A4F0-DBD1-4B89-8D34-8E39FF3D4C59","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2565989$CECFE607-5171-496E-A65B-6C611FCC8302","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2565989$1D39CEBC-1B99-4A20-9F87-C5C6BC2795E0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"91207951b7b26ff39d6a6ad5cf67447c55a97101","datavalue":{"value":"2210069","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2565989$D59472FD-8577-434D-8786-58F1F4619330","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6789e54d7ce78cf080b45e121c108205d7aadc8d","datavalue":{"value":"truth-trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q2565989$09140990-D4B3-46E9-85B6-C8AD37F24734","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2565989$F8408C68-961A-4B20-8093-3452E034E593","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71cf9b3c9fcfdc7dc73f46eb26db118e95cf3e1e","datavalue":{"value":"finite tree property","type":"string"},"datatype":"string"},"type":"statement","id":"Q2565989$F25C6299-F7CB-44D0-90EA-309FDFF6682E","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":"Q2565989$19F0A20F-5F02-4FCE-B80E-93040EA654FD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"41e4ce1b489649c477505ed99e667a87a41d0c8c","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1117755148","type":"string"},"datatype":"url"},"type":"statement","id":"Q2565989$CEDBE464-B356-41DC-A2C8-A77CB012CFB4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"67791eca259fc13395091450e95888fdb11063cb","datavalue":{"value":"W2083420567","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2565989$93B32BFE-0916-445E-B763-465066A4DD2F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a4a502cda6819b674937be201c013c8fcba705a","datavalue":{"value":{"entity-type":"item","numeric-id":2266003,"id":"Q2266003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2565989$6B14E83D-C7D1-425C-9F68-7D220DF00BD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae171cb009776ff965b66a7b067c7304d6508e82","datavalue":{"value":{"entity-type":"item","numeric-id":3227561,"id":"Q3227561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2565989$E9F0BA9E-ACE3-4616-B711-BC2CFADDDB60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f4db58eac15b5b8865eea8c9b5a55a362f351c6","datavalue":{"value":{"entity-type":"item","numeric-id":3228603,"id":"Q3228603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2565989$CB3E5DEB-7313-4098-B4CF-0004AC5D2592","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"febba330446bda559f2952d624c63d67c91597ef","datavalue":{"value":{"entity-type":"item","numeric-id":5560258,"id":"Q5560258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2565989$E83CFB91-C814-4FD1-A833-A5884C5B445E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d5e4b877d3e974f4bec5d5775605c28f226cdec9","datavalue":{"value":"10.1305/NDJFL/1117755148","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2565989$7B23E749-B14A-486B-93D3-A83B1BEDB652","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df1e7620ae58656fec01e58c4714022d1cda1c3b","datavalue":{"value":{"entity-type":"item","numeric-id":1098832,"id":"Q1098832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28c86c71ee717133b4769f1b1190eb40c489296a","datavalue":{"value":{"amount":"+0.8187007308006287","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":"Q2565989$ACBC4334-E97E-4439-8B35-CF3B4A78C942","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02a79f1040ce9d7314f420048c4b9e9a4eec972c","datavalue":{"value":{"entity-type":"item","numeric-id":2266003,"id":"Q2266003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e7d017af8930a17f4c11efbf99b45a0d0fdd1e9","datavalue":{"value":{"amount":"+0.7402388453483582","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":"Q2565989$2813137F-2513-43E1-8C06-83182AF1A2FE","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":"5dffb34c0815b39cb2bd176383e1df2217f65ff1","datavalue":{"value":{"amount":"+0.718224048614502","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":"Q2565989$D9943F25-6B74-4E8F-B232-C5544337D179","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":"d0c84a2ce0c9ec97dc1f728082f834d77035bc37","datavalue":{"value":{"amount":"+0.7146182060241699","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":"Q2565989$C91E8217-ABF7-4974-8E61-3AF5A0F39343","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"699a89ee501079ab594ae8f08e7c712e70dd5281","datavalue":{"value":{"entity-type":"item","numeric-id":3514890,"id":"Q3514890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36196f2f169b910acda9afa6e04f29674e058685","datavalue":{"value":{"amount":"+0.7136114239692688","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":"Q2565989$3CEB29C6-A3A7-42DB-848C-3AED52B1B2D1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Finite tree property for first-order logic with identity and functions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Finite_tree_property_for_first-order_logic_with_identity_and_functions"}}}}}