{"entities":{"Q5387889":{"pageid":7417463,"ns":120,"title":"Item:Q5387889","lastrevid":50366468,"modified":"2026-01-13T21:58:33Z","type":"item","id":"Q5387889","labels":{"en":{"language":"en","value":"Modular Cut-Elimination: Finding Proofs or Counterexamples"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5279571"}},"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":"Q5387889$2CBAFDDF-C519-422F-99DC-6C595919D972","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dea1e3272ae1d0cb5b05e1b88ad8d570d7a03066","datavalue":{"value":{"text":"Modular Cut-Elimination: Finding Proofs or Counterexamples","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5387889$E6C487C8-76D5-442E-A39E-54AE5E7EC531","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"96f03a5e5ce8df0884d22af5e6346329f93b5178","datavalue":{"value":"1165.03344","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5387889$245149E9-2835-49DA-899B-21E8B1CCEDAE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"01d1fdd7310c447b63ef6c808e483e44ccb30ea9","datavalue":{"value":"10.1007/11916277_10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5387889$2BC2BC21-C56F-416F-A68C-03DBD969898F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"eb4465c1e4c8de201e147387c933ac41a7d412d9","datavalue":{"value":{"entity-type":"item","numeric-id":385018,"id":"Q385018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5387889$DA75B02F-88C7-4124-9E20-343836A48B41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e02fd546ce8d461240920d62f3603cf121b4693c","datavalue":{"value":{"entity-type":"item","numeric-id":271691,"id":"Q271691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5387889$48C4AC1E-0A12-4EB5-A9B2-D064904403E8","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":"Q5387889$FEFBD24F-1D73-4143-9034-A80C34E0E8A5","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":"Q5387889$E0AA4376-D9E0-4560-A052-77F2264E42C6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5387889$3E209CCC-357C-4E5F-BE74-139F599E6B63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25e5a5f23d3e2e2c05864da16eda493011c33276","datavalue":{"value":"03C80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5387889$60798F9B-A566-4F65-BA2C-9754D38056FC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a499ee466f341172717d4c857d638a0605f15be2","datavalue":{"value":"5279571","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5387889$EC5D0AA5-3801-4BA3-8D6C-59A0E1F1AA2F","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":"Q5387889$80FC701F-FCA0-47CC-93F5-2E2E616650D9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d5d203efd3745c789f9a996a426cc73745502efe","datavalue":{"value":"https://doi.org/10.1007/11916277_10","type":"string"},"datatype":"url"},"type":"statement","id":"Q5387889$24D35F90-78C1-47D2-9A27-FEA31831F86E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d094afa70606bad2c192bafec2651dfe4ca6ef94","datavalue":{"value":"W1483378549","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5387889$9AA01F26-76E9-41CE-B309-1C1188A939D9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05c4cb7ed150fd903f5a4174fd804f9490e25ac5","datavalue":{"value":{"entity-type":"item","numeric-id":5892512,"id":"Q5892512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cac0b886f82dece7de0f6d2b472283294f79e185","datavalue":{"value":{"amount":"+0.808976948261261","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":"Q5387889$30641EE8-DA36-4954-8981-5EA4477C37A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b44e0985c0eafe9bc20e40d69ffdae5b0c45b315","datavalue":{"value":{"entity-type":"item","numeric-id":5902296,"id":"Q5902296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d6385f4cbaef64a5c630532f5f8c9ab80d7f976","datavalue":{"value":{"amount":"+0.808671772480011","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":"Q5387889$B6288BDA-B255-42DD-B220-BAD5C9C53808","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ffab1ec510f63ff1e2a9542c3c3be4322ba4905","datavalue":{"value":{"entity-type":"item","numeric-id":5704011,"id":"Q5704011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec5101abc6cb678acf128098e3d197e1ac7037a3","datavalue":{"value":{"amount":"+0.7989703416824341","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":"Q5387889$230F7DCC-7761-44D7-A49B-EA1488232A38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2feb62bb3a69859753f55154a03f7ec76704cd3d","datavalue":{"value":{"entity-type":"item","numeric-id":5434502,"id":"Q5434502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61fa139ea7d85a60af92c562fb58376e46514c1a","datavalue":{"value":{"amount":"+0.7945254445075989","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":"Q5387889$701CDC3A-595E-478B-AFBE-EF46B2A68D1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27f1a0ef4645d2bf4ef1332b9480367de0b3f497","datavalue":{"value":{"entity-type":"item","numeric-id":4650285,"id":"Q4650285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea40d3d5856fc439b395c3c3f255e01e2d82e0b4","datavalue":{"value":{"amount":"+0.787307620048523","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":"Q5387889$433641A8-E530-4E6F-A558-DD7CD97DCF3D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5387889","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5387889"}}}}}