{"entities":{"Q4364527":{"pageid":6394126,"ns":120,"title":"Item:Q4364527","lastrevid":46520277,"modified":"2025-12-24T23:16:50Z","type":"item","id":"Q4364527","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1088212"}},"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":"Q4364527$5B02E094-F3FB-4B07-950D-8A493973186F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"32d0ed19e9f8650aa9277a45a3feda49fe0791c0","datavalue":{"value":"0929.03037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4364527$7C8D78C0-345E-4370-B475-26B2B56F0546","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"87201105ab9aadf571db6479712327a7fc2e406d","datavalue":{"value":{"entity-type":"item","numeric-id":287253,"id":"Q287253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4364527$A743CC49-18C4-473E-846A-BA5CC468B2A7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8fc310cf37ead7a8e1328c6b88ea0b9690f14c12","datavalue":{"value":{"time":"+1999-09-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4364527$517ADEEF-1451-46B2-A4A1-816868561FC6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4364527$4CF59098-439D-4B1C-9D4D-7D2CA85D4ECD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"08af2786684afc1a24a17c7b8037332fc70dd3cc","datavalue":{"value":"1088212","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4364527$A30163F2-4959-41E3-ACD5-82F7D5D25ED7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"12dea11f96cc147af047dc31a0100fb285a2918c","datavalue":{"value":"formal development of algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q4364527$115D333E-E490-4AD9-97E5-13BD35969A94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"62c8da7aff634d8b151f3504a18cd41c96372cda","datavalue":{"value":"calculational approach to logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4364527$7B81A686-9165-4E33-9682-A3CEA7222547","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4407aaaf1265052f90264091952404e93d03b5d2","datavalue":{"value":"calculational logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4364527$502B2229-2DF8-4B88-AF1C-9F7B81DAA19D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93c047fb19c5161b32c5245d5c8c28b4500157fe","datavalue":{"value":"propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4364527$95AED93F-C76C-4780-80AB-0F98505B04AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71ea74009f3e6aaad2fb0fc06728d00ab11f397c","datavalue":{"value":"predicate logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4364527$583D7A18-7906-4217-BD68-7E2554131E98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a8552689bf3aeea9f49722d36ee34b0b9737a11a","datavalue":{"value":"treating undefined terms","type":"string"},"datatype":"string"},"type":"statement","id":"Q4364527$A7F0B8FD-2311-456D-8F15-0C2442D90D39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"612be38dc6332086efd6d593db6ed42740231e6f","datavalue":{"value":"weakening","type":"string"},"datatype":"string"},"type":"statement","id":"Q4364527$63D00510-4B01-4887-9EEF-BEF1125CA769","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"771d58da823b9a3bcdbd498ac3734946b64bc405","datavalue":{"value":"strengthening","type":"string"},"datatype":"string"},"type":"statement","id":"Q4364527$8DDABDB5-FFF1-4683-8E36-3512632340E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"afe493c1ace3fa52144c0315aaea9019dde435a3","datavalue":{"value":"monotonicity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4364527$DEC17786-044A-40E9-8663-3FE7C2AE051E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9170902a9313932bb84089e85e417087e5eb4751","datavalue":{"value":"metatheorem Witness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4364527$86EB4949-C383-4FB9-8F7C-7B4F1C99488D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a5b0b6b78771036888cb740b9815de4bd64cd108","datavalue":{"value":"everywhere operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q4364527$2251A4F7-13A6-4471-8302-8F1DDF7E539E","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":"Q4364527$2A08FFF5-B5FB-48A3-AE8E-403A54BDE3EF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"074793fd282367856a7e352e3d6fba73d60568a3","datavalue":{"value":{"entity-type":"item","numeric-id":5957914,"id":"Q5957914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29f7b76da1aa71945fa0388177514394c735ef15","datavalue":{"value":{"amount":"+0.7655293345451355","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":"Q4364527$821A58F0-A7AF-4C22-8612-7D2D179F5D0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a07a88b0f27ee9be43ba0164aa75de7214897557","datavalue":{"value":{"entity-type":"item","numeric-id":4692630,"id":"Q4692630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7004f22faa20ccf75a0631ace5ffa18eb772349b","datavalue":{"value":{"amount":"+0.7566137909889221","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":"Q4364527$BC67728E-D6A6-4B9B-88AA-B4B850312C3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6106ebaa8cee56c1b4cc9f232bc23e40a823120","datavalue":{"value":{"entity-type":"item","numeric-id":4269811,"id":"Q4269811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26d995e5e644190de89d75b50a21693b062300b9","datavalue":{"value":{"amount":"+0.7452349066734314","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":"Q4364527$86E33785-B6F2-4A60-8456-8513F6C8EDC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0779de0dd9479bf02b8355ba992b804946f5cd3","datavalue":{"value":{"entity-type":"item","numeric-id":3034802,"id":"Q3034802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"920ccdb7213aff06718d3f9b9c0d4ad6cdc621cd","datavalue":{"value":{"amount":"+0.7345454096794128","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":"Q4364527$5AC13FB1-4A20-47F7-A30F-4DD7C7FDCDF8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4364527","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4364527"}}}}}