{"entities":{"Q2849421":{"pageid":2860141,"ns":120,"title":"Item:Q2849421","lastrevid":83863880,"modified":"2026-05-07T13:04:07Z","type":"item","id":"Q2849421","labels":{"en":{"language":"en","value":"Linear time proof verification on N-graphs: a graph theoretic approach"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6208945"}},"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":"Q2849421$853AD5C1-887C-45A0-8DA6-4150D464EC27","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e55dc4c4fc77533cfd4164bc01d7a900feabac68","datavalue":{"value":{"text":"Linear Time Proof Verification on N-Graphs: A Graph Theoretic Approach","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2849421$BB696A00-E6E7-4A13-B3FA-938F4D5061D8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"17c5e1972117d4b034cae720d07a2e9f87bbe264","datavalue":{"value":"1394.03018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2849421$BA5E9BD5-9531-4E83-B6C8-C06647375900","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c2c0b7f715cc59ca69bb3335d85dc40714c5a4e8","datavalue":{"value":"10.1007/978-3-642-39992-3_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2849421$856A4A3A-2442-4407-AAEC-0DCE5B37C06A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1e912905986ed8a9c1e7b4bbe8b0cf28d1c6b551","datavalue":{"value":{"entity-type":"item","numeric-id":1744397,"id":"Q1744397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2849421$76BBAF8A-D424-461C-B97B-25D71200F224","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"41de4ba9ea867cf0d0ea3bca47d4393e6d24b37a","datavalue":{"value":{"entity-type":"item","numeric-id":1744398,"id":"Q1744398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2849421$33DFD490-8CA8-4993-BF97-0884804BB96B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0abb4f1c0073438793d43eb9c7ac443b64bb74b3","datavalue":{"value":{"entity-type":"item","numeric-id":1744399,"id":"Q1744399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2849421$CE24B291-BAA2-4110-A8C2-3C162CBACF7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e8529a07395758c7f92e5bf2b02863c3fd7bf325","datavalue":{"value":{"entity-type":"item","numeric-id":1005957,"id":"Q1005957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2849421$5906CA2F-C8D0-440C-B256-19BB493E71A5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e99766f237ba2ec64cd66b6c230146d768ddcdad","datavalue":{"value":{"entity-type":"item","numeric-id":2820680,"id":"Q2820680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2849421$A38862A0-85AC-4126-87B2-8E51DEF1C972","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7d6a4b6b487aeaa7eeea6f3ef0c3f53623fef402","datavalue":{"value":{"time":"+2013-09-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2849421$16E15304-9B29-4E47-B6F0-1ADFF1899C9D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2849421$D7FF3608-B0E9-41D6-A087-EB389B96B7BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2849421$D04DB20E-4DAC-4F1D-9C7F-671E8670A057","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0bc2c185af86add1cfb6738949067e1702a46bb9","datavalue":{"value":"6208945","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2849421$9622051B-80E0-41F7-A8B4-524FA9CF464A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c402f7d8456f963120f6cae2465b7565949351a4","datavalue":{"value":"automatic proof-checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2849421$12F9EA34-32B7-494C-8499-F230ED214A26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2849421$A7221EA4-E752-4AAD-9DBB-28B718A5D411","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ffd3928aa1fd818bc1a8806528172e266ac8bcc","datavalue":{"value":"classical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2849421$F2355BF9-4DFD-4F0E-AEC3-2FDC3A13CE0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2849421$B3204034-8F6C-4468-908F-DD48857BD38D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bb02d028c0ace71502ea900437201103475b9d94","datavalue":{"value":"\\(\\mathrm{MLL}^{ - }\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q2849421$FCA0E5B5-271D-4532-AC1F-5B3489D82857","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"46de5d93ee6a5475a65527c5572fe50ee84e88cf","datavalue":{"value":"N-graphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q2849421$E5485470-F754-462A-A1B8-163C78841FB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bdf4dc3db86d44e89a36d3ec12340c2571d04f06","datavalue":{"value":"graph theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2849421$5A6D173A-7768-4C92-BD86-C0FF66FE5483","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff57436dba3a56780948c6071f91053dfffdc3ee","datavalue":{"value":"DFS","type":"string"},"datatype":"string"},"type":"statement","id":"Q2849421$11A269FB-8E0D-4AEB-A2ED-A9DEE17050B4","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":"Q2849421$F0CCC8AD-A6AD-4C8E-B80D-A833ECF2C569","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"da91b1c883ac552c196f4a674cc7f0edeae8f13c","datavalue":{"value":"https://doi.org/10.1007/978-3-642-39992-3_7","type":"string"},"datatype":"url"},"type":"statement","id":"Q2849421$19BCFC60-AFB2-42DD-A089-09FB4D76BBF9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4f6b14c6f387434e1d4d9fdc45d0fa133b9ebc97","datavalue":{"value":"W102956799","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2849421$83614E7A-E9FF-4933-BB97-8BE2DECDC42D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"615efd293a10244d37f814b4eb58ee101fc9a85e","datavalue":{"value":{"entity-type":"item","numeric-id":534705,"id":"Q534705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25e619da6d546fa34bcde0d5450401cb12140633","datavalue":{"value":{"amount":"+0.761915922164917","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":"Q2849421$A5427467-B29E-4C1E-A43D-1F4B5BE62049","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18cfa5a292c05ae87a6d6dcbdb2ae28a02d2c098","datavalue":{"value":{"entity-type":"item","numeric-id":4328819,"id":"Q4328819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d89ba1628fb130d01080f88b112824fa31dfc88","datavalue":{"value":{"amount":"+0.7576256394386292","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":"Q2849421$C2C5C6B8-65FB-417A-BD2B-827BCC650F34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0971be9fa333631e38b90a05d9187c3d2e3e723d","datavalue":{"value":{"entity-type":"item","numeric-id":5176672,"id":"Q5176672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d89ba1628fb130d01080f88b112824fa31dfc88","datavalue":{"value":{"amount":"+0.7576256394386292","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":"Q2849421$9C1CA465-E6D7-4F34-88B7-C6F97DD01EB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01198edb11dec49297fe8545b7c5cae69736ac2c","datavalue":{"value":{"entity-type":"item","numeric-id":5277754,"id":"Q5277754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b02dc004c1f117a6b37a790ae7661c1f9d0365a","datavalue":{"value":{"amount":"+0.7399305701255798","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":"Q2849421$53F6D9BB-03CE-4E03-8B72-09E3225E7772","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81c767d8b0e2fcbe638ab8ce9edcedf6d7e403dd","datavalue":{"value":{"entity-type":"item","numeric-id":5145617,"id":"Q5145617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea2c41e0ad66965f56917ad91e97da98145f2b9e","datavalue":{"value":{"amount":"+0.7314692735671997","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":"Q2849421$242082C5-8480-437A-90A5-3DBB87C4A983","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Linear time proof verification on N-graphs: a graph theoretic approach","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Linear_time_proof_verification_on_N-graphs:_a_graph_theoretic_approach"}}}}}