{"entities":{"Q4558796":{"pageid":6588387,"ns":120,"title":"Item:Q4558796","lastrevid":90031928,"modified":"2026-06-04T18:55:07Z","type":"item","id":"Q4558796","labels":{"en":{"language":"en","value":"LTL on finite and process traces: complexity results and a practical reasoner"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6987101"}},"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":"Q4558796$675A3BD9-5575-475D-BA6E-B5DCA43C7879","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2eac51f4a7cef7ce8f104d0b2a37dccea933bb42","datavalue":{"value":{"text":"LTL on Finite and Process Traces: Complexity Results and a Practical Reasoner","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4558796$0BBA95AD-7424-4DAD-9D8C-DD08CE749E74","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"806bb7de841fc0f76754edced531bf3c292b93d1","datavalue":{"value":"1451.68176","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4558796$A3347FBA-98D4-4261-B9E4-BACBE068BB12","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2776c8c50e12b6438cbc8eca5ef6399bce93a55f","datavalue":{"value":{"entity-type":"item","numeric-id":322077,"id":"Q322077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4558796$F7B490D6-9B22-4A76-ACF5-63ED0EC45686","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4fdebf39750dc982443b02e7d564e01c2ce8f781","datavalue":{"value":{"entity-type":"item","numeric-id":360033,"id":"Q360033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4558796$67AE7811-5814-4FBD-AA1A-0E44D84F3004","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"bb469f8c3341c58b96368431d3c87cbee3d3281e","datavalue":{"value":{"entity-type":"item","numeric-id":110835,"id":"Q110835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4558796$675A3E81-1FD7-4EEC-96DD-2FFA76451360","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"272a15ab0c94c839ab2b5edaf5c216ab81a36175","datavalue":{"value":{"time":"+2018-11-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4558796$A4AB89AB-87AA-4C0B-A84F-87375BFB905B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4558796$9EC985B0-5CBE-4080-BD8D-92E2415289C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4558796$EB07739B-E086-4FA0-ADAB-5714B77AB7DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4558796$CBD858A2-B9AF-413E-912A-11EC7B76E485","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4558796$B64F0B13-6766-44FA-84BC-38398A1D4BB4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f7169398bbcee3248e959698655b9882999f51e1","datavalue":{"value":"6987101","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4558796$3B9724CE-A785-4613-90C4-67F044F43087","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f1cf12c900aeb5813ce8f84db8812e6bb27ae87","datavalue":{"value":"linear temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4558796$04325FA2-FD30-4114-B146-572422497B50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"733928461d654da7c648fd4990b376f759058f1e","datavalue":{"value":"business processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q4558796$975E49B1-B238-419F-836F-CA392E853455","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7d795767f9f997c4d0fff0866f7a44dd03ec9331","datavalue":{"value":"finite timeline","type":"string"},"datatype":"string"},"type":"statement","id":"Q4558796$CA1F164F-FB5C-4466-A05D-0A173F779B14","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":"Q4558796$217494AB-15BC-446E-903E-459FBF255154","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"72714c68358e2c6bda2c10bc3c66d0e6c3b3833b","datavalue":{"value":"https://doi.org/10.1613/jair.1.11256","type":"string"},"datatype":"url"},"type":"statement","id":"Q4558796$7EA09A53-51FC-4C6D-A5B9-A1B4DED33C44","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0311eb532b215263d8ff9e16013c18b7543a376a","datavalue":{"value":"W2902993161","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4558796$81760F60-6537-436B-8A3F-6F1918035D6E","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"db13c37708b230a4ad9e5227ec3809f8288d570b","datavalue":{"value":"Q128875313","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4558796$7A21E766-041A-4314-9931-A4BBE224C5A1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c6e3d181875514da17d27c6273574bcbddd76ed9","datavalue":{"value":"10.1613/JAIR.1.11256","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4558796$4717016E-FACF-462E-91EA-D03F492D02E7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43a97448d9771c3ea620f5e8ef997bb70f0c8d51","datavalue":{"value":{"entity-type":"item","numeric-id":1667649,"id":"Q1667649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9817fe9d0679aa287282457b17b1060ac84f1ec8","datavalue":{"value":{"amount":"+0.8310004472732544","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":"Q4558796$C1EB97F5-59AB-42BE-9798-32E3B7B54C7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3383aee9a50302aa883ab2b30b18bea8e0a22854","datavalue":{"value":{"entity-type":"item","numeric-id":5283016,"id":"Q5283016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38eb125e0902830e923665f0d3b39225a86cdacf","datavalue":{"value":{"amount":"+0.8055272698402405","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":"Q4558796$9E0096D9-C110-403F-9063-95C772ED885F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92edb522c9d04bb4fdf0bc59fc438fbbf39a9b88","datavalue":{"value":{"entity-type":"item","numeric-id":2999221,"id":"Q2999221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6a3c94a82f271d88599a3c1712fcf8b751b447f","datavalue":{"value":{"amount":"+0.7998743057250977","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":"Q4558796$C568A914-8078-4C8A-A088-8CE32964C92A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f2fd32e463d03137b21bb2fe383e1943074793b","datavalue":{"value":{"entity-type":"item","numeric-id":2147173,"id":"Q2147173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44f7d9b6519487ae3ceda8959611dcb764a2a524","datavalue":{"value":{"amount":"+0.7823933959007263","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":"Q4558796$8E9C71D8-166F-44D8-A057-8A6B5B1AFE05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f325677dee369930d0e64a4e41b51a183c6e0801","datavalue":{"value":{"entity-type":"item","numeric-id":4422788,"id":"Q4422788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8cb379b122ccbb99073b80ade3f02b0d7b73f5b","datavalue":{"value":{"amount":"+0.774024248123169","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":"Q4558796$05B30979-2CE9-47EB-A50C-6361F277F60B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"LTL on finite and process traces: complexity results and a practical reasoner","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/LTL_on_finite_and_process_traces:_complexity_results_and_a_practical_reasoner"}}}}}