{"entities":{"Q3953158":{"pageid":5983063,"ns":120,"title":"Item:Q3953158","lastrevid":55083886,"modified":"2026-02-03T12:42:42Z","type":"item","id":"Q3953158","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3772936"}},"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":"Q3953158$5C632B13-6F4D-424D-BFBC-E23BB84DA155","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5f15283f639e1695254dd51609dd27d05fa925ca","datavalue":{"value":"0491.68031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3953158$B7C8AD29-3B95-49A9-A672-5FC4119613BA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"47f57cd36df9e30d446df3867dc3917e4ea74654","datavalue":{"value":{"time":"+1982-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":"Q3953158$B402CA30-6564-497D-839D-1329EB1C251D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3953158$E96AA3A8-AE36-45B7-90D2-65BD09C02395","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3953158$95C01C6F-BB55-45B2-8281-119DEFA06B40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3953158$AD78038B-76B9-4058-A712-203AFA605EC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3953158$4DFD8FA3-A1CC-4A19-AAA6-CF313BBB0ADC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"33b1e078903eb161277743640f7464b82381e8db","datavalue":{"value":"3772936","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3953158$873F84B8-315B-43EF-9D86-3FA5BACD14D2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a5eef9a7839e51aae1829128fd74061b3797fc5","datavalue":{"value":"propositional dynamic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3953158$D0199EC3-298B-4C9B-98E5-A431E7649985","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5de708c06ebed522136cb1d984b7901bd3357df5","datavalue":{"value":"one-exponential complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q3953158$EA92E98F-68B7-4004-AF42-95E547114F15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3dcee7888b5b7f90ff84b2679b9235d4ac168750","datavalue":{"value":"structured programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3953158$65D6F460-DE48-40BE-9E6A-B4C8572466BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f0b4d6e6089943a261128dec792d30fd4cdc9763","datavalue":{"value":"satisfiability problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3953158$AB863115-A593-48F8-805C-B042A4043F82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"533ce4d124d6ef6fa8098fd199648740c4a68051","datavalue":{"value":"flowchart logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3953158$98FFDF67-433E-4C2A-A2D7-413008AFE342","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c4978f2c4d263ef258ed0ffc576a325d510c4d8","datavalue":{"value":"axiomatization","type":"string"},"datatype":"string"},"type":"statement","id":"Q3953158$7FFB6A0C-6D00-4056-AC7C-1FF7D79C4935","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2daf04d2e542c2ae6d281c4a9ddbcc3ed8dba4a6","datavalue":{"value":{"entity-type":"item","numeric-id":1134755,"id":"Q1134755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3953158$2143D167-1813-489F-B062-294C4407B8F7","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":"Q3953158$5A25D305-E6AD-4652-A117-A5547DF5872D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3953158","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3953158"}}}}}