{"entities":{"Q3916561":{"pageid":5946466,"ns":120,"title":"Item:Q3916561","lastrevid":54985192,"modified":"2026-02-02T13:26:57Z","type":"item","id":"Q3916561","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3728249"}},"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":"Q3916561$BCA176A6-1CC1-40CA-82D5-FFB0A4F18208","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a36b25191ccdaaa2a1f6887cda4f534152238e2b","datavalue":{"value":"0465.03021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3916561$B942D6FB-523B-4EFC-B052-849AFE34D755","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"50fad0db7dc87cb4e51866acdb5ccbaa54ec857b","datavalue":{"value":{"time":"+1981-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":"Q3916561$413FD3B7-5A61-4115-9C50-3786F49C41F8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e671cb9a7cd5542f21890d12b2e8ee004a8c8889","datavalue":{"value":"03C99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3916561$EAD86C1B-A1A4-4046-8428-3431B00C4DD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3916561$5511E559-35AE-4E63-A21C-4093DC678072","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"024f8a2ab64bb2e8d2a36fc04e5fdc7cf7ac18f7","datavalue":{"value":"3728249","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3916561$BA3DB7D4-5244-4BD4-98A7-A349DC0CFD27","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b49d56fea62e57071bed76f50edb78bd59cb8b48","datavalue":{"value":"descending systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3916561$FDA3B14C-9663-427C-8E59-DF9230E0F9A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"604af6e25dfc03012279f2650702ecd9346f7e7d","datavalue":{"value":"structural rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q3916561$8558F85A-3209-4D91-8B34-2A2FF69C0BC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0c4fe8215b0ff8690ad7567c457092c4347181d5","datavalue":{"value":"Lindenbaum's extension","type":"string"},"datatype":"string"},"type":"statement","id":"Q3916561$04742972-6C6B-4A18-AB81-92C7E8A57326","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"86355584a3f72e1d06e7f80caeeaf68e83369db2","datavalue":{"value":"cardinalities","type":"string"},"datatype":"string"},"type":"statement","id":"Q3916561$E5E94377-3A59-4B48-833E-B0121DEF9758","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7588184bca4841d3de0c77f361e07285c4f45d52","datavalue":{"value":"modus ponens","type":"string"},"datatype":"string"},"type":"statement","id":"Q3916561$6879FC52-D577-4875-90D3-BC77D8472EB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"765ab1d5379755eb3e4e5d30a0f6d93a0512b558","datavalue":{"value":"substitution","type":"string"},"datatype":"string"},"type":"statement","id":"Q3916561$1B1A6EDB-86BE-4DE6-993D-2267CC8DE606","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9b6b25c8a4aedf4b5e309342bd7c9e887e51bf51","datavalue":{"value":"two-valued tautologies","type":"string"},"datatype":"string"},"type":"statement","id":"Q3916561$F0AA917C-7E9E-45E4-9691-9BE6E5B644B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bcf2d239bbdde849c2e1f5936224ab710b92ad21","datavalue":{"value":"finitely axiomatizable systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3916561$57A1FA09-F8D1-41BF-B4A0-BD270BE1AD49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7dcfa9f2486177beb4475381ba3bd2af11e8bc0","datavalue":{"value":"Church's system","type":"string"},"datatype":"string"},"type":"statement","id":"Q3916561$96FC59E2-ECB2-4AD6-96D3-C48587F98EF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71c3e0ebf345043a72fd17d46e0f4cc23a9e0232","datavalue":{"value":"minimal system","type":"string"},"datatype":"string"},"type":"statement","id":"Q3916561$4E7DB1BF-A35C-488C-9F20-92E5FF425526","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"89b88960e3c8597fd880fa0323687a9038a207e3","datavalue":{"value":"directed systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3916561$276862B6-4E20-40AE-8C07-956EDC95492E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b5d4261f09297f6534f26960f603bf96ebc51aa2","datavalue":{"value":{"entity-type":"item","numeric-id":1092654,"id":"Q1092654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3916561$886A95C2-950B-4B87-8CFE-A3469859AE7F","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":"Q3916561$E2E17807-C809-4F08-B0F7-A38CB8520CF6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3916561","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3916561"}}}}}