{"entities":{"Q2826034":{"pageid":2836772,"ns":120,"title":"Item:Q2826034","lastrevid":52641941,"modified":"2026-01-23T04:22:02Z","type":"item","id":"Q2826034","labels":{"en":{"language":"en","value":"Temporal logics on strings with prefix relation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6636310"}},"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":"Q2826034$5ACDEC2C-4925-4522-B177-7BB12DAE9411","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f765dba360724dcc87cfa5abdf76a4801f8c6c57","datavalue":{"value":{"text":"Temporal logics on strings with prefix relation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2826034$A7FB9BFA-122F-4FBB-9BD7-75D4CD2A3FB1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b1dd843d5da7070e0d489a693a7158a0439dc45c","datavalue":{"value":"1353.68176","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2826034$C5A8774A-BB20-4DA2-914C-F604B1E763E3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"487657d41a3727080d9cf416d12bed060ca6cc64","datavalue":{"value":{"entity-type":"item","numeric-id":213235,"id":"Q213235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2826034$E09D445E-53F6-47FA-B7EE-9CDE832615D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5374aaae6c4fa00723de88e8acb31ca46f3aaf1e","datavalue":{"value":{"entity-type":"item","numeric-id":518401,"id":"Q518401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2826034$098EAB63-995A-442A-B224-60F62A50DDB0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"75c97569af4c6b39def7afa4b7124bea406ac5e7","datavalue":{"value":{"time":"+2016-10-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2826034$A27F0004-AFC5-4E1E-ADF9-ED9E30C92D08","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d7803ef194cf0bd21f157cb1a767dde00d1ebfa2","datavalue":{"value":"https://semanticscholar.org/paper/2d4f9006f77ef6297eafc791eb4ffa8204feb231","type":"string"},"datatype":"url"},"type":"statement","id":"Q2826034$02BF8F25-0BB2-40A9-8FAD-30FEBC4E82F2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2826034$28492F43-8B20-4B5A-B8ED-6FF3B169C670","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2826034$9C4BAF69-79EE-447A-86F4-DB9362632329","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"824c9242ee6f86c15bf4eecb8cafeab39e222c2d","datavalue":{"value":"68W32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2826034$FECEB678-7F54-4E3A-A790-3304B64EA7AA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"54f4fdf2b38b1aa1cec67243f678c90f4298efaf","datavalue":{"value":"6636310","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2826034$99BCB20E-C64C-414F-8575-B166E77C070C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2826034$7723C582-349A-41D4-9880-7DBA4FE8AC0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fcd53c35bf69cc2bd5fe27bd4f48397371ecda9f","datavalue":{"value":"string theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2826034$AC2D795B-D7DB-4FE8-912D-6F84A73AEFCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6ff3d0c4809185db367fb56bb970dd6c8a7e75d1","datavalue":{"value":"prefix relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2826034$E93C1041-4A15-40ED-A451-B58F5911CA57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14a6728e50cbaca75cf287bc48ae14f636315ae3","datavalue":{"value":"translation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2826034$F26260B5-6821-4B19-A951-7FC5E2734097","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2826034$6D43D906-950F-4C2D-8EA1-6DA7ADFBF4B0","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":"Q2826034$22C60113-6005-4B92-AAF3-04ED5EC97CA8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bcc085d1c55cf5c922ec462dc6b9e8f7487f54d2","datavalue":{"value":"W2342152646","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2826034$8F0C5106-3626-45CE-89AB-60289E62139F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"34f92411466501af70ee0f30099ba0150a43379f","datavalue":{"value":"10.1093/LOGCOM/EXV028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2826034$7574285F-8BC9-4F8A-B5CF-633A8F7E2AC6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4e284497c1d95ed03031b32369f55bf404c9e002","datavalue":{"value":{"entity-type":"item","numeric-id":6768690,"id":"Q6768690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2826034$D28A13A6-0B75-4E3B-8D11-FE7BC1B21463","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20502be7dae51c272f2616fd28866b335793fb95","datavalue":{"value":{"entity-type":"item","numeric-id":418122,"id":"Q418122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6968db846f3abaabfb9a53517c7876e3f358be6d","datavalue":{"value":{"amount":"+0.7862811088562012","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":"Q2826034$DF755106-957C-42F0-88C7-92061E022BCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05779f72cc7f94b624374807cd511e7ecb7e22b6","datavalue":{"value":{"entity-type":"item","numeric-id":3584960,"id":"Q3584960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53c906dca7f1db83f8a2573b172b8906eca1c60e","datavalue":{"value":{"amount":"+0.7862809300422668","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":"Q2826034$9FA399D3-484B-4229-AAFB-2E270D498946","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4355423a76cd224f33b1ba7bf7f637f7b4746087","datavalue":{"value":{"entity-type":"item","numeric-id":3647243,"id":"Q3647243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76ada71193080d0e1c5a7e183a49c8f400765a45","datavalue":{"value":{"amount":"+0.7457804083824158","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":"Q2826034$78EDA82A-D5ED-4CDC-B9BE-862293BE06F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3946b755c52c0b6614394d022592b70192cce7fd","datavalue":{"value":{"entity-type":"item","numeric-id":5351946,"id":"Q5351946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15091486187160f2764311e53bbdb3d161b54cc1","datavalue":{"value":{"amount":"+0.7436569929122925","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":"Q2826034$1E1A4C5E-936E-45FD-80D5-A40D883C8288","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4f4010920bd191f8a291c27d1d67c30e4dc1c69","datavalue":{"value":{"entity-type":"item","numeric-id":4415249,"id":"Q4415249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57ddb719ecba2359fec534bdcf25af977c329de1","datavalue":{"value":{"amount":"+0.7433443069458008","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":"Q2826034$C16ECE40-364B-4A17-8A99-1FA2290F6BE6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2826034","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2826034"}}}}}