{"entities":{"Q1155351":{"pageid":1166100,"ns":120,"title":"Item:Q1155351","lastrevid":66270678,"modified":"2026-04-12T08:39:38Z","type":"item","id":"Q1155351","labels":{"en":{"language":"en","value":"Arithmetical completeness in first-order dynamic logic for concurrent programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3731324"}},"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":"Q1155351$A9155E4A-CEAD-4029-9524-7308850D68DF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c8684a8fc225c842c46379f4621ac968b7e11322","datavalue":{"value":{"text":"Arithmetical completeness in first-order dynamic logic for concurrent programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1155351$5ACB8C33-281A-4221-B439-28E7A3B8C9FF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0cc7107ac7ef41d9cf04847962885ca3ac685928","datavalue":{"value":"0466.68023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1155351$9CF8BD7A-2F71-48EB-B339-19428E046F31","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"acfd903f25c08705b6ade1a7b25f4cb8ea3bd4e9","datavalue":{"value":{"entity-type":"item","numeric-id":195143,"id":"Q195143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1155351$65B83E3F-BC35-4F5C-8A29-DC4CBE916DF2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c56c33ef3e883cbe56a171d93462893c540cb008","datavalue":{"value":{"entity-type":"item","numeric-id":174692,"id":"Q174692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1155351$89BB2BCA-48D0-487D-BD6B-AB269935E33B","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":"Q1155351$C1CBEA37-74F5-4484-9DF4-87FC7A947A0F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1155351$2D9143E8-D090-4DBF-89C8-377B9CF65A43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1155351$79E08739-44FC-4A1F-91DE-8F98180B4FA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1155351$D5523D55-C634-4E95-9B7D-E3921EE63BC0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"12798e0f1f3623a67e8c5c90d124bc91029b2a27","datavalue":{"value":"3731324","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1155351$9B5B1F18-59B0-4B5A-9C26-F3C42BD33427","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2dc878375c586c07036a6fd2ea9ca531fd0a36af","datavalue":{"value":"arithmetical axiomatization","type":"string"},"datatype":"string"},"type":"statement","id":"Q1155351$D6D06F1B-EF5B-4797-97B0-B8643FBF5AF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9a62b95dd2e53de908fdd7651b17f3455ce85481","datavalue":{"value":"regular first-order dynamic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1155351$C183A4CC-B00B-4809-B447-DEDC6974E2BA","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":"Q1155351$FD94197D-AE08-48F7-8C28-2D8F3C2A5105","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fe8e24e4c5f18a432b187ba94b5c3e22bb738514","datavalue":{"value":"https://doi.org/10.2977/prims/1195186718","type":"string"},"datatype":"url"},"type":"statement","id":"Q1155351$9F269CDC-F415-4D6B-817A-E93AFEAF677E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6520149bea60ebc549e52f0041c1be9b9c61cce7","datavalue":{"value":"W2038186075","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1155351$8CDEC7E2-3BD7-4AAA-923F-972E87B22A71","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6130a72bad290e99b4d30823cf592f64ef05b4a8","datavalue":{"value":{"entity-type":"item","numeric-id":5584402,"id":"Q5584402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1155351$E91BB5B0-7808-4690-829A-DE6BE125546F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5710cd0fb8b5907d40eeada6e14d4018e26669a5","datavalue":{"value":{"entity-type":"item","numeric-id":1255942,"id":"Q1255942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1155351$0BFB5449-5F8B-40E0-99F5-61A000F1F08A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"323dbd6fd6973b3663055cf97da83be885dd9ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5569944,"id":"Q5569944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1155351$B9F8606C-C5CC-41E1-A426-879D1834C51B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f0b2d8501e8feb37b5b0c460383279fe54a5a74","datavalue":{"value":{"entity-type":"item","numeric-id":4138150,"id":"Q4138150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1155351$A2B44395-F3B3-4F33-B92B-AEE62DF8AC25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94fb6f8f1f78bf5f677a34347e5d10d985336655","datavalue":{"value":{"entity-type":"item","numeric-id":4140351,"id":"Q4140351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1155351$7D6DB93B-B163-4410-92FE-474B768AB6F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"796364eeefb9789a01eab3a144d0337d6c23ee01","datavalue":{"value":{"entity-type":"item","numeric-id":1219675,"id":"Q1219675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1155351$E88931B7-68A8-48E6-A3CF-F3C62ABCA26C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f40bcaa8d311e4db512eab174f3dec9cd00f54c","datavalue":{"value":{"entity-type":"item","numeric-id":5537599,"id":"Q5537599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1155351$32A969AA-24EA-415D-B7BF-47864D695197","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7c03c75768927d3e2ce84937f63cb406640fba79","datavalue":{"value":"10.2977/PRIMS/1195186718","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1155351$8130823B-EAC0-4532-8B86-B8E67D4F75CC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Arithmetical completeness in first-order dynamic logic for concurrent programs","badges":[]}}}}}