{"entities":{"Q1854347":{"pageid":1865089,"ns":120,"title":"Item:Q1854347","lastrevid":71504763,"modified":"2026-04-13T22:42:17Z","type":"item","id":"Q1854347","labels":{"en":{"language":"en","value":"Ordering constraints over feature trees expressed in second-order monadic logic."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1853105"}},"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":"Q1854347$8654B863-C495-4EEF-B55F-DFF06F10CFB3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3731167e77e96c743c34bc5b78bef6e8fc9513c9","datavalue":{"value":{"text":"Ordering constraints over feature trees expressed in second-order monadic logic.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1854347$A5356871-FE3E-4B4A-8462-F82F2268DA3B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7353acf2ad87336f01d92f0ec8ca1fa7f7b0d494","datavalue":{"value":"1046.68645","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854347$13AA669F-08D5-498C-9FC5-EC4C75476309","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc45e6b9322bed7360e4aac2a42f8c73614b44f3","datavalue":{"value":{"entity-type":"item","numeric-id":1787138,"id":"Q1787138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854347$3F728E53-8182-47EA-8430-92AD0354F28B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854347$9D630DFA-DB1C-45DB-9D43-E5FDD1558357","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6a7e8d599a17c373ba2d71fc88b3043673b9f45a","datavalue":{"value":{"time":"+2003-01-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1854347$BD3F90AE-D43D-4D0C-9CAF-48A6CB4109E6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a93de63228fc29e908a162beabfb9f6f140d64ad","datavalue":{"value":"https://hal.inria.fr/inria-00536798/file/SWSJournal99.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q1854347$928E48D9-CE3C-4D69-A3CD-7636F18F69C4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854347$44006957-6B77-4B45-A656-E478C42105F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"aebedcbc6ea79e3c56d5432d91ddf1b69d06fcb8","datavalue":{"value":"03B65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854347$E0AF2BE9-9B1E-4344-85F3-B124095CC85E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ae62b6ae8284bad4753b7ed23b6f2503aa5e4b9f","datavalue":{"value":"68T50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854347$F73E9457-D93B-474D-95CB-F96DA3250811","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"81d119d6f8e023f8426c1f33adb26cb8b9bd0eaf","datavalue":{"value":"1853105","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854347$161BCC67-43C4-45E2-B201-88465CD50AEA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6fabba1b6d599baa24090f05e01693dbcc4166ed","datavalue":{"value":"language FT\\(\\leqslant\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q1854347$42C5D9C3-D64F-436D-A34B-6AD7C3F0796E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2ccbbe6930c8e1cc299a9de96016fd336eaa915c","datavalue":{"value":{"entity-type":"item","numeric-id":18874,"id":"Q18874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854347$A5E0DBE2-B1D2-4C38-B62C-B2D936468C02","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":"Q1854347$5F52580A-F6E2-4071-96E9-E82ADFE35B4F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"348163d62b13373fcf349e12ef787a5ce3d34ac7","datavalue":{"value":"W1543119249","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854347$BC26E3B3-ECD4-40AB-980C-C6F97755EFC3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9c870028c7e70b11c2d1c323364fb3678909a86","datavalue":{"value":{"entity-type":"item","numeric-id":3735057,"id":"Q3735057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854347$2E67F017-401B-44B1-90C3-594B3A37844D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c50458d2aa5ef32782242c5d7d92bf4da0b1142","datavalue":{"value":{"entity-type":"item","numeric-id":5289307,"id":"Q5289307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854347$A6621A93-5F88-4FEB-ADD8-BC4525312390","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e63a76413eba7790c4bc8bb30047c6b22f2e38a","datavalue":{"value":{"entity-type":"item","numeric-id":1314426,"id":"Q1314426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854347$1B9BB375-DA67-4907-850D-BA67B26828CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"400f20ecf79d81a3d3b5792afa45f1f4a9cee7d2","datavalue":{"value":{"entity-type":"item","numeric-id":1093359,"id":"Q1093359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854347$9ED6CE91-CD0B-42C9-90AC-4873DC4D6168","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5d468fcd4c6482d742a98c1a81ce14aee751ec7","datavalue":{"value":{"entity-type":"item","numeric-id":673135,"id":"Q673135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854347$7BBD5C0C-994C-488C-AD6C-1D4C4097A45D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"71e5fb941ffb606d9dc115eb65302b756c5b377c","datavalue":{"value":{"entity-type":"item","numeric-id":1333157,"id":"Q1333157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854347$925B4E42-FB34-4677-9291-08DFD5296567","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5fa0aa916448b6f4435b4c01b98ce8d971940a08","datavalue":{"value":{"entity-type":"item","numeric-id":3125892,"id":"Q3125892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854347$774C21BA-9529-44BB-85E7-66145A0804C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9cdf56df1db2f90d0e09f7b726ce28375b116df4","datavalue":{"value":{"entity-type":"item","numeric-id":4023581,"id":"Q4023581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854347$D71BBB71-6ABF-421C-A5A0-1162D9DEA38A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d777c8f3869fd6e45c1229fa3cd33c422ea5d099","datavalue":{"value":{"entity-type":"item","numeric-id":4705604,"id":"Q4705604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854347$C5032B4A-3E3C-4CE0-A47E-4FEAB2CEAACD","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":"Q1854347$AFB06A3C-AF06-4DC8-84FF-8783AD60F03F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4730d243f11c762523e6a6025296549fbca201b1","datavalue":{"value":{"entity-type":"item","numeric-id":1194340,"id":"Q1194340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854347$57E13010-C510-4AB4-9FC1-3244E64137C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7fb1732658aabfc970f8a5a7844ef09ce1eb689a","datavalue":{"value":{"entity-type":"item","numeric-id":3127584,"id":"Q3127584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854347$D9ACA7FD-0EDF-44CC-B3C2-21F74B3AC19F","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":"Q1854347$B4A8AA7E-D70D-4EF4-9C31-905C54991660","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"832a734a6c04d0182cef4d705e80cbcf1e01ff01","datavalue":{"value":{"entity-type":"item","numeric-id":1975203,"id":"Q1975203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854347$0592B484-81D1-4CF5-9E9B-3D17B8F92A89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e32cfbb672d16d0619a034554297aea23817ba5","datavalue":{"value":{"entity-type":"item","numeric-id":3838768,"id":"Q3838768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854347$AE2A2B8F-6434-45E6-A911-9F6879B85FC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ee674cf89e165b8b27bb0a80fa37913ba4e3a0a","datavalue":{"value":{"entity-type":"item","numeric-id":4936124,"id":"Q4936124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854347$E18A3A4F-7ED4-4201-AAEB-70263A3CFFD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c09eca80f4b57629c4cd9a5f2ca725aede185f14","datavalue":{"value":{"entity-type":"item","numeric-id":4013976,"id":"Q4013976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854347$5826374D-015A-4B3A-AB90-7E63B6011D61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb49e3dd1819a074fe65ada398ab3d73a669dcd7","datavalue":{"value":{"entity-type":"item","numeric-id":1188644,"id":"Q1188644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854347$8D3B9E9E-FF48-41C4-8678-CE9F4B2808F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b476279f9ef74fddb27272ad70ec34f0a4ec2a74","datavalue":{"value":{"entity-type":"item","numeric-id":5625141,"id":"Q5625141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854347$EE4E1638-65FE-4675-BCD0-8084D34C5071","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b147dc0d95316396d16edf0810bd1ad37614ad09","datavalue":{"value":{"entity-type":"item","numeric-id":4331781,"id":"Q4331781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854347$E096EFF6-D0B7-48CD-AE00-231C7A044D53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb3e30bb8a3cfcb298e70e3ea0b5e365292cac0f","datavalue":{"value":{"entity-type":"item","numeric-id":3992707,"id":"Q3992707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854347$6D76AC1A-5D0D-438D-9F6B-2FFF1AD2AB36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1faf85769cb356e0c3eb6e02919c1660cde5931d","datavalue":{"value":{"entity-type":"item","numeric-id":4290618,"id":"Q4290618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854347$D86C0FD5-DF8C-4436-8D91-D82129782690","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8fd8f8ba6ffcbeb928f2b450ebf88b53cfdbf75","datavalue":{"value":{"entity-type":"item","numeric-id":4364535,"id":"Q4364535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854347$E0E1E243-A199-4BEE-AAFA-0B5C12808CCB","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":"Q1854347$404A3551-8EC7-42BB-9511-5728834C7292","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f1d821bd2a1a38500df8bdaf1b0ad70b8c8ee08","datavalue":{"value":{"entity-type":"item","numeric-id":4385530,"id":"Q4385530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854347$96013E74-776E-4420-9DD5-7095EA0D7BA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe929f01fa86af5ec1780a3fd0d8f9ac3346a63b","datavalue":{"value":{"entity-type":"item","numeric-id":4714446,"id":"Q4714446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854347$2D36FD1D-52F8-4112-9380-08F34F1A96B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa22eac2d5e325e73fcaec20346664e869be59ec","datavalue":{"value":{"entity-type":"item","numeric-id":4647523,"id":"Q4647523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854347$B0CB0823-34E8-4B87-84FB-29524B136680","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7695a6ae9bfd83bc4cd0d9d59a808c9206b3e6cd","datavalue":{"value":"10.1006/INCO.2000.2878","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854347$D1994E44-C0CB-45AB-908C-1713F196F98A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b123b081e4707330a32d3caf78ac1fac20e7c7a","datavalue":{"value":{"entity-type":"item","numeric-id":3838768,"id":"Q3838768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f05ddf93541299cb2d6335d8c368a3a35362a8ca","datavalue":{"value":{"amount":"+0.9730474352836608","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":"Q1854347$28077A8C-8169-46F8-8C09-FB483FF181C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"864763084f750d6d71ac8b4d5ccac701e65e29d6","datavalue":{"value":{"entity-type":"item","numeric-id":2752467,"id":"Q2752467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a4fc45e1f4b841d1d56b6f07c38029abb55c944","datavalue":{"value":{"amount":"+0.8971246480941772","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":"Q1854347$FC659865-326A-43A2-A00A-1F7F1F52102D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"898cdd57d9618d383ac5c2c25d93d976c2351edc","datavalue":{"value":{"entity-type":"item","numeric-id":1975203,"id":"Q1975203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"540d056d12842c556acf8f0cb13839144043f5d1","datavalue":{"value":{"amount":"+0.8308706283569336","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":"Q1854347$487DC32C-3416-46BC-8344-02BF2AAAD2CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"422737d49181fe3c4a3247818e6dc79a49af1511","datavalue":{"value":{"entity-type":"item","numeric-id":1314426,"id":"Q1314426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7fa9fdee86cc2deb1da75f8894ea342f3e7769fb","datavalue":{"value":{"amount":"+0.7723475098609924","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":"Q1854347$3DEA91E6-F59D-46A8-BD47-C61EFB10CB23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"318b5f518e917ea1438f6ea90bb91718cf86b5bf","datavalue":{"value":{"entity-type":"item","numeric-id":5688930,"id":"Q5688930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b68ee59a6b11f063eb1df685d943ed750533346","datavalue":{"value":{"amount":"+0.7689257860183716","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":"Q1854347$5EBA1F83-7E65-4A75-8AE2-D8E604F43ED2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Ordering constraints over feature trees expressed in second-order monadic logic.","badges":[]}}}}}