{"entities":{"Q3768883":{"pageid":5798789,"ns":120,"title":"Item:Q3768883","lastrevid":51865145,"modified":"2026-01-20T10:27:55Z","type":"item","id":"Q3768883","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4027441"}},"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":"Q3768883$C3AA79E7-C271-46CC-83A5-797381C1F7C4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"de1fa1d334caeda45ce3f8dd84afca0af5384210","datavalue":{"value":"0632.03027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3768883$8AE3C1CE-0E51-423A-9AAA-FB179217C985","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c77316ffd13c954baf6140ee2be928d4169cc464","datavalue":{"value":{"entity-type":"item","numeric-id":3768882,"id":"Q3768882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3768883$74BC5B5F-CB02-417A-9321-90DE2EEBBF5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2c258bf9206a7a338581aad4b4a7a2544fa708cd","datavalue":{"value":{"entity-type":"item","numeric-id":391109,"id":"Q391109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3768883$BCC58E06-9B33-4393-A7ED-8EA786394850","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":"Q3768883$48CA79A0-DAAE-4867-BB7B-6FA87E6F3ABA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3768883$DA2BC623-77AC-4A91-B3A7-ECC7C238B63E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3768883$820997A3-D740-4393-AFA4-6FFF86FF0F75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3768883$6F50C296-23AB-45C2-95CD-EC89C25B0518","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6611f2564d405356ec902333473e26b6610eadaf","datavalue":{"value":"4027441","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3768883$E83F4FC1-570E-4E20-BAD4-33FFC8820C4F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"902bb96bd7b013d323eaf0bd22f175083ba1743e","datavalue":{"value":"tense logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3768883$0124940C-E240-47D0-ACC5-00F0FBB6B08E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e16fdb519452f3bafdb17bd5ad06b8194f047110","datavalue":{"value":"expressive power","type":"string"},"datatype":"string"},"type":"statement","id":"Q3768883$72214198-03A7-471C-A22E-DB0940C311F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2b5984708b9317626cbf160edc27eee3635d1ac1","datavalue":{"value":"full branching time logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3768883$EB3610DC-2746-49CB-B53E-B6AF4C89900B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d59d78b5c0e019638a926f3e060fb27c7d635b61","datavalue":{"value":"monadic second- order theory of the binary tree","type":"string"},"datatype":"string"},"type":"statement","id":"Q3768883$EA934FC3-104C-43A3-B10A-9C950A90DE52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d16b11223dd43ac9feeeb5b11a98ef1a7a06ae9a","datavalue":{"value":"monadic second-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3768883$08D5E161-2D46-4ACC-92CC-5AA0FA569574","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51d989bf6fd5166371992b5d986767a45617d700","datavalue":{"value":"Kamp's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3768883$C992E847-7502-4FE2-B56F-837111FCB63F","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":"Q3768883$811747E3-F393-45B2-B2A1-98B94B01B1B4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9386106af15cb3aafbded43cc084ef9fc4171a9","datavalue":{"value":{"entity-type":"item","numeric-id":1398378,"id":"Q1398378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"374c9b5126a1b589e09e8bfb29d2d5cb49224135","datavalue":{"value":{"amount":"+0.8500171899795532","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":"Q3768883$EE7F4E01-2BDB-4402-9CD6-EEEE4AAE28F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9ecaebec92af5dddd85d10e64d18937aa1be945","datavalue":{"value":{"entity-type":"item","numeric-id":3722471,"id":"Q3722471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f344a733b9f6fbf2d24b5039b43cf05bbd9a5f39","datavalue":{"value":{"amount":"+0.8409324288368225","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":"Q3768883$F579BE65-C6A8-4F30-AABD-8B74371DFE72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8036637663247d5f6f95751e5c4c09820075aaf","datavalue":{"value":{"entity-type":"item","numeric-id":2757841,"id":"Q2757841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d740e6c123aac61ff5da9c8ca15229ac936e465","datavalue":{"value":{"amount":"+0.8099945783615112","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":"Q3768883$C3EB272D-9956-4B63-AD4C-9F0A61C6D84F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f5f0e4090509a27db55135341d5c49c9c1599f0","datavalue":{"value":{"entity-type":"item","numeric-id":4733398,"id":"Q4733398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23822fef1f030dc36ac397a0b32494e3637af8db","datavalue":{"value":{"amount":"+0.8067766427993774","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":"Q3768883$99959C50-BF7F-436A-A81B-41CA4B43DF23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d5470a664f8efbeba3540b66e2ca662f1ae8161","datavalue":{"value":{"entity-type":"item","numeric-id":4733423,"id":"Q4733423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1d7f156abe0c6744094a03067e2a4c2dba7d886","datavalue":{"value":{"amount":"+0.8010916113853455","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":"Q3768883$D96868F9-CC7F-4B9E-B65C-5A467CF599D1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3768883","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3768883"}}}}}