{"entities":{"Q1887153":{"pageid":1897895,"ns":120,"title":"Item:Q1887153","lastrevid":71064675,"modified":"2026-04-13T19:14:42Z","type":"item","id":"Q1887153","labels":{"en":{"language":"en","value":"A linear time algorithm for monadic querying of indefinite data over linearly ordered domains"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2118418"}},"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":"Q1887153$428DCD89-F250-4E90-9257-4BF791F80198","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8df406049aab4de42cfdcc0dd7847515d420c779","datavalue":{"value":{"text":"A linear time algorithm for monadic querying of indefinite data over linearly ordered domains","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1887153$CDA4D498-2D0F-4D6A-A9A5-8816282E358A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5a379839b6b7905c614e12e6c2262717ebdc487c","datavalue":{"value":"1078.68025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1887153$172DAAE9-D407-4655-9683-9D03EA351819","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"025fc19e6fb6552360c9ef1ac992924424c485e8","datavalue":{"value":"10.1016/S0890-5401(03)00142-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1887153$8FB9F2FD-6470-4109-B079-C6D6A7DB7CDC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"48552ab21c66d0b04090f0666911ca61b12af69f","datavalue":{"value":{"entity-type":"item","numeric-id":407555,"id":"Q407555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887153$18D0D671-0A52-4556-86DB-A667DAE194BC","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":"Q1887153$5B10B918-9F91-4DEC-ADF1-A46785EE02C7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f9270318d08aee06ff5ad0dd5710c08e39d64ffc","datavalue":{"value":{"time":"+2004-11-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1887153$33B4541E-85F7-4F0B-A4EB-B99199B0CA51","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf2726c5c2109371cc10358eaa69bc4df711caf7","datavalue":{"value":"68P15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1887153$67A01067-9CD9-449A-A3A7-E6AB5461EDAF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1d12f6cd8f823e55efffd0fa2a17a8deeb3aae5b","datavalue":{"value":"2118418","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1887153$F8F9605E-E84D-4EA6-A776-B41AC6B8382C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6e7fd72a79a217b8a31beae0f3c835417dde2133","datavalue":{"value":"Well-quasi-ordering","type":"string"},"datatype":"string"},"type":"statement","id":"Q1887153$EA9231DD-35DF-4732-AF63-2711D20EF774","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d39209d488652367428ee47b9a50e6491f07de09","datavalue":{"value":"Higman's lemma","type":"string"},"datatype":"string"},"type":"statement","id":"Q1887153$DFAA8635-55F7-4F27-9C4B-BCB45E4C812E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d715af928af343cf1c5fe27c447d62ee8059b10","datavalue":{"value":"Indefinite data","type":"string"},"datatype":"string"},"type":"statement","id":"Q1887153$522E5EF0-A6F8-4A69-8559-FD7D5B2365A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a754531624861ccbce80478eeae3e08ef39f037c","datavalue":{"value":"Query answering","type":"string"},"datatype":"string"},"type":"statement","id":"Q1887153$7C099E18-C1A7-4D87-9B81-6E1A81937CD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"84e5be230779d61a3e714c8e0b51d73921d95829","datavalue":{"value":"Linear-time algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q1887153$8F549FA8-924F-4BEB-8E9B-9712BD7F13A7","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":"Q1887153$02F68486-AFF0-4BA8-B842-48E235E599F3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f344c7647a8246af45d15b042fc218567fc7a105","datavalue":{"value":{"entity-type":"item","numeric-id":4518442,"id":"Q4518442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887153$42712782-0BB0-445C-B70F-908FD261852D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b27d44a0e50fda314668a36654efb04ab5135cb3","datavalue":{"value":{"entity-type":"item","numeric-id":3868730,"id":"Q3868730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887153$334109AF-3211-43D9-BF0D-885535AF4EB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"863a7eccc7499ec0dad2fcd355a698a3a2f419a1","datavalue":{"value":{"entity-type":"item","numeric-id":3798236,"id":"Q3798236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887153$A34FDA86-B5FA-431F-AF88-EB3DFF0B094F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b977cc0abbb9233e203718261068766885e4fb3","datavalue":{"value":{"entity-type":"item","numeric-id":4246946,"id":"Q4246946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887153$4480D7B7-9171-4BDD-9460-0CD915A64EC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"263c63c40e6c58fd9cc2bbacc0326075d388e677","datavalue":{"value":{"entity-type":"item","numeric-id":2757811,"id":"Q2757811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887153$519A22C9-EA3F-4727-A1BF-0B57953D2EEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58709679cfff7718457ae5dbfaa34a4e9b17219c","datavalue":{"value":{"entity-type":"item","numeric-id":5812263,"id":"Q5812263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887153$498EB834-9DD9-487E-AEC6-160F45C7E1D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f477497459c17decb2198cb2ed4a76e58920f432","datavalue":{"value":{"entity-type":"item","numeric-id":3777501,"id":"Q3777501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887153$BB755FCC-4F9D-4FD2-820F-7D65EBDAA1C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"045eecf891187063747cb4e61ef88442c2a876ac","datavalue":{"value":{"entity-type":"item","numeric-id":1369238,"id":"Q1369238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887153$CDA9F871-4FEB-4E93-A937-BD9B91117B74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ed0853d5d25943754f0b88d3bc5a4e688b584cb","datavalue":{"value":{"entity-type":"item","numeric-id":5734436,"id":"Q5734436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887153$8E10099F-93FE-49F1-9F80-796322398766","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3907c81bced1d9a60f2e1e4462d9e628a72cf968","datavalue":{"value":{"entity-type":"item","numeric-id":4944974,"id":"Q4944974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887153$5B3FD814-94AB-411C-B75E-75F64C97CEE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7874f8f5ac070719bc14409e6756b800c9fa767","datavalue":{"value":{"entity-type":"item","numeric-id":5249045,"id":"Q5249045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887153$B2725ACA-5143-437C-AE84-45D002AAF608","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20d8ad24cb4bd25b66b08a8a88a01461662f8272","datavalue":{"value":{"entity-type":"item","numeric-id":1803588,"id":"Q1803588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887153$F9191615-310C-45E7-A6D3-F45905489E28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"248729ebc4d6876ccf402d4746249e334c3f8ead","datavalue":{"value":{"entity-type":"item","numeric-id":705888,"id":"Q705888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887153$47CBEB9F-BEBA-44DA-9CF9-F357EB3DB8BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"398ef8bc27e00efd8312d46a33efaa0333728c17","datavalue":{"value":{"entity-type":"item","numeric-id":1892832,"id":"Q1892832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887153$3C1A659B-D89F-443D-9280-464BC972F474","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"836c0e3dce5c3c3f1796b886735793572a441d10","datavalue":{"value":{"entity-type":"item","numeric-id":3809796,"id":"Q3809796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887153$A2ACB0B6-CE06-4EFE-9BF6-DFC6DD4D0612","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":"Q1887153$DEDC0C1A-878F-4801-80CA-EA7180AC8EA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f72bb39d1006c877fb5a716715d0d7f2988979b","datavalue":{"value":{"entity-type":"item","numeric-id":676427,"id":"Q676427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887153$9EDFD1C1-9286-4668-8A0F-49A864E39736","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3970a8bb63aa33027515329082f5a7037e0f8e71","datavalue":{"value":{"entity-type":"item","numeric-id":1879322,"id":"Q1879322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887153$464746EB-30F5-4768-8DE7-CDEC519A4FF7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"807d227cdce82b47d319745d9313bb76f0463d40","datavalue":{"value":{"entity-type":"item","numeric-id":5714445,"id":"Q5714445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01dc2c3fc0970e95fb74e46f59820471e0ec4910","datavalue":{"value":{"amount":"+0.9012967348098756","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":"Q1887153$385E6895-DF55-4E1B-92E6-B52AC8BB2F2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d25cf4bcf158a102d99b35e1e9cf95e3ed7ff4b","datavalue":{"value":{"entity-type":"item","numeric-id":676427,"id":"Q676427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ce739e69e5b21b3b812900368eef48d6d152346","datavalue":{"value":{"amount":"+0.758569598197937","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":"Q1887153$8994B2FB-BEE0-4525-949A-88E3ECB03497","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c85214c6893aa6423eadb5a8f3d755e72e01953","datavalue":{"value":{"entity-type":"item","numeric-id":3753525,"id":"Q3753525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ce739e69e5b21b3b812900368eef48d6d152346","datavalue":{"value":{"amount":"+0.758569598197937","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":"Q1887153$A7FE1CAB-7CFD-4A9C-8075-6C352BC4E2A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3915cffde078402d288decc10c7396ccbfada948","datavalue":{"value":{"entity-type":"item","numeric-id":1350000,"id":"Q1350000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b47725c521ff4db8525aa3f90834df54f3ae0ee5","datavalue":{"value":{"amount":"+0.6958954334259033","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":"Q1887153$F328DC7A-2D2F-4341-A667-B62A0602D989","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d62dff164482ef8d4aa8d98f69554ec68106401d","datavalue":{"value":{"entity-type":"item","numeric-id":4939253,"id":"Q4939253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9be1c392f2ecd47a21293c330644f5122aaf217","datavalue":{"value":{"amount":"+0.6808563470840454","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":"Q1887153$9BA7B6F2-F306-4202-BDCD-A08F795126D9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A linear time algorithm for monadic querying of indefinite data over linearly ordered domains","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_linear_time_algorithm_for_monadic_querying_of_indefinite_data_over_linearly_ordered_domains"}}}}}