{"entities":{"Q3976050":{"pageid":6005947,"ns":120,"title":"Item:Q3976050","lastrevid":47053306,"modified":"2025-12-31T12:45:54Z","type":"item","id":"Q3976050","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 18645"}},"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":"Q3976050$FF85CE0C-068A-42B9-B376-3085846AA095","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3a3c0e5db1450fde25f68844cf4e623d75825e2f","datavalue":{"value":"0735.03014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3976050$0C7D0C6A-6495-44F4-B274-379719FE1ABC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"775a644844a555d1fdaddfac8fec302da0d27d3f","datavalue":{"value":{"entity-type":"item","numeric-id":342706,"id":"Q342706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3976050$9F257F78-9806-411A-84FA-AA2E57AA8032","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1422b5e3113eee9dc98f0455d275631058399b8b","datavalue":{"value":{"time":"+1992-06-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3976050$BAD5F247-AAB1-45C9-B6BB-5977049D117D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3976050$7154F118-7C60-4570-B932-8F1CCD33DAAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3976050$15B04495-BD66-40D4-8490-17FAB085EDA3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"57fb4675968e6496e365462aa28f838d031c7939","datavalue":{"value":"18645","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3976050$235582C8-370D-4ACF-AFCC-E2CB2B516469","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5f33be0ff1c733b125590eea16e7df30eeb261b7","datavalue":{"value":"propositional algorithmic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3976050$AAF9CB13-1B0E-4F35-83FA-B8A73B481BF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b144d416123e756c97847f555d2ac0e25660beec","datavalue":{"value":"nondeterministic while-program schemes","type":"string"},"datatype":"string"},"type":"statement","id":"Q3976050$F5AE7B98-DBFC-4AA6-9149-C9EB620069FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3189a9f5177ae7d24952985ad62a840ad5251569","datavalue":{"value":"Gentzen-type axiomatization","type":"string"},"datatype":"string"},"type":"statement","id":"Q3976050$3F4D930E-0C55-4B16-B425-F1DDA0667679","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c029450b93f9cbd43abb9b07391f6718d0ba2a87","datavalue":{"value":"small model","type":"string"},"datatype":"string"},"type":"statement","id":"Q3976050$AD642878-64D1-45A7-A5D3-9B2C8D649B9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"170fd3c63515b513c98bbdb08f8f1b2dac6923a3","datavalue":{"value":"algorithm for checking validity of PAL formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q3976050$96B1F0C8-4292-4C0B-ABD5-344DC96E92D1","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":"Q3976050$609BAC7F-BBEF-4496-B7DA-95DCA7562A77","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e9f6248ca0679fb0d16d2c698e8fd0f64dee694","datavalue":{"value":{"entity-type":"item","numeric-id":688720,"id":"Q688720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cea66c5886fdf7638d0a7cd7cdb88890db6e26b5","datavalue":{"value":{"amount":"+0.953636884689331","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":"Q3976050$D1441877-A2C4-477B-BF81-1EFADA962D29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9736431bac3667d058c7d617461366a3df5a2f06","datavalue":{"value":{"entity-type":"item","numeric-id":1070221,"id":"Q1070221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e759a092185a55d41c16bbf14f9946fbbf545982","datavalue":{"value":{"amount":"+0.9530099630355836","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":"Q3976050$8FB061F0-99C0-48E0-9383-021D555A5A46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e261f6151483f28ae2599b40e52b33ef808c207","datavalue":{"value":{"entity-type":"item","numeric-id":3979283,"id":"Q3979283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a331f6104fd9501597f13b4d35223fea02f7573b","datavalue":{"value":{"amount":"+0.8600680828094482","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":"Q3976050$8353103A-FF54-4532-AE9A-9176166F707D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1841e97141e7332e1e0bbfd8f844ff768263ac4","datavalue":{"value":{"entity-type":"item","numeric-id":3097869,"id":"Q3097869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a331f6104fd9501597f13b4d35223fea02f7573b","datavalue":{"value":{"amount":"+0.8600680828094482","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":"Q3976050$3416F3D7-130A-4917-8FBA-853486C3655A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"773f173771cff65b513caaa95fcb8edd641ddefc","datavalue":{"value":{"entity-type":"item","numeric-id":3094017,"id":"Q3094017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"151c17b9e22e04c77f51561bbcaf4d5cfcb9ef60","datavalue":{"value":{"amount":"+0.7648604512214661","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":"Q3976050$153268D6-7B51-4F71-A705-1DF866A41094","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3976050","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3976050"}}}}}