{"entities":{"Q5387860":{"pageid":7417434,"ns":120,"title":"Item:Q5387860","lastrevid":101151416,"modified":"2026-06-06T00:00:24Z","type":"item","id":"Q5387860","labels":{"en":{"language":"en","value":"Treewidth in Verification: Local vs. Global"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5279544"}},"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":"Q5387860$8FC9CB8E-A312-42E4-9A93-9F25D989AFAD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1d862d72b878aa17979ac366042bf65f1110e5de","datavalue":{"value":{"text":"Treewidth in Verification: Local vs. Global","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5387860$A302B258-B2C4-4AB5-AA4C-FA2A806B1CDF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a7e1461bd9dec1cf5dc581c0848fddb8e9f966c9","datavalue":{"value":"1143.68450","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5387860$A52DAE35-D230-4BF2-85D8-E7C6BBC01D91","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"54e6c0b94f86475d347312a308a133653c9f81e2","datavalue":{"value":"10.1007/11591191_34","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5387860$C32A1253-64B5-4157-9E97-FD1CD1120016","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"937d3cb74d506f9dd054e2041ebfc9963f760fe3","datavalue":{"value":{"entity-type":"item","numeric-id":1632546,"id":"Q1632546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5387860$3DAABA80-EA2B-4F57-9D70-0C09548C5252","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b8b0956e5a041aa7d158d7ea12f83ea51b059dc5","datavalue":{"value":{"entity-type":"item","numeric-id":862402,"id":"Q862402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5387860$2D2CFA28-8C8A-45C4-AC9C-F32E73259498","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ce87cbb6ded942a7df2b71cd7e21808de8efe775","datavalue":{"value":{"entity-type":"item","numeric-id":208771,"id":"Q208771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5387860$6CE09D53-0ECB-4BC3-9B41-13AC570E5F88","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"23864e2be568bb8a6a4b0526f5a5216348320070","datavalue":{"value":{"entity-type":"item","numeric-id":2870110,"id":"Q2870110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5387860$6D7454A5-7D3E-4153-8284-8AD75810618B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6183386ae8366a240584c653ce5ca2494433aedb","datavalue":{"value":{"time":"+2008-05-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5387860$84762BF6-74A7-4924-9FF8-FB9171EEBBE6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5387860$135BECED-0E59-48FD-B096-B3BBE36D7B57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"344f62a15ccd40e690364bd758985e8313f47f4a","datavalue":{"value":"68R10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5387860$0C2151B6-2D88-44AB-AE8C-D50BB161515F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"da390cc92cd8601e4601d483fd3b18a59844eaec","datavalue":{"value":"5279544","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5387860$01F567DA-FE1B-4EEE-B484-5F1FF797FF63","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":"Q5387860$A1FDCE80-2AEC-4510-BD5D-FACB734B86B1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f8ac4eb147769eca466e4c41ed2c64696c750bc0","datavalue":{"value":"https://doi.org/10.1007/11591191_34","type":"string"},"datatype":"url"},"type":"statement","id":"Q5387860$E030E208-C329-45AB-AAFD-57A0E4066A05","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"785925ca323a4084e691e73cb648e1feae66f9a6","datavalue":{"value":"W1539278744","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5387860$42A47AA2-944F-419F-BA5B-2E0350E31406","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ef6b6ac71b7c0f6b80b700cc23b0757dcda7721","datavalue":{"value":{"entity-type":"item","numeric-id":2058390,"id":"Q2058390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e6fecfe20769c6def41ae45cd4e31256a716cb9","datavalue":{"value":{"amount":"+0.7703354358673096","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":"Q5387860$ECCD1622-6365-4480-8AE4-F7E77DFEE2E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d815a62d4dd7fdf5d4c13c5a34a0f5287b2b39f9","datavalue":{"value":{"entity-type":"item","numeric-id":5900672,"id":"Q5900672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa75964632c55b63131df87be6fe0ed762a6df76","datavalue":{"value":{"amount":"+0.7482889294624329","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":"Q5387860$5CF77C7C-9690-4F79-BFD3-E210AF0A8D85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5027a3c13fc45c00c392923f6a68f287478152f","datavalue":{"value":{"entity-type":"item","numeric-id":1702915,"id":"Q1702915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eed1e6626806cd10fb2aef3d0151c8e0bdc246aa","datavalue":{"value":{"amount":"+0.7371751666069031","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":"Q5387860$69C4140E-9CCC-4102-BD5B-4969963E4AF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d51bcedbddd193fa414d6e14771039b2435f2b64","datavalue":{"value":{"entity-type":"item","numeric-id":3795218,"id":"Q3795218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a76904648488e8e9dd2df06bc12dea930cb16d04","datavalue":{"value":{"amount":"+0.7248221635818481","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":"Q5387860$A652C664-3C74-474B-B8CE-0D084D3034E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e12e04a2df8d2dbc28cae26919dbe590a14b3cc","datavalue":{"value":{"entity-type":"item","numeric-id":3637156,"id":"Q3637156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64020a2c4e5f354d8174787ba1133c78fcd501ac","datavalue":{"value":{"amount":"+0.7159743309020996","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":"Q5387860$31864E6E-29CE-4530-91FF-F9ACF6A6E40F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Treewidth in Verification: Local vs. Global","badges":[]}}}}}