{"entities":{"Q3778726":{"pageid":5808632,"ns":120,"title":"Item:Q3778726","lastrevid":52371413,"modified":"2026-01-22T12:02:20Z","type":"item","id":"Q3778726","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4039864"}},"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":"Q3778726$47E6A8A0-D5EF-4085-A57E-402014B993DF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e77e68b0ee94565eed4d41c7fc8dd0704488e406","datavalue":{"value":"0638.03026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3778726$23649825-0461-46F3-9EE2-5A6E179D58E6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ff27340a24bd6e8dd30ac0a3d82eff7aa8dd886d","datavalue":{"value":{"entity-type":"item","numeric-id":1204122,"id":"Q1204122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3778726$F7543283-07DA-405C-9A18-04CF6821DBB1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3778726$29F73CB7-13C1-46CD-9C79-576BEE900C5C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3778726$EC26C2D2-44E1-47BE-81EB-34FA50AACFF0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c207694ba75e04274126f164727ff283e837cb18","datavalue":{"value":"4039864","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3778726$D1E9AF72-AAA6-4D79-B5AC-67EE2FDC3C57","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a5eef9a7839e51aae1829128fd74061b3797fc5","datavalue":{"value":"propositional dynamic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3778726$CD712BED-CCE9-4FB0-A5B1-FBDF43EB32DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5657571d93498b5f5a5324610303b580f49bcf5","datavalue":{"value":"L-equivalence of structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q3778726$6BC85E31-12FF-4147-BA22-5D28B6F57B5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"018e8c21f4faf21b352a89310519830349df50c4","datavalue":{"value":"MML","type":"string"},"datatype":"string"},"type":"statement","id":"Q3778726$4CF25FDA-BBE4-4B04-8357-73DAA73D920A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"32af73f5eb46fbd6f85fadb4a1f73559cf19fb69","datavalue":{"value":"finitely branching structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q3778726$18B685B0-CAF7-46C0-9F5B-B46E48B45311","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":"Q3778726$C83E33D4-6EA4-4712-8078-AB5ECFFEC511","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0059bcadef95a312d8e55a6a7be031c21a8095a8","datavalue":{"value":{"entity-type":"item","numeric-id":4636286,"id":"Q4636286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83c0fbf37815e171de35ca4cadf4850cb2279728","datavalue":{"value":{"amount":"+0.7588332891464233","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":"Q3778726$910D8529-289E-43E0-BB74-CB0D7876185A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c59fc791cb8aa2e6b55bee786b69b56494756338","datavalue":{"value":{"entity-type":"item","numeric-id":281144,"id":"Q281144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4075adbaa8c9588cd8bcee37ed8b10198427fab4","datavalue":{"value":{"amount":"+0.7379855513572693","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":"Q3778726$A8B4D539-323E-4657-9091-20729072C27A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"147c6bfd28f499b09baf6da1add39b17bd630247","datavalue":{"value":{"entity-type":"item","numeric-id":801893,"id":"Q801893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e51d0e389cc99521ade0ffb12c7bd211b24fece5","datavalue":{"value":{"amount":"+0.7300702929496765","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":"Q3778726$92C61BB4-43FB-4D49-866F-E60CF6AEF4D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b134d27fd72e065143eb488cce051ee8a0991fa1","datavalue":{"value":{"entity-type":"item","numeric-id":2358700,"id":"Q2358700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"359eb617b52f41aa7d54cd0524ea6e6c8014d294","datavalue":{"value":{"amount":"+0.7087098360061646","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":"Q3778726$2E54AB0E-6258-4B59-8F87-5D8ACED22AE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4b8bae39ea3582b3d9dbc0059d40b3aef36eeaa","datavalue":{"value":{"entity-type":"item","numeric-id":801682,"id":"Q801682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5aebab607d4f96e2eed7c2763b6a81bf0c317d4","datavalue":{"value":{"amount":"+0.7058337926864624","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":"Q3778726$F3EACFD0-B662-4666-A44E-1EA82520BDB1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3778726","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3778726"}}}}}