{"entities":{"Q5758138":{"pageid":7787689,"ns":120,"title":"Item:Q5758138","lastrevid":50155037,"modified":"2026-01-13T07:08:25Z","type":"item","id":"Q5758138","labels":{"en":{"language":"en","value":"Model Checking on Trees with Path Equivalences"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5185813"}},"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":"Q5758138$16F73DCB-FAFC-479F-9ABC-DFA7266ED1FB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f54b64921bc3ba79390811cc5c92b5f2633a16a4","datavalue":{"value":{"text":"Model Checking on Trees with Path Equivalences","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5758138$223751CF-3F5A-4349-947B-41F373B0E696","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e4961b1139c26ea13579b05065eaafa5b177b516","datavalue":{"value":"1186.68273","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5758138$7201F6F7-92E2-4046-A1AB-AEB60EA79FE0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"26ee8edd80b6229328a9c06f88207de47a4fc669","datavalue":{"value":"10.1007/978-3-540-71209-1_51","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5758138$C7722700-1276-4CE5-9166-789A693E8B71","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"42555107275c15893120c7cc39741fb0ca2e4591","datavalue":{"value":{"entity-type":"item","numeric-id":477209,"id":"Q477209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5758138$7142C247-7E6A-4000-A17F-C75B560336E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"13a79f3b409f94f1ce850864706ce220316e5542","datavalue":{"value":{"entity-type":"item","numeric-id":1653003,"id":"Q1653003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5758138$12D030DE-F271-4C17-83C6-B8480E31AA4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7e23e254236a8294ef997c8803c32040e3643f2b","datavalue":{"value":{"entity-type":"item","numeric-id":294639,"id":"Q294639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5758138$87664ADD-7039-45DD-B1B2-33C4DD1101D3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0caef843b05c7cfb5667c1a8106613cbf61a6d23","datavalue":{"value":{"entity-type":"item","numeric-id":2894263,"id":"Q2894263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5758138$11B012CE-0C9A-4FCF-BD7E-DD6AE8259927","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d4ccb5809271d2f0bf96f65b85084aa847fe92ef","datavalue":{"value":{"time":"+2007-09-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5758138$303ACD4C-9452-4CFB-88E8-ADB103D5B582","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5758138$18B8A457-B0FF-481D-8A5E-72F98C9218BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5758138$86EFC587-391A-4E93-B17A-67F4BBCBF293","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5e42d3c44378f4b23b6d45100c17adbeb0dac31a","datavalue":{"value":"5185813","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5758138$75B58905-1C9F-4A66-959C-75D532BEEF76","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"efa7dfee3dd74aae04647605d0a9a987c7d566cf","datavalue":{"value":{"entity-type":"item","numeric-id":16316,"id":"Q16316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5758138$D4B7FCFF-02C9-40B9-9C8A-27B72EE680C0","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":"Q5758138$7134CC76-4769-4458-9185-057C9A41383D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ec8a4179cd41ea10d989b4a69553dded2b97bca0","datavalue":{"value":"https://doi.org/10.1007/978-3-540-71209-1_51","type":"string"},"datatype":"url"},"type":"statement","id":"Q5758138$25CCE485-FF06-497A-9582-D268429B4AAB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a1887cd7255f3b98abb2cd7805d18b3ece78e0b2","datavalue":{"value":"W2128610788","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5758138$09F3ABD5-CC83-4124-8B4E-0D6336AC016A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a957d2cf599028b27c7efd7665694dce77cbd3cd","datavalue":{"value":{"entity-type":"item","numeric-id":2891409,"id":"Q2891409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"49a6cda4ae1e7b34f2c3e07b13bc5dcf6fc7052d","datavalue":{"value":{"amount":"+0.7753992080688477","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":"Q5758138$3AE22562-41E2-4F9D-A83C-8A0367700798","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7196fbf2afa17348c8b503ccf4edad10882036aa","datavalue":{"value":{"entity-type":"item","numeric-id":3146304,"id":"Q3146304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8a0d04d8ec4d75eb03e64f527d8a174b636ece0","datavalue":{"value":{"amount":"+0.7532666325569153","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":"Q5758138$EFF67545-555C-4B4E-AFE3-A54636113296","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4528fc1117a9ea3ee248f84fdf749257495eaadc","datavalue":{"value":{"entity-type":"item","numeric-id":3455546,"id":"Q3455546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72cf1222e013974690f9dcdab1a849c6801b07c0","datavalue":{"value":{"amount":"+0.750651478767395","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":"Q5758138$ACF1FF76-018C-4959-9868-F46E35EDEC95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a81f92fb03fede1e3c43c3a9f23902c81c2316e","datavalue":{"value":{"entity-type":"item","numeric-id":2285155,"id":"Q2285155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6541a7f190c0c6f353eae1f70d58586c7e1fc459","datavalue":{"value":{"amount":"+0.7420985698699951","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":"Q5758138$C61E269E-3520-43F3-BB93-449C385FFFE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e6d6b36f1cdd9e12aa75c2139e1c1312794d065","datavalue":{"value":{"entity-type":"item","numeric-id":2481560,"id":"Q2481560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5eb8ac3ee31481e4685735a7e099b5b12c18901","datavalue":{"value":{"amount":"+0.7364102602005005","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":"Q5758138$A252F5F0-0A6C-4A0F-A956-A38AADCF03AC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5758138","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5758138"}}}}}