{"entities":{"Q3947646":{"pageid":5977551,"ns":120,"title":"Item:Q3947646","lastrevid":55071520,"modified":"2026-02-03T09:39:54Z","type":"item","id":"Q3947646","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3765758"}},"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":"Q3947646$793FA009-7D95-47A8-B4F5-DF1A822E9D40","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3cdf28264f783a0362a9d23d75d3402435f9a38c","datavalue":{"value":"0487.03012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3947646$F9607EAC-CA1D-40E5-8CC9-4E9DC2335E65","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0dff8f4e618a7aed9d42af4359c46333b7f8eeb5","datavalue":{"value":{"entity-type":"item","numeric-id":2719125,"id":"Q2719125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3947646$DA3FEC44-C2C6-4E36-B292-AFB23E28440D","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":"Q3947646$71E22AF6-90A7-4E72-9B8C-310BF5DA45AB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3947646$5A392240-25DD-4728-A25E-46DFB68B3FB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3947646$C7C5DFBC-F59E-4766-87FA-21090F3BEEB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3947646$8B7901E2-E50D-451D-87AE-A6242570ECF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3947646$589CF15E-0A49-412B-902F-95FCDDC17258","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6caad2693f574063096f094a607910956cad0ca6","datavalue":{"value":"3765758","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3947646$99D3F556-D357-4E03-889B-DF9491773690","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4150cc071af573389b0f153adc216861cd5e3ba6","datavalue":{"value":"algorithmic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3947646$2A0710A3-0457-4719-8C07-A9D4C5DB2EE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48a9d57224b4c90795ed16b4505d8da2503b1dae","datavalue":{"value":"dynamic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3947646$A124F2C3-BA09-43B7-B1DB-F260ECB51450","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f532e2b08234dd6967fc70eafbf0c8f20a836d3e","datavalue":{"value":"nondeterminism","type":"string"},"datatype":"string"},"type":"statement","id":"Q3947646$B7EF26E3-06D1-4B54-B1A6-D283229B5A14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3be48d36ca89925844640f3fb5a70629c939265d","datavalue":{"value":"logic of programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3947646$F2686255-D0B4-46CF-9503-760F911E8FD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93bcd40cecb832d3577a8c84a0d4d42fafae2708","datavalue":{"value":"modality","type":"string"},"datatype":"string"},"type":"statement","id":"Q3947646$AC9F4B94-9624-49A2-A6F3-6E866090E2AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"27b593495aaf43594cc7c51c06f7e6f2ac4c6561","datavalue":{"value":"Yanov schemes","type":"string"},"datatype":"string"},"type":"statement","id":"Q3947646$8E77EA3B-77AE-4FBF-BDF0-CD7B84B89681","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":"Q3947646$C27FD53B-3DDF-42BC-A906-D9E8052CEF05","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3947646","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3947646"}}}}}