{"entities":{"Q6970203":{"pageid":21324282,"ns":120,"title":"Item:Q6970203","lastrevid":84048383,"modified":"2026-05-08T19:37:58Z","type":"item","id":"Q6970203","labels":{"en":{"language":"en","value":"Model checking disjoint-paths logic on topological-minor-free graph classes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8054043"}},"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":"Q6970203$418097A4-013D-4EDE-9AED-9EB887EB4190","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9991c0e303d0bc2756cc8c53c8afc5ead0a35687","datavalue":{"value":{"text":"Model checking disjoint-paths logic on topological-minor-free graph classes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6970203$44FD71EB-598F-43FF-BD4B-5878BC2FA3A6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"31568113c49096d8d664483ae6499d3440fb7418","datavalue":{"value":"1573.68206","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6970203$9AFBC74C-875C-493E-88E3-3211B086FB15","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"55bd9e22c7627739126f72e163dea8442712b4f7","datavalue":{"value":"10.1145/3661814.3662089","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6970203$0EA1C448-FCCA-49AB-8094-0519CBD35314","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d403c0dbcebd995711995e423b8ded3790c3c4f5","datavalue":{"value":{"entity-type":"item","numeric-id":6082226,"id":"Q6082226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970203$BAD88D2B-FA0E-4A0B-88A5-E127727366AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e6f61c2516aa40ce87ce4cd042da97159dcc1258","datavalue":{"value":{"entity-type":"item","numeric-id":322315,"id":"Q322315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970203$93DE4043-AAFF-4801-AF68-7597291145BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4cc6dedfe21f5b414287c502dbc2427a2eaaebbd","datavalue":{"value":{"entity-type":"item","numeric-id":777433,"id":"Q777433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970203$CDFB2A3F-A5D7-4EE9-A07D-94BA738B2AF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1348fb004fb071dffe1335a9785ae0b754bd6be2","datavalue":{"value":{"entity-type":"item","numeric-id":284716,"id":"Q284716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970203$DE439CC9-B206-45E4-91E0-08003C38DA70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4e0566a814c23d3705b79606a5a59ee50724b166","datavalue":{"value":{"entity-type":"item","numeric-id":2097344,"id":"Q2097344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970203$22732631-7AA1-4CDC-9192-B2EC5F2071B0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"66c9695eb20dc9e6bcc46cab6b3e0d2faaff014c","datavalue":{"value":{"time":"+2025-06-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6970203$58AF922E-2747-49A5-8608-B9182A0ED14C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6970203$6002E8B2-0963-4239-8061-AF98721B30BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b58df756e27df0e7b4d6d54dbbfd9015b563e63d","datavalue":{"value":"03C13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6970203$9AE70FBC-E4E1-4B1B-AFD0-D221DCCC427D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1e41ef2b5b8242a1ef47202467652cf34e7489f6","datavalue":{"value":"8054043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6970203$BA8129E5-F8F5-4020-9B43-7B2FE07ED64C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q6970203$E914C598-0508-4D2D-B7CE-9099B126D727","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"72517113cae32ef827f9aaf6f6eaae00821fc312","datavalue":{"value":"topological-minor-free graphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q6970203$FC890909-81F4-4AAA-9C21-746AA4365747","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6970203$E13EE9AC-D90E-422F-9F40-DBBB8425E944","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a8415b13e13866b2a902e773eb49890a053b3a53","datavalue":{"value":"disjoint paths","type":"string"},"datatype":"string"},"type":"statement","id":"Q6970203$BF5E3A43-1F20-4A0E-866D-723D9C0EA9EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39c9e86a8c0ac704e1de13a66a9fdebb1fb49be9","datavalue":{"value":"parameterized algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q6970203$492F3458-4D4A-427E-8775-42C44E5AA731","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":"Q6970203$9B741DC3-4C43-4F0E-B74D-B8D6DCBC67C0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"be17e3e16f8de4b41a5e87255873ed44ec5fd55e","datavalue":{"value":{"entity-type":"item","numeric-id":3361904,"id":"Q3361904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970203$F26A28A1-C9C1-4FB1-A553-4DC5613677F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5903622ec9ad16e7a7ecd6f9ed085e7ab0f6c308","datavalue":{"value":{"entity-type":"item","numeric-id":5012590,"id":"Q5012590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970203$5DB8F3DF-891D-4E8B-BAA3-B672B5B30C1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"891e4a96e84cef74698f23acf90366d7ab6238e2","datavalue":{"value":{"entity-type":"item","numeric-id":6083546,"id":"Q6083546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970203$87F19A9D-AF8A-4949-9EE6-69872BB69CBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"641efc7ca106dc9ad048284a7c75753fa1e78947","datavalue":{"value":{"entity-type":"item","numeric-id":5066940,"id":"Q5066940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970203$CCB6EAE4-74F8-477B-BB27-A3AF1E05A5C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1134f2341d7e5000fd707505605e06ca29388803","datavalue":{"value":{"entity-type":"item","numeric-id":2641288,"id":"Q2641288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970203$B474D78A-D3AE-49CE-92BF-1FF966C7E5D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8fe56184955dbba620e4cb94dc309dfe37fcc19","datavalue":{"value":{"entity-type":"item","numeric-id":1974445,"id":"Q1974445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970203$0A77F7A8-BB24-4AD9-A104-D311F7936006","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f7063d0442c53e72e4d7aa07ea9c08e9fcc430f","datavalue":{"value":{"entity-type":"item","numeric-id":685464,"id":"Q685464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970203$03EE1345-A1DD-426F-9DDC-2B3A9B51F8B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39c27c2f2c911fad70a9d2b7854a67affaded2e1","datavalue":{"value":{"entity-type":"item","numeric-id":4634024,"id":"Q4634024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970203$21689942-250B-49AA-9A6B-41B07D4E942E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"790384f48b72bd1b137923d013a11608eb3d5511","datavalue":{"value":{"entity-type":"item","numeric-id":6425726,"id":"Q6425726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970203$C02020F5-F4DD-45AA-8F98-3B262765E970","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3461a39e9e3727b724cc3aaa8c5d9dff59e8c87a","datavalue":{"value":{"entity-type":"item","numeric-id":6147359,"id":"Q6147359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970203$C0A57E36-7747-49D4-BAC1-9D1ACF528182","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a94bbd14580eec279a5267b8a667d36e4f158837","datavalue":{"value":{"entity-type":"item","numeric-id":6990334,"id":"Q6990334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970203$9F153FF9-91C5-4E8D-9D3D-D8EAB7BFF0CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2c20ebeed862feb6e0841b92fd1c342102e628d","datavalue":{"value":{"entity-type":"item","numeric-id":4255575,"id":"Q4255575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970203$52BC82B0-D9F7-485B-918E-BBD5C4A72626","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"889b6f7596f4e31e139c1fb281574b1f66986c10","datavalue":{"value":{"entity-type":"item","numeric-id":1679973,"id":"Q1679973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970203$FD82FE6A-DAAA-4A06-906C-004E4A662975","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc580406003f6782098c13814ea47c2513e69187","datavalue":{"value":{"entity-type":"item","numeric-id":2719133,"id":"Q2719133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970203$90B79CB1-597F-49B0-9B63-D0BB8139E5F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbb14a5f9559a340d8a4fb8b35c840809f36e91b","datavalue":{"value":{"entity-type":"item","numeric-id":6638063,"id":"Q6638063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970203$A9292F4E-E8B9-45B5-9858-6F6BE57362C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43f0b3519d6b22b8495d457768e7415e9fbb8009","datavalue":{"value":{"entity-type":"item","numeric-id":5145015,"id":"Q5145015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970203$AB40E3AD-E8E2-41B8-8F78-8D1C20B507E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fea79ffe3a076af8b924158860accd261638c485","datavalue":{"value":{"entity-type":"item","numeric-id":3196630,"id":"Q3196630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970203$9C0EB0D3-8DDC-4D4D-B97D-E2F3F6E498E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f275ea0506a1f7ccc321ea79b641b85f41fe98a9","datavalue":{"value":{"entity-type":"item","numeric-id":6124954,"id":"Q6124954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970203$7F80FB97-DEE8-4E41-A04C-9FF1FDD45955","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b8b0cd413cf857f8f91c865df31bc8a10cb20d8","datavalue":{"value":{"entity-type":"item","numeric-id":5121280,"id":"Q5121280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970203$3693975D-7F91-48E2-A2F8-A90F81A73A32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c033dd4207a8ba525f2797f89464e21177aa9728","datavalue":{"value":{"entity-type":"item","numeric-id":5327438,"id":"Q5327438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970203$4BF2359D-92D6-4E56-B9C4-90B69F2F6548","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15f98579babad1d3f43a436b18b05cf9c213b9d3","datavalue":{"value":{"entity-type":"item","numeric-id":395003,"id":"Q395003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970203$EAEE85E2-1EFA-4616-ACC3-AC54F070B40D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04d710cc76e6eb6b666c46246c13a053616b4ab1","datavalue":{"value":{"entity-type":"item","numeric-id":6538674,"id":"Q6538674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970203$F94B2E17-4337-4452-8689-CBDBD5A70FB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"248bde3a394bd4daef7ad3a4739df78b9e4b1b1a","datavalue":{"value":{"entity-type":"item","numeric-id":703863,"id":"Q703863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970203$9C77D89C-EC3C-4F05-A9AA-B830B04022AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"71217208be2b526c81d03cb506bbd73893189d5c","datavalue":{"value":{"entity-type":"item","numeric-id":3086928,"id":"Q3086928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970203$69D33965-724E-4BAA-8621-600CDCC7E9F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd4ce94fd036d8df30174fe6ce726c33ab9a507c","datavalue":{"value":{"entity-type":"item","numeric-id":5419118,"id":"Q5419118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970203$EFE8FFF2-872E-4032-AD9B-064D99D38278","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e276c8b9d1c018afe6634feff4b7cfc1ada76753","datavalue":{"value":{"entity-type":"item","numeric-id":6829581,"id":"Q6829581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970203$20333E20-A1A8-4B25-90BB-11FF6195E1A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c409e333cdb835a95a66adaeb07dbf499feedacc","datavalue":{"value":{"entity-type":"item","numeric-id":5111878,"id":"Q5111878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970203$0FEF4DF2-E390-4A92-B00B-F53BC92B59DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d073a30328c9f63027aef16a066ad1152be56a02","datavalue":{"value":{"entity-type":"item","numeric-id":5144680,"id":"Q5144680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970203$C447CAC3-0525-42EA-8701-2FB77B281586","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dfe61b6aa15fc3972b75df875bd6e445c6d89a13","datavalue":{"value":{"entity-type":"item","numeric-id":5002820,"id":"Q5002820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970203$3FDAE675-52B5-4C31-8F83-D2C437527F23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3e58bac6208e0b257239f199b4609b34b8219a6","datavalue":{"value":{"entity-type":"item","numeric-id":703864,"id":"Q703864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970203$11E79D0D-DD2A-4B5D-8E69-196116681463","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e8a2690d5b4f3afcf4eb051a141172212c64393","datavalue":{"value":{"entity-type":"item","numeric-id":5002822,"id":"Q5002822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970203$A35D5E8E-C1B9-442D-ABE9-C75F9CC67EC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1be2923f2e489a25d332c6761beeedf639427b60","datavalue":{"value":{"entity-type":"item","numeric-id":6416412,"id":"Q6416412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970203$2690AC00-1F17-46B5-A611-FB005919C5CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"272a8599e1974f8cb65a9b00e6deeeae4e775d26","datavalue":{"value":{"entity-type":"item","numeric-id":6560901,"id":"Q6560901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970203$F33B8FD4-695E-48C9-A730-ADA0EBF90C21","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":"Q6970203$0C70A87E-447E-4E53-A0EA-95890ED03C69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6316a8195d7744e8747b45620b671cc97023e7da","datavalue":{"value":{"entity-type":"item","numeric-id":6082227,"id":"Q6082227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970203$44EDD005-A7D5-4D34-8EFB-87EA7A95DB21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"147043b699458bdb6af35631312a51a6952fa481","datavalue":{"value":{"entity-type":"item","numeric-id":5284545,"id":"Q5284545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970203$C537E0ED-B4A4-4DBA-9D25-8B4FD4D15741","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68c74e20c9157021aaf7d8167c88d779be5f8df1","datavalue":{"value":{"entity-type":"item","numeric-id":1233019,"id":"Q1233019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970203$CD9BBC72-2B48-4856-A09B-A4212375D97C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Model checking disjoint-paths logic on topological-minor-free graph classes","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Model_checking_disjoint-paths_logic_on_topological-minor-free_graph_classes"}}}}}