{"entities":{"Q3781066":{"pageid":5810972,"ns":120,"title":"Item:Q3781066","lastrevid":52523624,"modified":"2026-01-22T21:09:27Z","type":"item","id":"Q3781066","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4041866"}},"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":"Q3781066$E55CAE10-8C0B-4BE2-B55F-C4EBE0F941B2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5d7b4bda9d0ce8c9961f37f4b41ddf3f421509f3","datavalue":{"value":"0639.03014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3781066$B51B4826-2EE4-402D-B743-5BF087D2372D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-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":"Q3781066$1CC6B0FA-0743-422C-BADF-57A1D3FA626D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3781066$91F6E3F0-2EB5-4798-9C25-8F7A8F37972D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3781066$CE575B2C-9ECF-477A-923B-2989D657295D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3781066$1BDC04DA-FFFC-4A7E-AA88-87F05277D407","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89663cdc2c9f64b2cd0a104bcac86329d89b9b2d","datavalue":{"value":"03-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3781066$469C2BBF-C951-479A-B1DD-47AF6C772F8F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"559e7be756e28c0cbcd51b25a2733bfcc2529e16","datavalue":{"value":"4041866","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3781066$11CFB386-5FE5-460F-A7E5-C4F783B47318","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf07c49ba2b347441ded94239358b7faa6b16d16","datavalue":{"value":"model theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3781066$CDD6F860-98B5-4849-A95E-96C2EFB37ED5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"392ec8c7899c6ce4685fe3ef956f7576c70b94bd","datavalue":{"value":"algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q3781066$3E81379B-5D28-4032-9606-4C60929ECBC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3781066$F2A53CC5-3D4D-47E0-B1FD-0F4407698E38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3781066$D365D3C5-B639-4637-859C-AF9AEC71C41C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e3caf8e4befac8751e7df40b295ed3dde86caab3","datavalue":{"value":"alternativity relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3781066$E1F5A65B-D6EF-4268-ACC4-9FEF83611610","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b68b056d2806d584356baf0f2c728df07af8c0e","datavalue":{"value":"first-order relational conditions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3781066$A7C80589-91C1-49B4-9D97-771833B6C71F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39810ec381ba48fb5861c168391fa7d328efd8b1","datavalue":{"value":"higher-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3781066$AEA6BDE2-03C5-46D4-8DA2-07A176E2F6C9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a16bed3fcf9befde6b615ead23f4b855455a9900","datavalue":{"value":{"entity-type":"item","numeric-id":1246519,"id":"Q1246519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3781066$980E4D0C-F2C2-443E-B2DD-CBE75D190EC2","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":"Q3781066$0B151061-EF1E-4C09-9A08-E0B99EA7514B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a007750dc527e0cbb7e0bc2b2c346bebfce94685","datavalue":{"value":{"entity-type":"item","numeric-id":3128959,"id":"Q3128959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90bdafb4fe8592bce95ba62b4eba042a0290e226","datavalue":{"value":{"amount":"+0.784483790397644","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":"Q3781066$B32344E4-C53D-4F1A-BB48-D88CE1427026","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"255ca0e00d30a8407f4aa104b190d076a139f923","datavalue":{"value":{"entity-type":"item","numeric-id":4325547,"id":"Q4325547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68333b5583192672c4ba956b8fba6df6c989c5a6","datavalue":{"value":{"amount":"+0.7844488620758057","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":"Q3781066$B18CBE22-FA70-4892-9C1A-F2B71E7B3242","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3af91b9b2afe043dfb4abf7d85dc66b028648be1","datavalue":{"value":{"entity-type":"item","numeric-id":2744124,"id":"Q2744124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f3b03f6306e81eb3db10e7a95ff3a861dd20825","datavalue":{"value":{"amount":"+0.7838634848594666","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":"Q3781066$7F30B1DE-D1AC-4B2A-83F3-6EBE9A70881D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a0b0ce6ef3bb346ac15cbb17532a398c57a7108","datavalue":{"value":{"entity-type":"item","numeric-id":4532193,"id":"Q4532193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f3b03f6306e81eb3db10e7a95ff3a861dd20825","datavalue":{"value":{"amount":"+0.7838634848594666","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":"Q3781066$57B520EB-E91A-4710-A477-5E7659D0DD05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"144fe35e33d119661b0c4e0476aebb71d0640864","datavalue":{"value":{"entity-type":"item","numeric-id":1297057,"id":"Q1297057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e7a6e8c8864dbe43541624c269c559d1a05371f","datavalue":{"value":{"amount":"+0.7821775674819946","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":"Q3781066$FC9DDB40-CEF2-4AC1-9B5E-48407DDC4565","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3781066","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3781066"}}}}}